/** @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(
  EFI_HANDLE  ImageHandle,
  EFI_SYSTEM_TABLE *SystemTable
);

///
/// ReportLibraryPointerAssert
///
EFI_STATUS
EFIAPI
ReportLibraryPointerAssert(
  CHAR8  *File,
  UINTN  Line,
  CHAR8  *Expression
);

///
/// InitializeUefiLibraryGlobals
///
EFI_STATUS
EFIAPI
InitializeUefiLibraryGlobals(
  VOID
);

///
/// InitializeEbcGraphicsConsole
///
EFI_STATUS
EFIAPI
InitializeEbcGraphicsConsole(
  EFI_HANDLE  ImageHandle
);

#endif /* __EBCDXE_H__ */