Symbol: wpcm450_irq_bitnum_to_gpio