Searched refs:GET_PUD_INDEX (Results 1 - 8 of 8) sorted by relevance
| /seL4-refos-master/seL4_tools/elfloader-tool/include/arch-arm/64/mode/ |
| H A D | structures.h | 25 #define GET_PUD_INDEX(x) (((x) >> (ARM_2MB_BLOCK_BITS + PMD_BITS)) & MASK(PUD_BITS)) macro
|
| /seL4-refos-master/tools/elfloader/include/arch-arm/64/mode/ |
| H A D | structures.h | 25 #define GET_PUD_INDEX(x) (((x) >> (ARM_2MB_BLOCK_BITS + PMD_BITS)) & MASK(PUD_BITS)) macro
|
| /seL4-refos-master/kernel/src/arch/arm/64/machine/ |
| H A D | capdl.c | 130 printf("frame_%p_%04lu ", pudSlot.pudSlot, GET_PUD_INDEX(vptr));
193 printf("pd_%p_%04lu {\n", pudSlot, GET_PUD_INDEX(vptr));
233 pude_t *pudSlot = pud + GET_PUD_INDEX(i);
235 printf("0x%lx: pd_%p_%04lu\n", GET_PUD_INDEX(i), pudSlot, GET_PUD_INDEX(i));
242 pude_t *pudSlot = pud + GET_PUD_INDEX(i);
310 lookupPUDSlot(find_ret.vspace_root, vptr).pudSlot, GET_PUD_INDEX(vptr), (long unsigned int)asid);
313 lookupPUDSlot(find_ret.vspace_root, vptr).pudSlot, GET_PUD_INDEX(vptr));
491 pude_t *pudSlot = pud + GET_PUD_INDEX(i);
498 printf("frame_%p_%04lu = frame ", pudSlot, GET_PUD_INDEX(
[all...] |
| /seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/64/ |
| H A D | mmu.c | 40 _boot_pud_up[GET_PUD_INDEX(first_vaddr)]
78 _boot_pud_up[GET_PUD_INDEX(first_vaddr)]
|
| /seL4-refos-master/tools/elfloader/src/arch-arm/64/ |
| H A D | mmu.c | 40 _boot_pud_up[GET_PUD_INDEX(first_vaddr)]
78 _boot_pud_up[GET_PUD_INDEX(first_vaddr)]
|
| /seL4-refos-master/kernel/src/arch/arm/64/model/ |
| H A D | statedata.c | 95 GET_PUD_INDEX(KS_LOG_PPTR) == BIT(PUD_INDEX_BITS) - 1);
|
| /seL4-refos-master/kernel/include/arch/arm/arch/64/mode/object/ |
| H A D | structures.h | 69 #define GET_PUD_INDEX(x) (((x) >> (PUD_INDEX_OFFSET)) & MASK(PUD_INDEX_BITS)) macro
|
| /seL4-refos-master/kernel/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 247 assert(GET_PUD_INDEX(PPTR_TOP) == BIT(PUD_INDEX_BITS) - 1);
255 for (idx = GET_PUD_INDEX(PPTR_BASE); idx < GET_PUD_INDEX(PPTR_TOP); idx++) {
264 armKSGlobalKernelPDs[GET_PUD_INDEX(vaddr)][GET_PD_INDEX(vaddr)] = pde_pde_large_new(
281 armKSGlobalKernelPUD[GET_PUD_INDEX(PPTR_TOP)] = pude_pude_pd_new(
|
Completed in 87 milliseconds