SCB_IDXTOVEC
scb_set(0x800 + SCB_IDXTOVEC(irq), jensenio_iointr, NULL);
scb_free(0x800 + SCB_IDXTOVEC(irq));
scb_set(pc->pc_vecbase + SCB_IDXTOVEC(irq),
scb_free(pc->pc_vecbase + SCB_IDXTOVEC(irq));
scb_set(pc->pc_vecbase + SCB_IDXTOVEC(irq),
scb_free(pc->pc_vecbase + SCB_IDXTOVEC(irq));
scb_set(MCPCIA_VEC_PCI + SCB_IDXTOVEC(irq), kn300_iointr, NULL);
scb_set(pc->pc_vecbase + SCB_IDXTOVEC(irq),
scb_free(pc->pc_vecbase + SCB_IDXTOVEC(irq));
scb_set(0x800 + SCB_IDXTOVEC(irq), sio_iointr, NULL);
scb_free(0x800 + SCB_IDXTOVEC(irq));