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

Copyright (c) HR650X BIOS Decompilation Project
**/

#ifndef __PCHRESETRUNTIME_H__
#define __PCHRESETRUNTIME_H__

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

//
// Function Prototypes
//

EFI_STATUS
EFIAPI
at 0x1000(
  VOID
);

EFI_STATUS
EFIAPI
__int64 v9; // rcx(
  VOID
);

EFI_STATUS
EFIAPI
__int64 v11; // rsi(
  VOID
);

EFI_STATUS
EFIAPI
bool v14; // sf(
  VOID
);

EFI_STATUS
EFIAPI
int v16; // ecx(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int16 v18; // cx(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int16 v20; // [rsp+48h] [rbp+10h] BYREF(
  VOID
);

EFI_STATUS
EFIAPI
at 0x1010(
  VOID
);

EFI_STATUS
EFIAPI
at 0x1020(
  VOID
);

EFI_STATUS
EFIAPI
at 0x1030(
  VOID
);

EFI_STATUS
EFIAPI
at 0x1040(
  VOID
);

EFI_STATUS
EFIAPI
at 0x1050(
  VOID
);

EFI_STATUS
EFIAPI
__int16 n255; // bx(
  VOID
);

EFI_STATUS
EFIAPI
__int16 i; // ax(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int16 n4; // cx(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int16 n4_1; // ax(
  VOID
);

EFI_STATUS
EFIAPI
at 0x10b0(
  VOID
);

EFI_STATUS
EFIAPI
at 0x1124(
  VOID
);

EFI_STATUS
EFIAPI
at 0x114c(
  VOID
);

EFI_STATUS
EFIAPI
at 0x1548(
  VOID
);

EFI_STATUS
EFIAPI
__int64 v4; // r8(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int8 v6; // al(
  VOID
);

EFI_STATUS
EFIAPI
char n3_1; // cl(
  VOID
);

EFI_STATUS
EFIAPI
at 0x16cc(
  VOID
);

EFI_STATUS
EFIAPI
if ( !a1 ) /*0x16a3*/(
  VOID
);

EFI_STATUS
EFIAPI
at 0x1870(
  VOID
);

EFI_STATUS
EFIAPI
__int64 v6; // rax(
  VOID
);

EFI_STATUS
EFIAPI
at 0x18f8(
  VOID
);

EFI_STATUS
EFIAPI
_DWORD *v7; // rbx(
  VOID
);

EFI_STATUS
EFIAPI
__int64 v11; // rdi(
  VOID
);

EFI_STATUS
EFIAPI
_BYTE *v13; // rbx(
  VOID
);

EFI_STATUS
EFIAPI
__int64 v15; // rdi(
  VOID
);

EFI_STATUS
EFIAPI
_BYTE *v17; // rdx(
  VOID
);

EFI_STATUS
EFIAPI
at 0x1a54(
  VOID
);

EFI_STATUS
EFIAPI
__int64 v1; // rax(
  VOID
);

EFI_STATUS
EFIAPI
at 0x1c08(
  VOID
);

EFI_STATUS
EFIAPI
__int64 v3; // rax(
  VOID
);

EFI_STATUS
EFIAPI
__int64 v5; // rbx(
  VOID
);

EFI_STATUS
EFIAPI
__int64 v7; // rbx(
  VOID
);

EFI_STATUS
EFIAPI
__int64 v9; // rbx(
  VOID
);

EFI_STATUS
EFIAPI
int n7777; // r9d(
  VOID
);

EFI_STATUS
EFIAPI
__int64 v13; // r8(
  VOID
);

EFI_STATUS
EFIAPI
__int64 v15; // rax(
  VOID
);

EFI_STATUS
EFIAPI
unsigned int *v17; // rcx(
  VOID
);

EFI_STATUS
EFIAPI
__int64 v19; // r9(
  VOID
);

EFI_STATUS
EFIAPI
__int64 v21; // r8(
  VOID
);

EFI_STATUS
EFIAPI
__int64 v23; // rax(
  VOID
);

EFI_STATUS
EFIAPI
__int64 v25; // rax(
  VOID
);

EFI_STATUS
EFIAPI
__int64 result; // rax(
  VOID
);

EFI_STATUS
EFIAPI
at 0x1cec(
  VOID
);

EFI_STATUS
EFIAPI
at 0x1e40(
  VOID
);

EFI_STATUS
EFIAPI
at 0x1eac(
  VOID
);

EFI_STATUS
EFIAPI
at 0x1f14(
  VOID
);

EFI_STATUS
EFIAPI
at 0x1f44(
  VOID
);

EFI_STATUS
EFIAPI
at 0x1f78(
  VOID
);

EFI_STATUS
EFIAPI
at 0x1fb8(
  VOID
);

EFI_STATUS
EFIAPI
at 0x1fe8(
  VOID
);

EFI_STATUS
EFIAPI
char v1; // [rsp+40h] [rbp+18h] BYREF(
  VOID
);

EFI_STATUS
EFIAPI
at 0x2028(
  VOID
);

EFI_STATUS
EFIAPI
at 0x2060(
  VOID
);

EFI_STATUS
EFIAPI
if ( qword_44F8 != qword_4500 ) /*0x2042*/(
  VOID
);

EFI_STATUS
EFIAPI
at 0x20ac(
  VOID
);

EFI_STATUS
EFIAPI
at 0x2134(
  VOID
);

EFI_STATUS
EFIAPI
at 0x21b4(
  VOID
);

EFI_STATUS
EFIAPI
at 0x21f4(
  VOID
);

EFI_STATUS
EFIAPI
__int64 v3; // rbx(
  VOID
);

EFI_STATUS
EFIAPI
__int64 v5; // rax(
  VOID
);

EFI_STATUS
EFIAPI
__int64 v7; // rdx(
  VOID
);

EFI_STATUS
EFIAPI
__int64 v9; // r8(
  VOID
);

EFI_STATUS
EFIAPI
__int64 v11; // rax(
  VOID
);

EFI_STATUS
EFIAPI
__int64 v13; // rax(
  VOID
);

EFI_STATUS
EFIAPI
__int64 v17; // rax(
  VOID
);

EFI_STATUS
EFIAPI
__int64 v19; // rax(
  VOID
);

EFI_STATUS
EFIAPI
at 0x2200(
  VOID
);

EFI_STATUS
EFIAPI
at 0x2228(
  VOID
);

EFI_STATUS
EFIAPI
at 0x22ec(
  VOID
);

EFI_STATUS
EFIAPI
at 0x231c(
  VOID
);

EFI_STATUS
EFIAPI
at 0x23a0(
  VOID
);

EFI_STATUS
EFIAPI
at 0x23f0(
  VOID
);

EFI_STATUS
EFIAPI
at 0x23f8(
  VOID
);

EFI_STATUS
EFIAPI
at 0x240c(
  VOID
);

EFI_STATUS
EFIAPI
at 0x247c(
  VOID
);

EFI_STATUS
EFIAPI
at 0x2560(
  VOID
);

EFI_STATUS
EFIAPI
__int64 v7; // rax(
  VOID
);

EFI_STATUS
EFIAPI
__int64 v9; // rax(
  VOID
);

EFI_STATUS
EFIAPI
at 0x25ec(
  VOID
);

EFI_STATUS
EFIAPI
at 0x2688(
  VOID
);

EFI_STATUS
EFIAPI
at 0x26e4(
  VOID
);

#endif /* __PCHRESETRUNTIME_H__ */