Symbol: get_irq_config