Searched refs:seL4_ARCH_PageTableObject (Results 1 - 4 of 4) sorted by relevance

/seL4-camkes-master/projects/seL4_libs/libsel4vspace/arch_include/x86/vspace/arch/
H A Dpage.h38 #define seL4_ARCH_PageTableObject seL4_X86_PageTableObject macro
/seL4-camkes-master/projects/seL4_libs/libsel4vspace/arch_include/riscv/vspace/arch/
H A Dpage.h39 #define seL4_ARCH_PageTableObject seL4_RISCV_PageTableObject macro
/seL4-camkes-master/projects/seL4_libs/libsel4vspace/arch_include/arm/vspace/arch/
H A Dpage.h43 #define seL4_ARCH_PageTableObject seL4_ARM_PageTableObject macro
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/
H A Dbootstrap.c1272 allocman_configure_utspace_reserve(alloc, (struct allocman_utspace_chunk) {vka_get_object_size(seL4_ARCH_PageTableObject, 0), seL4_ARCH_PageTableObject, 1});

Completed in 37 milliseconds