linux/drivers/firmware/psci
..
Kconfig
Makefile
psci.c
psci_checker.c