clock_pcc_statintr
pccintr_establish(PCCV_TIMER2, clock_pcc_statintr, pa->pa_ipl,
static int clock_pcc_statintr(void *);