linux/drivers/soc/bcm
..
brcmstb
bcm2835-power.c
Kconfig
Makefile
raspberrypi-power.c