scb_free
void scb_free(u_long);
scb_free(0x800 + SCB_IDXTOVEC(irq));
scb_free(pc->pc_vecbase + SCB_IDXTOVEC(irq));
scb_free(pc->pc_vecbase + SCB_IDXTOVEC(irq));
scb_free(vec);
scb_free(pc->pc_vecbase + SCB_IDXTOVEC(irq));
scb_free(0x800 + SCB_IDXTOVEC(irq));