/* If Buffer is NULL, then ASSERT(). If Buffer is not aligned on a 16-byte boundary, then ASSERT(). */
VOID EFIAPI AsmFxSave(OUT IA32_FX_BUFFER *Buffer)
/* If Buffer is NULL, then ASSERT(). If Buffer is not aligned on a 16-byte boundary, then ASSERT(). */
VOID EFIAPI AsmFxSave(OUT IA32_FX_BUFFER *Buffer)
{
  ASSERT (Buffer != NULL);
  ASSERT (0 == ((UINTN)Buffer & 0xf));
  InternalX86FxSave (Buffer);
  *(UINT32 *)(&Buffer->Buffer[sizeof (Buffer->Buffer) - 4]) = 0xAA5555AA;
}