/** @file
  UuidDxe.c -- UuidDxe

  Auto-converted from IDA decompiler output.
  Functions: 1

Copyright (c) HR650X BIOS Decompilation Project
**/

#include "UuidDxe.h"


EFI_STATUS
EFIAPI
ModuleEntryPoint (
  EFI_HANDLE        ImageHandle,
  EFI_SYSTEM_TABLE *SystemTable
  )
{
  gImageHandle = ImageHandle;
  if (!ImageHandle) {
    ValidateBootServicesTablePointers(
      "e:\\hs\\MdePkg\\Library\\UefiBootServicesTableLib\\UefiBootServicesTableLib.c",
      51,
      "gImageHandle != ((void *) 0)");
  }

  gST = SystemTable;
  if (!SystemTable) {
    ValidateBootServicesTablePointers(
      "e:\\hs\\MdePkg\\Library\\UefiBootServicesTableLib\\UefiBootServicesTableLib.c",
      57,
      "gST != ((void *) 0)");
  }

  gBS = SystemTable->BootServices;
  if (!gBS) {
    ValidateBootServicesTablePointers(
      "e:\\hs\\MdePkg\\Library\\UefiBootServicesTableLib\\UefiBootServicesTableLib.c",
      63,
      "gBS != ((void *) 0)");
  }

  gRT = SystemTable->RuntimeServices;
  if (!gRT) {
    ValidateBootServicesTablePointers(
      "e:\\hs\\MdePkg\\Library\\UefiRuntimeServicesTableLib\\UefiRuntimeServicesTableLib.c",
      47,
      "gRT != ((void *) 0)");
  }

  InitializeUuidRuntimeServices();
  return UuidDxeMain();
}