Searched refs:Exclaves_L4_Bool_t (Results 1 – 1 of 1) sorted by relevance
51 typedef unsigned char Exclaves_L4_Bool_t; typedef133 #define Exclaves_L4_True ((Exclaves_L4_Bool_t) 1)136 #define Exclaves_L4_False ((Exclaves_L4_Bool_t) 0)271 Exclaves_L4_Bool_t nonblocking) in Exclaves_L4_MessageTag()367 Exclaves_L4_GetCr(Exclaves_L4_Word32_t cr, Exclaves_L4_Bool_t dst) in Exclaves_L4_GetCr()377 Exclaves_L4_SetCr(Exclaves_L4_Word32_t cr, Exclaves_L4_Word_t word, Exclaves_L4_Bool_t dst) in Exclaves_L4_SetCr()