/** @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__ */