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);