add_psc_lev3_intr
int add_psc_lev3_intr(void (*)(void *), void *);
return add_psc_lev3_intr(psc_lev3_noint, (void *)0);
add_psc_lev3_intr(mcintr, sc);