Searched refs:seL4_HugePageBits (Results 1 - 16 of 16) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/machine/
H A Dhardware.h42 X64HugePageBits = seL4_HugePageBits
70 return seL4_HugePageBits;
93 return seL4_HugePageBits;
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/32/mode/api/
H A Dconstants.h46 #define seL4_HugePageBits 29 macro
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/64/mode/api/
H A Dconstants.h42 #define seL4_HugePageBits 30 macro
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/
H A Dconstants.h46 #define seL4_HugePageBits 29 macro
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/riscv64/sel4/sel4_arch/
H A Dconstants.h42 #define seL4_HugePageBits 30 macro
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/machine/
H A Dhardware.h59 ARMHugePageBits = seL4_HugePageBits
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/machine/
H A Dhardware.h67 RISCVGigaPageBits = seL4_HugePageBits,
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/api/
H A Dconstants.h48 #define seL4_HugePageBits 30 /* 1GB */ macro
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/api/
H A Dconstants.h58 #define seL4_HugePageBits 30 macro
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dconstants.h48 #define seL4_HugePageBits 30 /* 1GB */ macro
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dconstants.h58 #define seL4_HugePageBits 30 macro
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/api/
H A Dconstants.h124 #define seL4_HugePageBits 30 macro
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/
H A Dconstants.h124 #define seL4_HugePageBits 30 macro
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/kernel/
H A Dvspace.c67 assert(IS_ALIGNED(KERNEL_BASE, seL4_HugePageBits));
68 assert(IS_ALIGNED(PPTR_KDEV, seL4_HugePageBits));
98 paddr += BIT(seL4_HugePageBits)) {
115 vaddr += BIT(seL4_HugePageBits);
151 assert(IS_ALIGNED(KERNEL_BASE, seL4_HugePageBits));
152 assert(IS_ALIGNED(PPTR_KDEV, seL4_HugePageBits));
166 for (pd_index = 0; pd_index < PADDR_TOP >> seL4_HugePageBits; pd_index++) {
1629 offset = vaddr & MASK(seL4_HugePageBits);
/seL4-l4v-10.1.1/seL4/src/arch/riscv/object/
H A Dobjecttype.c195 return seL4_HugePageBits;
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/
H A Dvspace.c278 assert(IS_ALIGNED(PPTR_TOP, seL4_HugePageBits));

Completed in 185 milliseconds