64/machine/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)
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);
124     if (pudSlot.status != EXCEPTION_NONE) {
128     switch (pude_ptr_get_pude_type(pudSlot.pudSlot)) {
130         printf("frame_%p_%04lu ", pudSlot.pudSlot, GET_PUD_INDEX(vptr));
131         cap_frame_print_attrs_pud(pudSlot.pudSlot);
135         pde_t *pd = paddr_to_pptr(pude_pude_pd_ptr_get_pd_base_address(pudSlot.pudSlot));
191 static void arm64_cap_pd_print_slots(pude_t *pudSlot, vptr_t vptr)
193     printf("pd_%p_%04lu {\n", pudSlot, GET_PUD_INDEX(vptr));
194     pde_t *pd = paddr_to_pptr(pude_pude_pd_ptr_get_pd_base_address(pudSlot));
233         pude_t *pudSlot = pud + GET_PUD_INDEX(i);
234         if (pude_ptr_get_pude_type(pudSlot) == pude_pude_pd) {
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);
243         if (pude_ptr_get_pude_type(pudSlot) == pude_pude_pd) {
244             arm64_cap_pd_print_slots(pudSlot, 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));
462 void arm64_obj_pd_print_slots(pude_t *pudSlot)
465     pde_t *pd = paddr_to_pptr(pude_pude_pd_ptr_get_pd_base_address(pudSlot));
491         pude_t *pudSlot = pud + GET_PUD_INDEX(i);
493         switch (pude_ptr_get_pude_type(pudSlot)) {
495             ret.frameBase = pude_pude_1g_ptr_get_page_base_address(pudSlot);
498             printf("frame_%p_%04lu = frame ", pudSlot, GET_PUD_INDEX(i));
503             printf("pd_%p_%04lu = pd\n", pudSlot, GET_PUD_INDEX(i));
504             arm64_obj_pd_print_slots(pudSlot);