Searched refs:lookupPGDSlot (Results 1 - 2 of 2) sorted by relevance
| /seL4-test-master/kernel/src/arch/arm/64/machine/ |
| H A D | capdl.c | 264 lookupPGDSlot_ret_t pgdSlot = lookupPGDSlot(vspace, i);
272 lookupPGDSlot_ret_t pgdSlot = lookupPGDSlot(vspace, i);
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));
527 lookupPGDSlot_ret_t pgdSlot = lookupPGDSlot(vspace, i);
|
| /seL4-test-master/kernel/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 641 static lookupPGDSlot_ret_t lookupPGDSlot(vspace_root_t *vspace, vptr_t vptr) function
663 lookupPGDSlot_ret_t pgdSlot = lookupPGDSlot(vspace, vptr);
1035 lu_ret = lookupPGDSlot(find_ret.vspace_root, vaddr);
1857 pgdSlot = lookupPGDSlot(pgd, vaddr);
|
Completed in 44 milliseconds