Searched refs:L4_IPC_SERCVPFTO (Results 1 – 2 of 2) sorted by relevance
54 [L4_IPC_SERCVPFTO] = "Receive page-fault timeout (send phase)",
114 L4_IPC_SERCVPFTO = 0x0c, /**< Receive-pagefault timeout in send enumerator
Completed in 3 milliseconds