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


Copyright (c) HR650X BIOS Decompilation Project
**/

#ifndef __EBCDXE_H__
#define __EBCDXE_H__

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

//
// Function Prototypes
//

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

///
/// sub_35B8
///
EFI_STATUS
EFIAPI
sub_35B8(
  VOID
);

///
/// sub_376C
///
EFI_STATUS
EFIAPI
sub_376C(
  VOID
);

///
/// sub_53C
///
EFI_STATUS
EFIAPI
sub_53C(
  VOID
);

#endif /* __EBCDXE_H__ */