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


Copyright (c) HR650X BIOS Decompilation Project
**/

#ifndef __HSTIPLATFORMDXE_H__
#define __HSTIPLATFORMDXE_H__

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

//
// Function Prototypes
//

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

///
/// DebugAssertPrint
///
EFI_STATUS
EFIAPI
DebugAssertPrint(
  VOID
);

///
/// InitializeHstiPlatform
///
EFI_STATUS
EFIAPI
InitializeHstiPlatform(
  VOID
);

///
/// ReturnStatus
///
EFI_STATUS
EFIAPI
ReturnStatus(
  VOID
);

#endif /* __HSTIPLATFORMDXE_H__ */