clock_pcc_profintr
pccintr_establish(PCCV_TIMER1, clock_pcc_profintr, pa->pa_ipl,
static int clock_pcc_profintr(void *);