/** @file
  AcpiSmmPlatform.c -- AcpiSmmPlatform

  Auto-converted from IDA decompiler output.
  Functions: 1

Copyright (c) HR650X BIOS Decompilation Project
**/

#include "AcpiSmmPlatform.h"


// Function: ModuleEntryPoint
EFI_STATUS
ModuleEntryPoint(
  EFI_HANDLE        ImageHandle,
  EFI_SYSTEM_TABLE  *SystemTable
  )
{
  __int64      v2;
  EFI_STATUS   v3;

  InitializeSmmAcpiPlatform(ImageHandle, SystemTable);
  qword_77F8 = 0x8000000000000001uLL;
  if ( !SetupAcpiSmmJumpRecovery(&unk_7700) )
  {
    v2 = InitializeAcpiSmmPlatformHandlers();
    if ( v2 >= 0 || qword_77F8 < 0 )
      qword_77F8 = v2;
    ReleaseSmmAcpiPlatformResources(&unk_7700);
    UnregisterSmmAcpiPlatformCallbacks(&unk_7700, -1);
    SmmAcpiPlatformAssert(
      "e:\\hs\\Build\\HR6N0XMLK\\DEBUG_VS2015\\X64\\PurleyPlatPkg\\Acpi\\DxeSmm\\AcpiSmm\\AcpiSmmPlatform\\DEBUG\\AutoGen.c",
      626,
      "((BOOLEAN)(0==1))");
    SmmAcpiPlatformAssert(
      "e:\\hs\\Build\\HR6N0XMLK\\DEBUG_VS2015\\X64\\PurleyPlatPkg\\Acpi\\DxeSmm\\AcpiSmm\\AcpiSmmPlatform\\DEBUG\\AutoGen.c",
      641,
      "((BOOLEAN)(0==1))");
  }
  v3 = qword_77F8;
  if ( qword_77F8 < 0 )
    CleanupAcpiSmmPlatformOnFailure();
  return v3;
}