Symbol: interrupt_controller_module_info