Searched refs:GET_PGD_INDEX (Results 1 - 7 of 7) sorted by relevance
| /seL4-refos-master/seL4_tools/elfloader-tool/include/arch-arm/64/mode/ |
| H A D | structures.h | 24 #define GET_PGD_INDEX(x) (((x) >> (ARM_2MB_BLOCK_BITS + PMD_BITS + PUD_BITS)) & MASK(PGD_BITS)) macro
|
| /seL4-refos-master/tools/elfloader/include/arch-arm/64/mode/ |
| H A D | structures.h | 24 #define GET_PGD_INDEX(x) (((x) >> (ARM_2MB_BLOCK_BITS + PMD_BITS + PUD_BITS)) & MASK(PGD_BITS)) macro
|
| /seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/64/ |
| H A D | mmu.c | 37 _boot_pgd_up[GET_PGD_INDEX(first_vaddr)]
75 _boot_pgd_down[GET_PGD_INDEX(first_vaddr)]
|
| /seL4-refos-master/tools/elfloader/src/arch-arm/64/ |
| H A D | mmu.c | 37 _boot_pgd_up[GET_PGD_INDEX(first_vaddr)]
75 _boot_pgd_down[GET_PGD_INDEX(first_vaddr)]
|
| /seL4-refos-master/kernel/src/arch/arm/64/machine/ |
| H A D | capdl.c | 229 printf("pud_%p_%04lu {\n", pgdSlot_or_vspace, GET_PGD_INDEX(vptr));
266 printf("0x%lx: pud_%p_%04lu\n", GET_PGD_INDEX(i), pgdSlot.pgdSlot, GET_PGD_INDEX(i));
325 find_ret.vspace_root, GET_PGD_INDEX(vptr), (long unsigned int)asid);
327 printf("pud_%p_%04lu\n", find_ret.vspace_root, GET_PGD_INDEX(vptr));
332 lookupPGDSlot(find_ret.vspace_root, vptr).pgdSlot, GET_PGD_INDEX(vptr), (long unsigned int)asid);
334 printf("pud_%p_%04lu\n", lookupPGDSlot(find_ret.vspace_root, vptr).pgdSlot, GET_PGD_INDEX(vptr));
529 printf("pud_%p_%04lu = pud\n", pgdSlot.pgdSlot, GET_PGD_INDEX(i));
|
| /seL4-refos-master/kernel/include/arch/arm/arch/64/mode/object/ |
| H A D | structures.h | 68 #define GET_PGD_INDEX(x) (((x) >> (PGD_INDEX_OFFSET)) & MASK(PGD_INDEX_BITS)) macro
|
| /seL4-refos-master/kernel/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 244 assert(GET_PGD_INDEX(PPTR_BASE) == BIT(PGD_INDEX_BITS) - 1);
251 armKSGlobalKernelPGD[GET_PGD_INDEX(PPTR_BASE)] = pgde_pgde_pud_new(
313 vspaceRoot += GET_PGD_INDEX(vptr);
375 vspaceRoot += GET_PGD_INDEX(vptr);
412 vspaceRoot += GET_PGD_INDEX(vptr);
443 *(pgd + GET_PGD_INDEX(vptr)) = pgde_pgde_pud_new(
646 word_t pgdIndex = GET_PGD_INDEX(vptr);
|
Completed in 46 milliseconds