Lines Matching refs:i
121 word_t i = 0; in arm32_cap_pt_print_slots() local
122 while (i < BIT(PT_INDEX_BITS + PAGE_BITS)) { in arm32_cap_pt_print_slots()
123 pte_t *pte = lookupPTSlot_nofail(pt, i); in arm32_cap_pt_print_slots()
135 printf("0x%lx: frame_%p_%04lu ", PT_INDEX(i), pte, PT_INDEX(i)); in arm32_cap_pt_print_slots()
142 printf("0x%lx: frame_%p_%04lu ", PT_INDEX(i), pte, PT_INDEX(i)); in arm32_cap_pt_print_slots()
150 i += (1 << pageBitsForSize(page_size)); in arm32_cap_pt_print_slots()
163 word_t i = 0; in obj_vtable_print_slots() local
164 while (i < MAX_UL) { in obj_vtable_print_slots()
165 pde_t *pde = lookupPDSlot(pd, i); in obj_vtable_print_slots()
181 printf("0x%lx: frame_%p_%04lu ", PD_INDEX(i), pde, PD_INDEX(i)); in obj_vtable_print_slots()
187 printf("0x%lx: pt_%p_%04lu\n", PD_INDEX(i), pde, PD_INDEX(i)); in obj_vtable_print_slots()
195 i += (1 << pageBitsForSize(page_size)); in obj_vtable_print_slots()
196 if (i < (1 << pageBitsForSize(page_size))) { in obj_vtable_print_slots()
202 i = 0; in obj_vtable_print_slots()
204 while (i < MAX_UL) { in obj_vtable_print_slots()
205 pde_t *pde = lookupPDSlot(pd, i); in obj_vtable_print_slots()
208 printf("pt_%p_%04lu {\n", pde, PD_INDEX(i)); in obj_vtable_print_slots()
212 i += (1 << pageBitsForSize(ARMSection)); in obj_vtable_print_slots()
213 if (i < (1 << pageBitsForSize(ARMSection))) { in obj_vtable_print_slots()
410 word_t i = 0; in arm32_obj_pt_print_slots() local
411 while (i < BIT(PT_INDEX_BITS + PAGE_BITS)) { in arm32_obj_pt_print_slots()
412 pte_t *pte = lookupPTSlot_nofail(pt, i); in arm32_obj_pt_print_slots()
428 printf("frame_%p_%04lu = frame ", pte, PT_INDEX(i)); in arm32_obj_pt_print_slots()
436 printf("frame_%p_%04lu = frame ", pte, PT_INDEX(i)); in arm32_obj_pt_print_slots()
444 i += (1 << pageBitsForSize(ret.frameSize)); in arm32_obj_pt_print_slots()
457 word_t i = 0; in obj_tcb_print_vtable() local
458 while (i < MAX_UL) { in obj_tcb_print_vtable()
459 pde_t *pde = lookupPDSlot(pd, i); in obj_tcb_print_vtable()
479 printf("frame_%p_%04lu = frame ", pde, PD_INDEX(i)); in obj_tcb_print_vtable()
486 printf("pt_%p_%04lu = pt\n", pde, PD_INDEX(i)); in obj_tcb_print_vtable()
495 i += (1 << pageBitsForSize(ret.frameSize)); in obj_tcb_print_vtable()
496 if (i < (1 << pageBitsForSize(ret.frameSize))) { in obj_tcb_print_vtable()