Searched refs:L4_IPC_ENOT_EXISTENT (Results 1 – 2 of 2) sorted by relevance
47 [L4_IPC_ENOT_EXISTENT] = "Void capability invoked",
80 L4_IPC_ENOT_EXISTENT = 0x04, /**< Non-existing destination or source. enumerator
Completed in 3 milliseconds