_PRIxva
panic("%s: returning NULL for %s pmap, va: %#" _PRIxva "\n",
printf("pmap_pvo_check: pvo %p: PTE %p derived VA %#" _PRIxva ""
" doesn't not match PVO's VA %#" _PRIxva "\n",
"pmap_pvo_enter: pvo %p: pm %p va %#" _PRIxva " pa %#" _PRIxpa "\n",
"pmap_enter(%p, %#" _PRIxva ", %#" _PRIxpa ", 0x%x, 0x%x):",
"non-kernel address %#" _PRIxva "!", va);
"pmap_kenter_pa(%#" _PRIxva ",%#" _PRIxpa ",%#x)\n", va, pa, prot);
panic("pmap_kenter_pa: failed to enter va %#" _PRIxva " pa %#" _PRIxpa ": %d",
"non-kernel address %#" _PRIxva "!", va);
DPRINTFN(KREMOVE, "pmap_kremove(%#" _PRIxva ",%#" _PRIxva ")\n", va, len);
printf(" (va %#" _PRIxva ")] ", pmap_pte_to_va(pt));
printf(" (va %#" _PRIxva ")] ", pmap_pte_to_va(pt));
printf("VA %#" _PRIxva " -> %p -> %s %#" _PRIxpte ", %#" _PRIxpte "\n",
printf("%s: Inserting: va: %#" _PRIxva ", pa: %#" _PRIxpa "\n", __func__, va, pa);