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 36 milliseconds