in_rtqtimo
callout_reset(&pcpu->timo_ch, tvtohz_high(&atv), in_rtqtimo, NULL);
in_rtqtimo(NULL); /* kick off timeout first time */
static void in_rtqtimo(void *);