audk/ArmPkg/Drivers/ArmPsciMpServicesDxe
..
ArmPsciMpServicesDxe.c
ArmPsciMpServicesDxe.inf
MpFuncs.S
MpServicesInternal.h