Searched refs:Exclaves_L4_Word32_t (Results 1 – 1 of 1) sorted by relevance
56 typedef unsigned int Exclaves_L4_Word32_t; typedef78 #define Exclaves_L4_Word32(x) ((Exclaves_L4_Word32_t) (x))335 Exclaves_L4_GetMr(Exclaves_L4_Word32_t mr) in Exclaves_L4_GetMr()341 Exclaves_L4_SetMr(Exclaves_L4_Word32_t mr, Exclaves_L4_Word_t word) in Exclaves_L4_SetMr()347 Exclaves_L4_SetMrs(Exclaves_L4_Word32_t mr, Exclaves_L4_Word32_t count, in Exclaves_L4_SetMrs()352 for (Exclaves_L4_Word32_t offset = 0; offset < count; offset++) { in Exclaves_L4_SetMrs()358 Exclaves_L4_GetMrs(Exclaves_L4_Word32_t mr, Exclaves_L4_Word32_t count, in Exclaves_L4_GetMrs()363 for (Exclaves_L4_Word32_t offset = 0; offset < count; offset++) { in Exclaves_L4_GetMrs()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()[all …]