Symbol: plat_irq_setup_pins