/* Writes the current value of MM1. This function is only available on IA32 and x64. */
VOID EFIAPI AsmWriteMm1(IN UINT64 Value)
/* Writes the current value of MM1. This function is only available on IA32 and x64. */
VOID EFIAPI AsmWriteMm1(IN UINT64 Value)
{
  _asm {
    movq    mm1, qword ptr [Value]
    emms
  }
}