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