PWIN_VA
xen_map(newpte, PWIN_VA(x));
mmu_flush_tlb_kpage((uintptr_t)PWIN_VA(x));
return (PT_INDEX_PTR(PWIN_VA(x), index));
va = (uintptr_t)PWIN_VA(PWIN_TABLE(CPU->cpu_id));
src_va = (caddr_t)PT_INDEX_PTR(PWIN_VA(x), entry);
mmu_flush_tlb_kpage((uintptr_t)PWIN_VA(x));
xen_map(newpte, PWIN_VA(x));
dst_va = (caddr_t)PT_INDEX_PTR(PWIN_VA(x), entry);
xen_map(0, PWIN_VA(x));
mmu_flush_tlb_page((uintptr_t)PWIN_VA(level));
ptable_window = PWIN_VA(l);