Symbol: BCM2711_GPIO_PINS