root
/
drivers
/
firmware
/psci/
[..]
psci.c
psci_checker.c
[..]