Symbol: BCM2835_POWER_DOMAIN_COUNT