Searched defs:seL4_LogBufferSize (Results 1 – 5 of 5) sorted by relevance

/seL4-master/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
A D	constants.h	69 #define seL4_LogBufferSize (LIBSEL4_BIT(20)) macro
/seL4-master/libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/
A D	constants.h	128 #define seL4_LogBufferSize (LIBSEL4_BIT(20)) macro
/seL4-master/libsel4/sel4_arch_include/riscv64/sel4/sel4_arch/
A D	constants.h	133 #define seL4_LogBufferSize (LIBSEL4_BIT(20)) macro
/seL4-master/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/
A D	constants.h	242 #define seL4_LogBufferSize (LIBSEL4_BIT(20)) macro
/seL4-master/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/
A D	constants.h	247 #define seL4_LogBufferSize (LIBSEL4_BIT(20)) macro

Completed in 13 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023