PDB_EXTRACT
DPRINTF(PDB_EXTRACT, ("pmap_extract: va=%lx pa=%llx\n",
DPRINTF(PDB_EXTRACT, ("pmap_extract: va=%lx pa=%llx\n",
DPRINTF(PDB_EXTRACT, ("pmap_extract (intstack): va=%lx pa=%llx\n",
if (pmapdebug & PDB_EXTRACT) {