pmap_pte_to_va
if ((pmap_pte_to_va(pt) ^ PVO_VADDR(pvo)) & 0x0fffffff) {
pvo, pt, pmap_pte_to_va(pt), PVO_VADDR(pvo));
printf(" (va %#" _PRIxva ")] ", pmap_pte_to_va(pt));
printf(" (va %#" _PRIxva ")] ", pmap_pte_to_va(pt));