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