/* Get the pointer to CPU MP Data structure. */
CPU_MP_DATA* GetCpuMpData(VOID)
/* Get the pointer to CPU MP Data structure. */
CPU_MP_DATA* GetCpuMpData(VOID)
{
  ASSERT (mCpuMpData != NULL);
  return mCpuMpData;
}