Home
last modified time | relevance | path

Searched refs:LIBSEL4_BIT (Results 1 – 7 of 7) sorted by relevance

/seL4-master/libsel4/include/sel4/
A Dconstants.h60 #define seL4_MsgMaxExtraCaps (LIBSEL4_BIT(seL4_MsgExtraCapBits)-1)
93 return (LIBSEL4_BIT(size) - seL4_CoreSchedContextBytes) / seL4_RefillSizeBytes; in seL4_MaxExtraRefills()
A Dmacros.h68 #define LIBSEL4_BIT(n) (1ul<<(n)) macro
/seL4-master/libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/
A Dconstants.h128 #define seL4_LogBufferSize (LIBSEL4_BIT(20))
/seL4-master/libsel4/sel4_arch_include/riscv64/sel4/sel4_arch/
A Dconstants.h133 #define seL4_LogBufferSize (LIBSEL4_BIT(20))
/seL4-master/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
A Dconstants.h69 #define seL4_LogBufferSize (LIBSEL4_BIT(20))
/seL4-master/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/
A Dconstants.h242 #define seL4_LogBufferSize (LIBSEL4_BIT(20))
/seL4-master/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/
A Dconstants.h247 #define seL4_LogBufferSize (LIBSEL4_BIT(20))

Completed in 9 milliseconds