_PRIxpte
"%#" _PRIxpte "/%#" _PRIxpte "\n", pvo,
"%#" _PRIxpte "/%#" _PRIxpte "\n", pvo,
printf("pmap_pvo_enter: pvo %p: dup %#" _PRIxpte "/%#" _PRIxpa "\n",
printf("pmap_pvo_enter: pte_hi=%#" _PRIxpte " sr=%#" _PRIsr "\n",
printf("%#" _PRIxpte ": [", pt->pte_hi);
printf("%#" _PRIxpte ": [", pt->pte_hi);
printf("%#" _PRIxpte " %#" _PRIxpte "",
printf(" %#" _PRIxpte ": [", pt->pte_lo);
printf("%#" _PRIxpte "... ", pt->pte_lo >> 12);
printf(" %#" _PRIxpte ": [", pt->pte_lo);
printf("%#" _PRIxpte "... ", pt->pte_lo >> 12);
printf("VA %#" _PRIxva " -> %p -> %s %#" _PRIxpte ", %#" _PRIxpte "\n",
DPRINTFN(PTE, "pmap_pte_insert: idx %#x, pte %#" _PRIxpte " %#" _PRIxpte "\n",