/ArmPkg/Include/IndustryStandard/
../
ArmFfaSvc.h
ArmMmSvc.h
ArmStdSmc.h