Searched defs:PT_INDEX_BITS (Results 1 - 6 of 6) sorted by relevance

/seL4-test-master/kernel/include/arch/riscv/arch/object/
H A Dstructures.h62 #define PT_INDEX_BITS seL4_PageTableIndexBits macro
/seL4-test-master/kernel/include/arch/x86/arch/32/mode/object/
H A Dstructures.h25 #define PT_INDEX_BITS seL4_PageTableIndexBits macro
/seL4-test-master/tools/seL4/elfloader-tool/src/arch-riscv/
H A Dboot.c34 #define PT_INDEX_BITS 10 macro
36 #define PT_INDEX_BITS 9 macro
/seL4-test-master/kernel/include/arch/x86/arch/64/mode/object/
H A Dstructures.h52 #define PT_INDEX_BITS seL4_PageTableIndexBits macro
/seL4-test-master/kernel/include/arch/arm/arch/64/mode/object/
H A Dstructures.h49 #define PT_INDEX_BITS seL4_PageTableIndexBits macro
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/object/
H A Dstructures.h48 #define PT_INDEX_BITS seL4_PageTableIndexBits macro

Completed in 41 milliseconds