stickintr_establish
void stickintr_establish(int, int (*)(void *));
stickintr_establish(PIL_CLOCK, stickintr);