Symbol: bcm2835gpio_gpio_pin_read