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

  Source: DEBUG_VS2015\X64\CpPlatPkg\Whea\WheaPlatformBoot\WheaPlatformBoot\DEBUG
  Build: HR6N0XMLK DEBUG_VS2015 X64

Copyright (c) HR650X BIOS Decompilation Project
**/

#ifndef __WHEAPLATFORMBOOT_H__
#define __WHEAPLATFORMBOOT_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
);

///
/// WheaPlatformBootInitializeUefiContext
///
EFI_STATUS
EFIAPI
WheaPlatformBootInitializeUefiContext(
  EFI_HANDLE ImageHandle,
  EFI_SYSTEM_TABLE *SystemTable
);

///
/// WheaPlatformBootInitializeWheaPolicy
///
EFI_STATUS
EFIAPI
WheaPlatformBootInitializeWheaPolicy(
  VOID
);

///
/// WheaPlatformBootCleanupContext
///
EFI_STATUS
EFIAPI
WheaPlatformBootCleanupContext(
  VOID *WheaBootContext
);

///
/// WheaPlatformBootRestoreContext
///
EFI_STATUS
EFIAPI
WheaPlatformBootRestoreContext(
  VOID *WheaBootContext,
  INT64 EventType
);

///
/// WheaPlatformBootAssertFailed
///
EFI_STATUS
EFIAPI
WheaPlatformBootAssertFailed(
  const CHAR8 *FileName,
  UINTN Line,
  const CHAR8 *Expression
);

///
/// WheaPlatformBootSetJump
///
EFI_STATUS
EFIAPI
WheaPlatformBootSetJump(
  VOID *WheaBootContext
);

///
/// WheaPlatformBootCleanupOnFailure
///
EFI_STATUS
EFIAPI
WheaPlatformBootCleanupOnFailure(
  VOID
);

#endif /* __WHEAPLATFORMBOOT_H__ */