Searched refs:pudSlot (Results 1 - 2 of 2) sorted by relevance
| /seL4-refos-master/kernel/src/arch/arm/64/machine/ |
| H A D | capdl.c | 15 static void cap_frame_print_attrs_pud(pude_t *pudSlot);
24 static void arm64_obj_pd_print_slots(pude_t *pudSlot);
28 static void arm64_cap_pd_print_slots(pude_t *pudSlot, vptr_t vptr);
55 static void cap_frame_print_attrs_pud(pude_t *pudSlot) argument
57 cap_frame_print_attrs_impl(pude_pude_1g_ptr_get_SH(pudSlot),
58 pude_pude_1g_ptr_get_AP(pudSlot),
59 pude_pude_1g_ptr_get_UXN(pudSlot));
123 lookupPUDSlot_ret_t pudSlot = lookupPUDSlot(vspace, vptr); local
124 if (pudSlot.status != EXCEPTION_NONE) {
128 switch (pude_ptr_get_pude_type(pudSlot
191 arm64_cap_pd_print_slots(pude_t *pudSlot, vptr_t vptr) argument
233 pude_t *pudSlot = pud + GET_PUD_INDEX(i); local
242 pude_t *pudSlot = pud + GET_PUD_INDEX(i); local
462 arm64_obj_pd_print_slots(pude_t *pudSlot) argument
491 pude_t *pudSlot = pud + GET_PUD_INDEX(i); local
[all...] |
| /seL4-refos-master/kernel/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 85 pude_t *pudSlot; member in struct:lookupPUDSlot_ret
660 ret.pudSlot = pud + pudIndex;
668 ret.pudSlot = NULL;
673 pude_t *pudSlot;
676 pudSlot = pud + pudIndex;
679 ret.pudSlot = pudSlot;
687 lookupPUDSlot_ret_t pudSlot; local
690 pudSlot = lookupPUDSlot(vspace, vptr);
691 if (pudSlot
747 lookupPUDSlot_ret_t pudSlot; local
1301 pude_t *pudSlot; local
1519 performPageDirectoryInvocationMap(cap_t cap, cte_t *ctSlot, pude_t pude, pude_t *pudSlot) argument
1563 performHugePageInvocationMap(asid_t asid, cap_t cap, cte_t *ctSlot, pude_t pude, pude_t *pudSlot) argument
1885 lookupPUDSlot_ret_t pudSlot; local
[all...] |
Completed in 65 milliseconds