Lines Matching defs:DBG
88 #define DBG(x...) kprintf("DBG: " x)
90 #define DBG(x...)
217 DBG(" current RCBA.HPTC: %08X\n", *xmod);
219 DBG("HPET memory is not enabled, "
272 DBG(" CVT: TSC to HPET = %08X.%08X\n",
277 DBG(" CVT: HPET to TSC = %08X.%08X\n",
282 DBG(" CVT: BUS to HPET = %08X.%08X\n",
287 DBG(" CVT: HPET to BUS = %08X.%08X\n",
352 DBG("ml_hpet_cfg: HPET for cpu %d at %p, vector = %d\n",
435 DBG("HPET memory is not enabled, "