interrupt_controller_register
interrupt_controller_register(&sc->sc_ic);
void interrupt_controller_register(struct interrupt_controller *);