RPI_POWER_DOMAIN_ARM  144 drivers/soc/bcm/raspberrypi-power.c 	packet.domain = RPI_POWER_DOMAIN_ARM;
RPI_POWER_DOMAIN_ARM  219 drivers/soc/bcm/raspberrypi-power.c 	rpi_init_power_domain(rpi_domains, RPI_POWER_DOMAIN_ARM, "ARM");