/** @file
  SmmIpmiBmcInitialize.c -- SmmIpmiBmcInitialize

  Auto-converted from IDA decompiler output.
  Functions: 1

Copyright (c) HR650X BIOS Decompilation Project
**/

#include "SmmIpmiBmcInitialize.h"


// Function: ModuleEntryPoint
EFI_STATUS ModuleEntryPoint(EFI_HANDLE ImageHandle, EFI_SYSTEM_TABLE *SystemTable) { __int64 v2; // rax EFI_STATUS v3; // rbx SmmIpmiBmcInitializeSetup(ImageHandle, SystemTable); qword_2688 = 0x8000000000000001uLL; if ( !SmmIpmiBmcInitializeIsReady(&unk_2590) ) { v2 = SmmIpmiBmcInitializeDispatch(); if ( v2 >= 0 || qword_2688 < 0 ) qword_2688 = v2; SmmIpmiBmcInitializeFinalize(&unk_2590); SmmIpmiBmcInitializeAcquireContext(&unk_2590, -1); SmmIpmiBmcInitializeAssertState( "e:\\hs\\Build\\HR6N0XMLK\\DEBUG_VS2015\\X64\\AmiIpmiPkg\\Ipmi\\IpmiInitialize\\SmmIpmiBmcInitialize\\DEBUG\\AutoGen.c", 434, "((BOOLEAN)(0==1))"); SmmIpmiBmcInitializeAssertState( "e:\\hs\\Build\\HR6N0XMLK\\DEBUG_VS2015\\X64\\AmiIpmiPkg\\Ipmi\\IpmiInitialize\\SmmIpmiBmcInitialize\\DEBUG\\AutoGen.c", 449, "((BOOLEAN)(0==1))"); } v3 = qword_2688; if ( qword_2688 < 0 ) SmmIpmiBmcInitializeCleanup(qword_2698); return v3; }