Searched refs:Exclaves_L4_False (Results 1 – 2 of 2) sorted by relevance
138 #define Exclaves_L4_False ((Exclaves_L4_Bool_t) 0) macro
722 *tag = Exclaves_L4_MessageTag(mrs, 0, ~label, Exclaves_L4_False); in exclaves_test_upcall_handler()