Searched defs:seL4_ARCH_4KPage (Results 1 - 3 of 3) sorted by path

/seL4-camkes-master/projects/seL4_libs/libsel4vspace/arch_include/arm/vspace/arch/
H A Dpage.h47 #define seL4_ARCH_4KPage seL4_ARM_SmallPageObject macro
/seL4-camkes-master/projects/seL4_libs/libsel4vspace/arch_include/riscv/vspace/arch/
H A Dpage.h43 #define seL4_ARCH_4KPage seL4_RISCV_4K_Page macro
/seL4-camkes-master/projects/seL4_libs/libsel4vspace/arch_include/x86/vspace/arch/
H A Dpage.h42 #define seL4_ARCH_4KPage seL4_X86_4K macro

Completed in 47 milliseconds