/** @file
  SpsDxe.c -- SpsDxe

  Auto-converted from IDA decompiler output.
  Functions: 1

Copyright (c) HR650X BIOS Decompilation Project
**/

#include "SpsDxe.h"


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

  SpsDxeInitializeLibrary(ImageHandle, SystemTable);
  v2 = InitializeSpsDxe();
  if ( v2 < 0 )
    HandleSpsDxeInitializationError();
  return v2;
}