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


Copyright (c) HR650X BIOS Decompilation Project
**/

#ifndef __ISPLATFORMSUPPORTWHEA_H__
#define __ISPLATFORMSUPPORTWHEA_H__

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

//
// Function Prototypes
//

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

///
/// DetectWheaSupport -- Platform configuration query / WHEA support detection
///
EFI_STATUS
EFIAPI
DetectWheaSupport(
  VOID
);

///
/// PublishWheaSupportStatus -- Return status / result publishing
///
EFI_STATUS
EFIAPI
PublishWheaSupportStatus(
  VOID
);

#endif /* __ISPLATFORMSUPPORTWHEA_H__ */