register_intc_controller