clock_pcctwo_statintr
pcctwointr_establish(PCCTWOV_TIMER2, clock_pcctwo_statintr,
static int clock_pcctwo_statintr(void *);