Searched refs:clock_dbgprint_ct (Results 1 – 3 of 3) sorted by relevance
147 clock_dbgprint_ct(dev, CLOCK_DBG_READ, &ct); in efirtc_gettime()167 clock_dbgprint_ct(dev, CLOCK_DBG_WRITE, &ct); in efirtc_settime()
194 void clock_dbgprint_ct(device_t dev, int rw, const struct clocktime *ct);
179 clock_dbgprint_ct(device_t dev, int rw, const struct clocktime *ct) in clock_dbgprint_ct() function