Symbol: bcm2835_gpio_set_bit