/ArmPkg/Include/IndustryStandard/

• ../
• ArmFfaSvc.h
• ArmMmSvc.h
• ArmStdSmc.h