/* Writes the current value of MM5. This function is only available on IA32 and X64. */
VOID EFIAPI AsmWriteMm5(IN UINT64 Value)
/* Writes the current value of MM5. This function is only available on IA32 and X64. */
VOID EFIAPI AsmWriteMm5(IN UINT64 Value)
{
  __asm__ __volatile__ (
    "movd  %0, %%mm5"
    :
    : "m" (Value)
  );
}