Searched refs:L4_IPC_RESNDPFTO (Results 1 – 2 of 2) sorted by relevance
53 [L4_IPC_RESNDPFTO] = "Send page-fault timeout (receive phase)",
102 L4_IPC_RESNDPFTO = 0x0b, /**< Send-pagefault timeout in receive enumerator
Completed in 4 milliseconds