RPI_POWER_DOMAIN_COUNT   35 drivers/soc/bcm/raspberrypi-power.c 	struct rpi_power_domain domains[RPI_POWER_DOMAIN_COUNT];
RPI_POWER_DOMAIN_COUNT  166 drivers/soc/bcm/raspberrypi-power.c 			     RPI_POWER_DOMAIN_COUNT,
RPI_POWER_DOMAIN_COUNT  172 drivers/soc/bcm/raspberrypi-power.c 	rpi_domains->xlate.num_domains = RPI_POWER_DOMAIN_COUNT;