rpi_firmware_set_power   69 drivers/soc/bcm/raspberrypi-power.c 	return rpi_firmware_set_power(rpi_domain, false);
rpi_firmware_set_power   77 drivers/soc/bcm/raspberrypi-power.c 	return rpi_firmware_set_power(rpi_domain, true);