PRIxPTE
"ptep@%p=%#" PRIxPTE ")\n", __func__,
KASSERTMSG(rv == 1, "va %#"PRIxREGISTER" pte=%#"PRIxPTE" rv=%d",
UVMHIST_CALLARGS(pmaphist, "(pg=%#jx, va=%#lx, pte=%#"PRIxPTE")",
KASSERTMSG(pte == MIPS3_PG_G, "va %#"PRIxVADDR" pte %#"PRIxPTE,
KASSERTMSG(ptep != NULL, "va %#"PRIxVADDR" asid %u pte %#"PRIxPTE,
"pmap=%p va=%#"PRIxVADDR" asid=%u: TLB pte (%#"PRIxPTE
") != real pte (%#"PRIxPTE"/%#"PRIxPTE") @ %p",
PRIxVADDR",%#"PRIxPTE", 0) returned %d\n",
PRIxPTE")\n", pfi->pfi_repeats,
"ptep@%p=%#"PRIxPTE")\n", __func__,
"pmap %p va %#" PRIxVADDR " invalid PTE %#" PRIxPTE " @ %p",
" in pv_table but != %#"PRIxPTE"\n",
"pte[%zu] = %#"PRIxPTE,
panic("%s: pte entry at %p not 0 (%#" PRIxPTE ")",
KASSERTMSG(pte_valid_p(pte), "va %#"PRIxVADDR" %#"PRIxPTE,
"pmap %p (asid %u) va %#"PRIxVADDR" pte %#"PRIxPTE" rv %d",