/* Reads and returns the current value of MM7. This function is only available on IA-32 and X64. */
UINT64 EFIAPI AsmReadMm7(VOID)
/* Reads and returns the current value of MM7. This function is only available on IA-32 and X64. */
UINT64 EFIAPI AsmReadMm7(VOID)
{
  UINT64  Data;
  __asm__ __volatile__ (
    "push %%eax          \n\t"
    "push %%eax          \n\t"
    "movq %%mm7,  (%%esp)\n\t"
    "pop  %%eax          \n\t"
    "pop  %%edx          \n\t"
    : "=A"  (Data)
  );
  return Data;
}