PRIxPTR
sprintf(buf, "0x%016"PRIxPTR, (uintptr_t)rsdp);
KASSERT(pvo != NULL, ("moea64_kextract: no addr found for %#" PRIxPTR,
printf("mapped size 0x%"PRIxPTR" (wasted space 0x%"PRIxPTR")\n",
printf(" virtual address = 0x%" PRIxPTR "\n", frame->dar);
printf(" virtual address = 0x%" PRIxPTR "\n", frame->srr0);
printf(" srr0 = 0x%" PRIxPTR " (0x%" PRIxPTR ")\n",
printf(" current msr = 0x%" PRIxPTR "\n", mfmsr());
printf(" lr = 0x%" PRIxPTR " (0x%" PRIxPTR ")\n",