Symbol: bcm2835_gpio_irq_config