/** @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
);

///
/// sub_B88
///
EFI_STATUS
EFIAPI
sub_B88(
  VOID
);

///
/// sub_F30
///
EFI_STATUS
EFIAPI
sub_F30(
  VOID
);

///
/// sub_8D4
///
EFI_STATUS
EFIAPI
sub_8D4(
  VOID
);

#endif /* __HSTIPLATFORMDXE_H__ */