root/drivers/firmware/psci/

1. psci.c
2. psci_checker.c