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