seL4_LargePageBits (definition) in projects: seL4-master

Searched defs:seL4_LargePageBits (Results 1 – 6 of 6) sorted by relevance

/seL4-master/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
A D	constants.h	`49 #define seL4_LargePageBits 22 /* 4MB */ macro`
/seL4-master/libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/
A D	constants.h	`37 #define seL4_LargePageBits 22 macro`
/seL4-master/libsel4/sel4_arch_include/riscv64/sel4/sel4_arch/
A D	constants.h	`37 #define seL4_LargePageBits 21 macro`
/seL4-master/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
A D	constants.h	`57 #define seL4_LargePageBits 21 macro`
/seL4-master/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/
A D	constants.h	`162 #define seL4_LargePageBits 16 macro`
/seL4-master/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/
A D	constants.h	`174 #define seL4_LargePageBits 21 macro`

Completed in 6 milliseconds