root/drivers/soc/bcm/

[..]
  1. bcm2835-power.c
  2. brcmstb/
  3. raspberrypi-power.c
[..]