Searched refs:seL4_PML4Bits (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/arch/x86/64/model/
H A Dstatedata.c16 pml4e_t x64KSKernelPML4[BIT(PML4_INDEX_BITS)] ALIGN(BIT(seL4_PML4Bits)) VISIBLE;
26 pml4e_t x64KSSKIMPML4[BIT(PML4_INDEX_BITS)] ALIGN(BIT(seL4_PML4Bits));
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/api/
H A Dconstants.h52 #define seL4_PML4Bits 12 macro
71 SEL4_SIZE_SANITY(seL4_PML4EntryBits, seL4_PML4IndexBits, seL4_PML4Bits);
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dconstants.h52 #define seL4_PML4Bits 12 macro
71 SEL4_SIZE_SANITY(seL4_PML4EntryBits, seL4_PML4IndexBits, seL4_PML4Bits);
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/model/
H A Dstatedata.h31 extern pml4e_t x64KSSKIMPML4[BIT(PML4_INDEX_BITS)] ALIGN(BIT(seL4_PML4Bits));
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/object/
H A Dstructures.h163 return seL4_PML4Bits;
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/object/
H A Dobjecttype.c178 return seL4_PML4Bits;
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/kernel/
H A Dvspace.c707 pptr = alloc_region(seL4_PML4Bits);
711 memzero(PML4_PTR(pptr), BIT(seL4_PML4Bits));

Completed in 104 milliseconds