Lines Matching refs:va
188 uintptr_t va = *vaddr; in xpv_va_walk() local
199 if (va != lastva + MMU_PAGESIZE) in xpv_va_walk()
205 while (va < xpv_end && va >= *vaddr) { in xpv_va_walk()
223 idx = (va >> LEVEL_SHIFT(l)) & (xpv_panic_nptes[l] - 1); in xpv_va_walk()
224 scan_va = va; in xpv_va_walk()
241 va = NEXT_ENTRY_VA(va, l + 1); in xpv_va_walk()
245 va = scan_va; in xpv_va_walk()
249 if (va >= xpv_end || va < *vaddr) in xpv_va_walk()
266 (va & MMU_PAGEMASK)) { in xpv_va_walk()
267 va += MMU_PAGESIZE; in xpv_va_walk()
275 if (va >= kpm1_low && va < kpm1_high) { in xpv_va_walk()
276 va = kpm1_high; in xpv_va_walk()
279 if (va >= kpm2_low && va < kpm2_high) { in xpv_va_walk()
280 va = kpm2_high; in xpv_va_walk()
294 idx = (va >> LEVEL_SHIFT(0)) & in xpv_va_walk()
299 *vaddr = va; in xpv_va_walk()
300 lastva = va; in xpv_va_walk()
328 uintptr_t va; in dump_xpv_addr() local
332 va = xen_virt_start; in dump_xpv_addr()
334 while (xpv_va_walk(&va) != PFN_INVALID) { in dump_xpv_addr()
336 mem_vtop.m_va = (void *)va; in dump_xpv_addr()
342 va += MMU_PAGESIZE; in dump_xpv_addr()
375 uintptr_t va; in dump_xpv_data() local
384 va = xen_virt_start; in dump_xpv_data()
386 while (xpv_va_walk(&va) != PFN_INVALID) { in dump_xpv_data()
387 csize = (uint32_t)compress((void *)va, dump_cbuf, PAGESIZE); in dump_xpv_data()
395 va += MMU_PAGESIZE; in dump_xpv_data()