/* Worker function to get MP PPI service pointer. */
MP_SERVICES GetMpService(VOID)
/* Worker function to get MP PPI service pointer. */
MP_SERVICES GetMpService(VOID)
{
  EFI_STATUS   Status;
  MP_SERVICES  MpService;
  Status = PeiServicesLocatePpi (
             &gEdkiiPeiMpServices2PpiGuid,
             0,
             NULL,
             (VOID **)&MpService.Ppi
             );
  ASSERT_EFI_ERROR (Status);
  return MpService;
}