Symbol: BCM2835_FIRMWARE_TAG_SET_GPIO_STATE