zephyr/drivers/psci
..
CMakeLists.txt
Kconfig
psci.c
psci.h
psci_handlers.c