Lines Matching defs:va_index
231 tlb_print_addr(size_t way, size_t va_index, vaddr_t vpn, paddr_t pfn)
233 db_printf("[%1zu:%02zx] 0x%05lx000 0x%05lx000", way, va_index, vpn, pfn);
267 tlb_decode_cortex_a5_vpn(size_t va_index, uint32_t d0, uint32_t d1)
273 + (va_index << (4*size));
277 tlb_print_cortex_a5_entry(size_t way, size_t va_index, uint32_t d0, uint32_t d1)
286 const vaddr_t vpn = tlb_decode_cortex_a5_vpn(va_index, d0, d1);
288 tlb_print_addr(way, va_index, vpn, pfn);
330 tlb_decode_cortex_a7_vpn(size_t va_index, uint32_t d0, uint32_t d1)
338 + (va_index << shift);
342 tlb_print_cortex_a7_entry(size_t way, size_t va_index, uint32_t d0, uint32_t d1)
349 const vaddr_t vpn = tlb_decode_cortex_a7_vpn(va_index, d0, d1);
351 tlb_print_addr(way, va_index, vpn, pfn);
421 const u_int va_index = vpn & dti->dti_index;
424 __SHIFTIN(va_index, dti->dti_index)
430 && vpn == (*dti->dti_decode_vpn)(va_index, d0, d1)) {
432 (*dti->dti_print_entry)(way, va_index, d0, d1);
442 for (size_t va_index = 0; va_index <= dti->dti_index; va_index++) {
446 | __SHIFTIN(va_index, dti->dti_index));
455 (*dti->dti_print_entry)(way, va_index, d0, d1);