CD_USBIT
DPRINTF(CD_USBIT, ("pmap_unsetbit(%p, %x): ", pg, bit));
DPRINTF(CD_USBIT, (rv ? "TRUE\n" : "FALSE\n"));