Lines Matching refs:pt
22 static void arm32_obj_pt_print_slots(pte_t *pt);
23 static void arm32_cap_pt_print_slots(pte_t *pt);
114 static void arm32_cap_pt_print_slots(pte_t *pt)
119 pte_t *pte = lookupPTSlot_nofail(pt, i);
203 pte_t *pt = ptrFromPAddr(pde_pde_coarse_ptr_get_address(pde));
205 arm32_cap_pt_print_slots(pt);
206 printf("}\n"); /* pt */
228 pte_t *pt = ptrFromPAddr(pde_pde_coarse_ptr_get_address(pde));
229 pte_t *pte = lookupPTSlot_nofail(pt, vptr);
403 static void arm32_obj_pt_print_slots(pte_t *pt)
408 pte_t *pte = lookupPTSlot_nofail(pt, i);
481 pte_t *pt = ptrFromPAddr(pde_pde_coarse_ptr_get_address(pde));
482 printf("pt_%p_%04lu = pt\n", pde, PD_INDEX(i));
483 arm32_obj_pt_print_slots(pt);