Searched defs:seL4_HugePageBits (Results 1 - 4 of 4) sorted by relevance

/seL4-test-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dconstants.h48 #define seL4_HugePageBits 30 /* 1GB */ macro
/seL4-test-master/kernel/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dconstants.h57 #define seL4_HugePageBits 30 macro
/seL4-test-master/kernel/libsel4/sel4_arch_include/riscv64/sel4/sel4_arch/
H A Dconstants.h39 #define seL4_HugePageBits 30 macro
/seL4-test-master/kernel/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/
H A Dconstants.h176 #define seL4_HugePageBits 30 macro

Completed in 59 milliseconds