Lines Matching refs:i
182 for (word_t i = 0; i < BIT(PT_INDEX_OFFSET + PT_INDEX_BITS); i += (1 << PT_INDEX_OFFSET)) { in arm64_cap_pt_print_slots() local
183 pte_t *ptSlot = pt + GET_PT_INDEX(i); in arm64_cap_pt_print_slots()
187 printf("0x%lx: frame_%p_%04lu", GET_PT_INDEX(i), ptSlot, GET_PT_INDEX(i)); in arm64_cap_pt_print_slots()
199 for (word_t i = 0; i < BIT(PD_INDEX_OFFSET + PD_INDEX_BITS); i += (1 << PD_INDEX_OFFSET)) { in arm64_cap_pd_print_slots() local
200 pde_t *pdSlot = pd + GET_PD_INDEX(i); in arm64_cap_pd_print_slots()
205 printf("0x%lx: frame_%p_%04lu", GET_PD_INDEX(i), pdSlot, GET_PD_INDEX(i)); in arm64_cap_pd_print_slots()
210 printf("0x%lx: pt_%p_%04lu\n", GET_PD_INDEX(i), pdSlot, GET_PD_INDEX(i)); in arm64_cap_pd_print_slots()
217 for (word_t i = 0; i < BIT(PD_INDEX_OFFSET + PD_INDEX_BITS); i += (1 << PD_INDEX_OFFSET)) { in arm64_cap_pd_print_slots() local
218 pde_t *pdSlot = pd + GET_PD_INDEX(i); in arm64_cap_pd_print_slots()
220 arm64_cap_pt_print_slots(pdSlot, i); in arm64_cap_pd_print_slots()
235 for (word_t i = 0; i < BIT(PUD_INDEX_OFFSET + UPUD_INDEX_BITS); i += (1 << PUD_INDEX_OFFSET)) { in arm64_cap_pud_print_slots() local
236 pude_t *pudSlot = pud + GET_PUD_INDEX(i); in arm64_cap_pud_print_slots()
238 printf("0x%lx: pd_%p_%04lu\n", GET_PUD_INDEX(i), pudSlot, GET_PUD_INDEX(i)); in arm64_cap_pud_print_slots()
244 for (word_t i = 0; i < BIT(PUD_INDEX_OFFSET + UPUD_INDEX_BITS); i += (1 << PUD_INDEX_OFFSET)) { in arm64_cap_pud_print_slots() local
245 pude_t *pudSlot = pud + GET_PUD_INDEX(i); in arm64_cap_pud_print_slots()
247 arm64_cap_pd_print_slots(pudSlot, i); in arm64_cap_pud_print_slots()
266 … for (word_t i = 0; i < BIT(PGD_INDEX_OFFSET + PGD_INDEX_BITS); i += (1UL << PGD_INDEX_OFFSET)) { in obj_vtable_print_slots() local
267 lookupPGDSlot_ret_t pgdSlot = lookupPGDSlot(vspace, i); in obj_vtable_print_slots()
269 … printf("0x%lx: pud_%p_%04lu\n", GET_PGD_INDEX(i), pgdSlot.pgdSlot, GET_PGD_INDEX(i)); in obj_vtable_print_slots()
274 … for (word_t i = 0; i < BIT(PGD_INDEX_OFFSET + PGD_INDEX_BITS); i += (1UL << PGD_INDEX_OFFSET)) { in obj_vtable_print_slots() local
275 lookupPGDSlot_ret_t pgdSlot = lookupPGDSlot(vspace, i); in obj_vtable_print_slots()
277 arm64_cap_pud_print_slots(pgdSlot.pgdSlot, i); in obj_vtable_print_slots()
453 for (word_t i = 0; i < BIT(PT_INDEX_OFFSET + PT_INDEX_BITS); i += (1 << PT_INDEX_OFFSET)) { in arm64_obj_pt_print_slots() local
454 pte_t *ptSlot = pt + GET_PT_INDEX(i); in arm64_obj_pt_print_slots()
459 printf("frame_%p_%04lu = frame ", ptSlot, GET_PT_INDEX(i)); in arm64_obj_pt_print_slots()
470 for (word_t i = 0; i < BIT(PD_INDEX_OFFSET + PD_INDEX_BITS); i += (1 << PD_INDEX_OFFSET)) { in arm64_obj_pd_print_slots() local
471 pde_t *pdSlot = pd + GET_PD_INDEX(i); in arm64_obj_pd_print_slots()
477 printf("frame_%p_%04lu = frame ", pdSlot, GET_PD_INDEX(i)); in arm64_obj_pd_print_slots()
482 printf("pt_%p_%04lu = pt\n", pdSlot, GET_PD_INDEX(i)); in arm64_obj_pd_print_slots()
493 for (word_t i = 0; i < BIT(PUD_INDEX_OFFSET + UPUD_INDEX_BITS); i += (1 << PUD_INDEX_OFFSET)) { in arm64_obj_pud_print_slots() local
494 pude_t *pudSlot = pud + GET_PUD_INDEX(i); in arm64_obj_pud_print_slots()
501 printf("frame_%p_%04lu = frame ", pudSlot, GET_PUD_INDEX(i)); in arm64_obj_pud_print_slots()
506 printf("pd_%p_%04lu = pd\n", pudSlot, GET_PUD_INDEX(i)); in arm64_obj_pud_print_slots()
529 … for (word_t i = 0; i < BIT(PGD_INDEX_OFFSET + PGD_INDEX_BITS); i += (1UL << PGD_INDEX_OFFSET)) { in obj_tcb_print_vtable() local
530 lookupPGDSlot_ret_t pgdSlot = lookupPGDSlot(vspace, i); in obj_tcb_print_vtable()
532 printf("pud_%p_%04lu = pud\n", pgdSlot.pgdSlot, GET_PGD_INDEX(i)); in obj_tcb_print_vtable()