scb_free
void scb_free(u_long);
scb_free(0x900 + SCB_IDXTOVEC(irq));
scb_free(0x900 + SCB_IDXTOVEC(irq));
scb_free(0x900 + SCB_IDXTOVEC(irq));
scb_free(0x900 + SCB_IDXTOVEC(irq));
scb_free(0x900 + SCB_IDXTOVEC(irq));
scb_free(0x900 + SCB_IDXTOVEC(irq));
scb_free(0x900 + SCB_IDXTOVEC(irq));
scb_free(0x800 + SCB_IDXTOVEC(irq));