Searched refs:PD_INDEX_BITS (Results 1 - 19 of 19) sorted by relevance

/seL4-test-master/kernel/src/arch/x86/64/model/
H A Dstatedata.c13 pde_t x64KSKernelPD[BIT(PD_INDEX_BITS)] ALIGN(BIT(seL4_PageDirBits));
15 pde_t x64KSKernelPDs[BIT(PDPT_INDEX_BITS)][BIT(PD_INDEX_BITS)] ALIGN(BIT(seL4_PageDirBits));
22 pde_t x64KSSKIMPD[BIT(PD_INDEX_BITS)] ALIGN(BIT(seL4_PageDirBits));
/seL4-test-master/kernel/include/arch/x86/arch/64/mode/model/
H A Dstatedata.h17 extern pde_t x64KSKernelPD[BIT(PD_INDEX_BITS)];
19 extern pde_t x64KSKernelPDs[BIT(PDPT_INDEX_BITS)][BIT(PD_INDEX_BITS)];
28 extern pde_t x64KSSKIMPD[BIT(PD_INDEX_BITS)] ALIGN(BIT(seL4_PageDirBits));
/seL4-test-master/kernel/include/arch/x86/arch/32/mode/model/
H A Dstatedata.h15 extern pde_t ia32KSGlobalPD[BIT(PD_INDEX_BITS)];
/seL4-test-master/kernel/src/arch/x86/32/model/
H A Dstatedata.c14 pde_t ia32KSGlobalPD[BIT(PD_INDEX_BITS)] ALIGN(BIT(seL4_PageDirBits));
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/model/
H A Dstatedata.h23 extern pde_t armKSGlobalPD[BIT(PD_INDEX_BITS)] VISIBLE;
34 extern pde_t armUSGlobalPD[BIT(PD_INDEX_BITS)] VISIBLE;
/seL4-test-master/kernel/src/arch/arm/64/model/
H A Dstatedata.c89 pde_t armKSGlobalKernelPDs[BIT(PUD_INDEX_BITS)][BIT(PD_INDEX_BITS)] ALIGN_BSS(BIT(seL4_PageDirBits));
93 pde_t *armKSGlobalLogPDE = &armKSGlobalKernelPDs[BIT(PUD_INDEX_BITS) - 1][BIT(PD_INDEX_BITS) - 2];
97 GET_PD_INDEX(KS_LOG_PPTR) == BIT(PD_INDEX_BITS) - 2);
/seL4-test-master/kernel/src/arch/arm/32/model/
H A Dstatedata.c32 pde_t armKSGlobalPD[BIT(PD_INDEX_BITS)] ALIGN_BSS(BIT(seL4_PageDirBits));
49 pde_t armUSGlobalPD[BIT(PD_INDEX_BITS)] ALIGN_BSS(BIT(seL4_PageDirBits));;
/seL4-test-master/kernel/include/arch/arm/arch/64/mode/model/
H A Dstatedata.h28 extern pde_t armKSGlobalKernelPDs[BIT(PUD_INDEX_BITS)][BIT(PD_INDEX_BITS)] VISIBLE;
/seL4-test-master/kernel/include/arch/x86/arch/64/mode/object/
H A Dstructures.h50 #define PD_INDEX_BITS seL4_PageDirIndexBits macro
56 #define PDPT_INDEX_OFFSET (PD_INDEX_OFFSET + PD_INDEX_BITS)
64 #define GET_PD_INDEX(x) ( ((x) >> (PD_INDEX_OFFSET)) & MASK(PD_INDEX_BITS))
/seL4-test-master/kernel/include/arch/arm/arch/64/mode/object/
H A Dstructures.h47 #define PD_INDEX_BITS seL4_PageDirIndexBits macro
53 #define PUD_INDEX_OFFSET (PD_INDEX_OFFSET + PD_INDEX_BITS)
71 #define GET_PD_INDEX(x) (((x) >> (PD_INDEX_OFFSET)) & MASK(PD_INDEX_BITS))
/seL4-test-master/kernel/include/arch/x86/arch/32/mode/object/
H A Dstructures.h23 #define PD_INDEX_BITS seL4_PageDirIndexBits macro
/seL4-test-master/kernel/src/arch/arm/64/machine/
H A Dcapdl.c196 for (word_t i = 0; i < BIT(PD_INDEX_OFFSET + PD_INDEX_BITS); i += (1 << PD_INDEX_OFFSET)) {
214 for (word_t i = 0; i < BIT(PD_INDEX_OFFSET + PD_INDEX_BITS); i += (1 << PD_INDEX_OFFSET)) {
467 for (word_t i = 0; i < BIT(PD_INDEX_OFFSET + PD_INDEX_BITS); i += (1 << PD_INDEX_OFFSET)) {
/seL4-test-master/kernel/src/arch/x86/32/kernel/
H A Dvspace_32paging.c25 pde_t _boot_pd[BIT(PD_INDEX_BITS)] ALIGN(BIT(PAGE_BITS)) VISIBLE PHYS_BSS;
192 for (i = PPTR_BASE >> seL4_LargePageBits; i < BIT(PD_INDEX_BITS); i++) {
/seL4-test-master/kernel/src/arch/x86/64/machine/
H A Dcapdl.c120 for (word_t i = 0; i < BIT(PD_INDEX_OFFSET + PD_INDEX_BITS); i += (1UL << PD_INDEX_OFFSET)) {
399 for (word_t i = 0; i < BIT(PD_INDEX_OFFSET + PD_INDEX_BITS); i += (1UL << PD_INDEX_OFFSET)) {
412 for (word_t i = 0; i < BIT(PD_INDEX_OFFSET + PD_INDEX_BITS); i += (1UL << PD_INDEX_OFFSET)) {
/seL4-test-master/kernel/src/arch/arm/32/object/
H A Dobjecttype.c364 return PDE_SIZE_BITS + PD_INDEX_BITS;
504 (word_t)regionBase + (1 << (PD_INDEX_BITS + PDE_SIZE_BITS)) - 1,
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/object/
H A Dstructures.h47 #define PD_INDEX_BITS seL4_PageDirIndexBits macro
/seL4-test-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c209 while (idx < BIT(PD_INDEX_BITS) - SECTIONS_PER_SUPER_SECTION) {
1241 for (i = PPTR_BASE >> ARMSectionBits; i < BIT(PD_INDEX_BITS); i++) {
1252 newPD[BIT(PD_INDEX_BITS) - 1] = pde;
/seL4-test-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c240 ksLog = (ks_log_entry_t *)(KDEV_BASE + 0x200000 * (BIT(PD_INDEX_BITS) - 1));
/seL4-test-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c286 armKSGlobalKernelPDs[BIT(PUD_INDEX_BITS) - 1][BIT(PD_INDEX_BITS) - 1] = pde_pde_small_new(

Completed in 124 milliseconds