tickintr
int tickintr(void *); /* level 10/14 (tick) interrupt code */
tickintr_establish(PIL_CLOCK, tickintr);