CLOCK_DBG_READ
clock_dbgprint_ts(sc->dev, CLOCK_DBG_READ, ts);
clock_dbgprint_ct(dev, CLOCK_DBG_READ, &ct);
clock_dbgprint_bcd(sc->sc_dev, CLOCK_DBG_READ, &bct);
clock_dbgprint_bcd(sc->dev, CLOCK_DBG_READ, &bct);
clock_dbgprint_ts(dev, CLOCK_DBG_READ, ts);
clock_dbgprint_bcd(sc->sc_dev, CLOCK_DBG_READ, &bct);
clock_dbgprint_bcd(sc->dev, CLOCK_DBG_READ, &bct);
clock_dbgprint_bcd(sc->dev, CLOCK_DBG_READ, &bct);
clock_dbgprint_bcd(sc->dev, CLOCK_DBG_READ, &bct);
clock_dbgprint_bcd(dev, CLOCK_DBG_READ, &bcd);
clock_dbgprint_bcd(sc->dev, CLOCK_DBG_READ, &bct);
clock_dbgprint_bcd(dev, CLOCK_DBG_READ, &bcd);
clock_dbgprint_bcd(dev, CLOCK_DBG_READ, &bct);
device_printf(dev, "%s at ", (rw & CLOCK_DBG_READ) ? "read " : "write");
case CLOCK_DBG_READ:
clock_dbgprint_ts(dev, CLOCK_DBG_READ, ts);
clock_dbgprint_bcd(dev, CLOCK_DBG_READ, &bct);