/ArmPkg/Include/IndustryStandard/

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