int main(int argc, char **argv) { uint32_t time; usb_init(); time = 0; while (1) { usb_idle(); usleep(1000); if (++time >= (1000 / hz)) { time = 0; callout_process(1); } } usb_uninit(); return (0); }
static void clock(timer_event_t *tev) { systime_t st = tv2st(tev->tev_when); tev->tev_when = timeval_add(&tev->tev_when, &tick); cpu_timer_add_event(tev); callout_process(st); sched_clock(); }