Searched refs:seL4_ARCH_PageTable_Map (Results 1 - 3 of 3) sorted by relevance

/seL4-test-master/projects/seL4_libs/libsel4vspace/arch_include/x86/vspace/arch/
H A Dpage.h33 #define seL4_ARCH_PageTable_Map seL4_X86_PageTable_Map macro
/seL4-test-master/projects/seL4_libs/libsel4vspace/arch_include/riscv/vspace/arch/
H A Dpage.h35 #define seL4_ARCH_PageTable_Map seL4_RISCV_PageTable_Map macro
/seL4-test-master/projects/seL4_libs/libsel4vspace/arch_include/arm/vspace/arch/
H A Dpage.h38 #define seL4_ARCH_PageTable_Map seL4_ARM_PageTable_Map macro

Completed in 77 milliseconds