root
/
drivers
/
soc
/bcm/
[..]
bcm2835-power.c
brcmstb/
raspberrypi-power.c
[..]