/** @file
  WdtDxe.c -- WdtDxe

  Auto-converted from IDA decompiler output.
  Functions: 1

Copyright (c) HR650X BIOS Decompilation Project
**/

#include "WdtDxe.h"


// Function: ModuleEntryPoint
EFI_STATUS ModuleEntryPoint(EFI_HANDLE ImageHandle, EFI_SYSTEM_TABLE *SystemTable) { sub_3AC(ImageHandle, SystemTable); return sub_578(ImageHandle); }