clock_dbgprint_ct
clock_dbgprint_ct(dev, CLOCK_DBG_READ, &ct);
clock_dbgprint_ct(dev, CLOCK_DBG_WRITE, &ct);
void clock_dbgprint_ct(device_t dev, int rw, const struct clocktime *ct);