/* 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__ __volatile__ (
    "fxsave %0"
    :
    : "m" (*Buffer)
  );
}