Searched refs:L4_IPC_RERCVPFTO (Results 1 – 2 of 2) sorted by relevance
55 [L4_IPC_RERCVPFTO] = "Receive page-fault timeout (receive phase)",
110 L4_IPC_RERCVPFTO = 0x0d, /**< Receive-pagefault timeout in receive enumerator
Completed in 3 milliseconds