/include/services/

• ../
• sdei.h
• secure_partition.h
• spm_svc.h
• std_svc.h