itmr_intr
int itmr_intr(void *);
cpu_intr_establish(IPL_CLOCK, 31, itmr_intr, NULL, "clock");
extern int itmr_intr(void *);