/* Save the performance counter value after running the MP procedure. */
VOID MpPerfEnd(IN UINTN CpuIndex, IN UINTN MpProcedureId)
/* Save the performance counter value after running the MP procedure. */
VOID MpPerfEnd(IN UINTN CpuIndex, IN UINTN MpProcedureId)
{
  mSmmMpProcedurePerformance[CpuIndex].End[MpProcedureId] = GetPerformanceCounter ();
}