Symbol: __bcm2835_gpio_irq_config