PDB_DEMAP
DPRINTF(PDB_DEMAP, ("pmap_kremove: start 0x%lx size %lx\n", va, size));
DPRINTF(PDB_DEMAP, ("pmap_kremove: seg %x pdir %x pte %x\n",