/** @file
  BmcRequestNmi.c -- BmcRequestNmi

  Auto-converted from IDA decompiler output.
  Functions: 1

Copyright (c) HR650X BIOS Decompilation Project
**/

#include "BmcRequestNmi.h"


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

  sub_48C(ImageHandle, SystemTable);
  v2 = sub_75C();
  if ( v2 < 0 )
    sub_DC0();
  return v2;
}