Symbol: clock_dbgprint_ct
sys/dev/efidev/efirtc.c
147
clock_dbgprint_ct(dev, CLOCK_DBG_READ, &ct);
sys/dev/efidev/efirtc.c
167
clock_dbgprint_ct(dev, CLOCK_DBG_WRITE, &ct);
sys/sys/clock.h
194
void clock_dbgprint_ct(device_t dev, int rw, const struct clocktime *ct);