Symbol: BBC_GPIO_PORT1_DATA