Symbol: CD_USBIT
sys/arch/m88k/m88k/pmap.c
1621
DPRINTF(CD_USBIT, ("pmap_unsetbit(%p, %x): ", pg, bit));
sys/arch/m88k/m88k/pmap.c
1672
DPRINTF(CD_USBIT, (rv ? "TRUE\n" : "FALSE\n"));