eb64plus_iointr
void eb64plus_iointr(void *arg, unsigned long vec);
scb_set(0x900 + SCB_IDXTOVEC(ih), eb64plus_iointr, NULL);