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

/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/api/
H A Dconstants.h49 #define seL4_PDPTEntryBits 3 macro
70 SEL4_SIZE_SANITY(seL4_PDPTEntryBits, seL4_PDPTIndexBits, seL4_PDPTBits);
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dconstants.h49 #define seL4_PDPTEntryBits 3 macro
70 SEL4_SIZE_SANITY(seL4_PDPTEntryBits, seL4_PDPTIndexBits, seL4_PDPTBits);
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/object/
H A Dstructures.h54 #define PDPTE_SIZE_BITS seL4_PDPTEntryBits

Completed in 127 milliseconds