/** @file
  PlatformEarlyDxe.c -- PlatformEarlyDxe

  Auto-converted from IDA decompiler output.
  Functions: 1

Copyright (c) HR650X BIOS Decompilation Project
**/

#include "PlatformEarlyDxe.h"


// Function: ModuleEntryPoint
EFI_STATUS ModuleEntryPoint(EFI_HANDLE ImageHandle, EFI_SYSTEM_TABLE *SystemTable) { signed __int64 v2; // rbx sub_42C(ImageHandle, SystemTable); v2 = sub_70C(); if ( v2 < 0 ) sub_6CC(); return v2; }