stick2eintr
int stick2eintr(void *); /* system tick interrupt code */
stick2eintr_establish(PIL_CLOCK, stick2eintr);