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