/* Saves the current floating point/SSE/SSE2 state to the buffer specified by Buffer. Buffer must be aligned on a 16-byte boundary. This function is only available on IA-32 and x64. */
VOID EFIAPI InternalX86FxSave(OUT IA32_FX_BUFFER *Buffer)
/* Saves the current floating point/SSE/SSE2 state to the buffer specified by Buffer. Buffer must be aligned on a 16-byte boundary. This function is only available on IA-32 and x64. */
VOID EFIAPI InternalX86FxSave(OUT IA32_FX_BUFFER *Buffer)
{
  _asm {
    mov     eax, Buffer
    fxsave  [eax]
  }
}