/** @file
  PchResetRuntime.h
**/

#ifndef __PCHRESETRUNTIME_H__
#define __PCHRESETRUNTIME_H__

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

EFI_STATUS
EFIAPI
DebugPrintVarArg(
  VOID
  );

BOOLEAN
InternalCompare24BitValue(
  IN CONST VOID *Buffer1,
  IN CONST VOID *Buffer2
  );

EFI_STATUS
EFIAPI
InternalRegisterProtocolNotify(
  IN VOID *Protocol,
  IN VOID *NotifyFunction,
  IN VOID *Registration,
  IN VOID *Event,
  IN VOID *Interface
  );

EFI_STATUS
EFIAPI
InternalConfigStringLookup(
  IN VOID *ConfigString,
  IN VOID *String,
  IN VOID *Context,
  OUT VOID *Result,
  IN BOOLEAN CaseInsensitive
  );

VOID *
InternalGetHobList(
  VOID
  );

EFI_STATUS
EFIAPI
BootScriptSaveHeader(
  VOID
  );

EFI_STATUS
EFIAPI
BootScriptCloseCallback(
  VOID
  );

EFI_STATUS
EFIAPI
BootScriptSwitchBuffer(
  VOID
  );

EFI_STATUS
EFIAPI
BootScriptCloseAndFlush(
  VOID
  );

EFI_STATUS
EFIAPI
BootScriptOpen(
  VOID
  );

EFI_STATUS
EFIAPI
BootScriptLibInitialize(
  IN VOID *ImageHandle,
  IN VOID *SystemTable
  );

EFI_STATUS
EFIAPI
BootScriptLibUninitialize(
  IN VOID *ImageHandle,
  IN VOID *SystemTable,
  IN DOUBLE StartTime,
  IN DOUBLE EndTime
  );

#endif