Searched refs:LIBSEL4_BIT (Results 1 – 7 of 7) sorted by relevance
60 #define seL4_MsgMaxExtraCaps (LIBSEL4_BIT(seL4_MsgExtraCapBits)-1)93 return (LIBSEL4_BIT(size) - seL4_CoreSchedContextBytes) / seL4_RefillSizeBytes; in seL4_MaxExtraRefills()
68 #define LIBSEL4_BIT(n) (1ul<<(n)) macro
128 #define seL4_LogBufferSize (LIBSEL4_BIT(20))
133 #define seL4_LogBufferSize (LIBSEL4_BIT(20))
69 #define seL4_LogBufferSize (LIBSEL4_BIT(20))
242 #define seL4_LogBufferSize (LIBSEL4_BIT(20))
247 #define seL4_LogBufferSize (LIBSEL4_BIT(20))
Completed in 9 milliseconds