Searched refs:Exclaves_L4_Bool_t (Results 1 – 1 of 1) sorted by relevance
53 typedef unsigned char Exclaves_L4_Bool_t; typedef135 #define Exclaves_L4_True ((Exclaves_L4_Bool_t) 1)138 #define Exclaves_L4_False ((Exclaves_L4_Bool_t) 0)273 Exclaves_L4_Bool_t nonblocking) in Exclaves_L4_MessageTag()369 Exclaves_L4_GetCr(Exclaves_L4_Word32_t cr, Exclaves_L4_Bool_t dst) in Exclaves_L4_GetCr()379 Exclaves_L4_SetCr(Exclaves_L4_Word32_t cr, Exclaves_L4_Word_t word, Exclaves_L4_Bool_t dst) in Exclaves_L4_SetCr()