CD_TBIT
DPRINTF(CD_TBIT, ("pmap_testbit(%p, %x): ", pg, bit));
DPRINTF(CD_TBIT, ("cached\n"));
DPRINTF(CD_TBIT, ("found\n"));
DPRINTF(CD_TBIT, ("not found\n"));
DPRINTF(CD_TBIT, ("pmap_is_modified(%p) -> %x\n", pg, rc));