/** @file
  WdtDxe.h -- Header for WdtDxe


Copyright (c) HR650X BIOS Decompilation Project
**/

#ifndef __WDTDXE_H__
#define __WDTDXE_H__

#include "../uefi_headers/Uefi.h"

//
// Function Prototypes
//

///
/// ModuleEntryPoint -- UEFI entry point / initialization function
///
EFI_STATUS
EFIAPI
ModuleEntryPoint(
  VOID
);

///
/// sub_3AC
///
EFI_STATUS
EFIAPI
sub_3AC(
  VOID
);

///
/// sub_578
///
EFI_STATUS
EFIAPI
sub_578(
  VOID
);

#endif /* __WDTDXE_H__ */