Searched refs:Exclaves_L4_False (Results 1 – 3 of 3) sorted by relevance
73 Exclaves_L4_False); in exclaves_hello_exclave_test()124 Exclaves_L4_False); in exclaves_panic_exclave_test()
534 *tag = Exclaves_L4_MessageTag(mrs, 0, ~label, Exclaves_L4_False); in exclaves_test_upcall_handler()564 Exclaves_L4_False); in exclaves_hello_upcall_test()
136 #define Exclaves_L4_False ((Exclaves_L4_Bool_t) 0) macro