Symbol: rpi_firmware_set_power
drivers/pmdomain/bcm/raspberrypi-power.c
78
return rpi_firmware_set_power(domain, false);
drivers/pmdomain/bcm/raspberrypi-power.c
83
return rpi_firmware_set_power(domain, true);