/include/runtime_services/
../
psci.h
secure_el1_payloads
smc.h
std_svc.h
trusted_os.h