Searched defs:PDE_SIZE_BITS (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/tools/seL4/elfloader-tool/include/arch-arm/32/mode/
H A Dstructures.h13 #define PDE_SIZE_BITS 2 macro
/seL4-camkes-master/kernel/include/arch/x86/arch/32/mode/object/
H A Dstructures.h22 #define PDE_SIZE_BITS seL4_PageDirEntryBits macro
/seL4-camkes-master/kernel/include/arch/x86/arch/64/mode/object/
H A Dstructures.h49 #define PDE_SIZE_BITS seL4_PageDirEntryBits macro
/seL4-camkes-master/kernel/include/arch/arm/arch/64/mode/object/
H A Dstructures.h46 #define PDE_SIZE_BITS seL4_PageDirEntryBits macro
/seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/object/
H A Dstructures.h44 #define PDE_SIZE_BITS seL4_PageDirEntryBits macro

Completed in 38 milliseconds