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

Copyright (c) HR650X BIOS Decompilation Project
**/

#ifndef __JEDECNVDIMM_H__
#define __JEDECNVDIMM_H__

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

//
// Function Prototypes
//

EFI_STATUS
EFIAPI
IoWriteB2F(
  VOID
);

EFI_STATUS
EFIAPI
IoWriteB2_0(
  VOID
);

EFI_STATUS
EFIAPI
JedecNvDimmEntry(
  VOID
);

EFI_STATUS
EFIAPI
JedecNvDimmUnload(
  VOID
);

EFI_STATUS
EFIAPI
JedecNvDimmCommand(
  VOID
);

EFI_STATUS
EFIAPI
SmbusSendCommand(
  VOID
);

EFI_STATUS
EFIAPI
NfitInit(
  VOID
);

EFI_STATUS
EFIAPI
NfitSetFlushHint(
  VOID
);

EFI_STATUS
EFIAPI
ArsDoScrub(
  VOID
);

EFI_STATUS
EFIAPI
ArsGetCapabilities(
  VOID
);

EFI_STATUS
EFIAPI
ArsCheckStatus(
  VOID
);

EFI_STATUS
EFIAPI
ArsEventHandler(
  VOID
);

EFI_STATUS
EFIAPI
ArsCheckCompletion(
  VOID
);

EFI_STATUS
EFIAPI
NvdimmAcpiConfig(
  VOID
);

EFI_STATUS
EFIAPI
NvdimmConfigRead(
  VOID
);

EFI_STATUS
EFIAPI
NvdimmPlatformNullSub(
  VOID
);

EFI_STATUS
EFIAPI
LocateProtocol(
  VOID
);

EFI_STATUS
EFIAPI
DebugLibGetDebugLib(
  VOID
);

EFI_STATUS
EFIAPI
DebugPrint(
  VOID
);

EFI_STATUS
EFIAPI
DebugLevelEnabled(
  VOID
);

EFI_STATUS
EFIAPI
BootSvcNullCallback(
  VOID
);

EFI_STATUS
EFIAPI
BootSvcTimerCallback(
  VOID
);

EFI_STATUS
EFIAPI
MmPciBaseInit(
  VOID
);

EFI_STATUS
EFIAPI
RuntimeSvcNullCallback(
  VOID
);

EFI_STATUS
EFIAPI
RuntimeSvcPciCallback(
  VOID
);

EFI_STATUS
EFIAPI
PciExpressNotifyUninit(
  VOID
);

EFI_STATUS
EFIAPI
VARIABLES(
  VOID
);

EFI_STATUS
EFIAPI
variable allocation has failed, the output may be wrong!(
  VOID
);

EFI_STATUS
EFIAPI
UINT32 Port_1; // eax(
  VOID
);

EFI_STATUS
EFIAPI
void *dst; // rdi(
  VOID
);

EFI_STATUS
EFIAPI
Port_1 = Port; /*0x1010*/(
  VOID
);

EFI_STATUS
EFIAPI
memset((void *)Port, 0, 8 * (v1 >> 3)); /*0x1066*/(
  VOID
);

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

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

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

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

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

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

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

EFI_STATUS
EFIAPI
int v18; // edi(
  VOID
);

EFI_STATUS
EFIAPI
::ImageHandle = ImageHandle; /*0x1169*/(
  VOID
);

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

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

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

EFI_STATUS
EFIAPI
int v2; // eax(
  VOID
);

EFI_STATUS
EFIAPI
_DWORD *v4; // rdx(
  VOID
);

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

EFI_STATUS
EFIAPI
unsigned int v8; // eax(
  VOID
);

EFI_STATUS
EFIAPI
_DWORD *v10; // rdx(
  VOID
);

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

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

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

EFI_STATUS
EFIAPI
char v5; // [rsp+20h] [rbp-18h](
  VOID
);

EFI_STATUS
EFIAPI
_DWORD *v4; // rcx(
  VOID
);

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

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

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

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

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

EFI_STATUS
EFIAPI
unsigned __int64 v1; // rdx(
  VOID
);

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

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

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

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

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

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

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

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

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

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

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

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

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

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

EFI_STATUS
EFIAPI
unsigned __int64 v32; // rdx(
  VOID
);

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

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

EFI_STATUS
EFIAPI
unsigned __int8 i; // [rsp+20h] [rbp-38h](
  VOID
);

EFI_STATUS
EFIAPI
*a1 = (a5 >> 12) & 0xF; /*0x32d7*/(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int8 j; // [rsp+0h] [rbp-28h](
  VOID
);

EFI_STATUS
EFIAPI
char v11; // [rsp+0h] [rbp-38h](
  VOID
);

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

EFI_STATUS
EFIAPI
_BYTE *v5; // rcx(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int8 n2_1; // [rsp+20h] [rbp-58h](
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int8 i; // [rsp+20h] [rbp-18h](
  VOID
);

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

EFI_STATUS
EFIAPI
_BYTE *v8; // [rsp+0h] [rbp-18h](
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int8 i; // [rsp+20h] [rbp-28h](
  VOID
);

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

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

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

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

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

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

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

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

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

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

EFI_STATUS
EFIAPI
int v26; // eax(
  VOID
);

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

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

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

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

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

EFI_STATUS
EFIAPI
unsigned __int8 i; // [rsp+0h] [rbp-18h](
  VOID
);

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

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

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

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

EFI_STATUS
EFIAPI
_BYTE v10[8]; // [rsp+20h] [rbp-18h] BYREF(
  VOID
);

EFI_STATUS
EFIAPI
_BYTE *result; // rax(
  VOID
);

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

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

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

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

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

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

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

EFI_STATUS
EFIAPI
_BYTE v17[8]; // [rsp+20h] [rbp-18h] BYREF(
  VOID
);

EFI_STATUS
EFIAPI
_DWORD *v22; // rcx(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int8 v25; // [rsp+30h] [rbp-38h](
  VOID
);

EFI_STATUS
EFIAPI
char v7; // al(
  VOID
);

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

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

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

EFI_STATUS
EFIAPI
_QWORD *v27; // rcx(
  VOID
);

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

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

EFI_STATUS
EFIAPI
unsigned __int8 v33; // [rsp+30h] [rbp-68h](
  VOID
);

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

EFI_STATUS
EFIAPI
unsigned __int8 v69; // [rsp+30h] [rbp-E8h] BYREF(
  VOID
);

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

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

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

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

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

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

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

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

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

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

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

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

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

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

EFI_STATUS
EFIAPI
_BYTE v66[8]; // [rsp+20h] [rbp-58h] BYREF(
  VOID
);

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

EFI_STATUS
EFIAPI
v2 = *(_WORD *)(a1 + 4); /*0xf902*/(
  VOID
);

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

EFI_STATUS
EFIAPI
v2 = NvdimmConfigRead(); /*0xf9c0*/(
  VOID
);

EFI_STATUS
EFIAPI
char v8; // dl(
  VOID
);

EFI_STATUS
EFIAPI
unsigned int n67453100; // ebp(
  VOID
);

EFI_STATUS
EFIAPI
unsigned int n67453112; // r12d(
  VOID
);

EFI_STATUS
EFIAPI
int v15; // ebx(
  VOID
);

EFI_STATUS
EFIAPI
unsigned int n2; // r13d(
  VOID
);

EFI_STATUS
EFIAPI
unsigned int v23; // r15d(
  VOID
);

EFI_STATUS
EFIAPI
int n4; // ebx(
  VOID
);

EFI_STATUS
EFIAPI
bool v27; // zf(
  VOID
);

EFI_STATUS
EFIAPI
char v7; // r14(
  VOID
);

EFI_STATUS
EFIAPI
__int16 v9; // r14(
  VOID
);

EFI_STATUS
EFIAPI
int v13; // eax(
  VOID
);

EFI_STATUS
EFIAPI
unsigned int v15; // ebx(
  VOID
);

EFI_STATUS
EFIAPI
int v18; // [rsp+50h] [rbp+30h] BYREF(
  VOID
);

EFI_STATUS
EFIAPI
char v7; // bp(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int16 v9; // bp(
  VOID
);

EFI_STATUS
EFIAPI
unsigned int n67453088; // r15d(
  VOID
);

EFI_STATUS
EFIAPI
unsigned int v17; // r13d(
  VOID
);

EFI_STATUS
EFIAPI
int v22; // [rsp+60h] [rbp+8h] BYREF(
  VOID
);

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

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

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

EFI_STATUS
EFIAPI
char n3; // [rsp+20h] [rbp-18h](
  VOID
);

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

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

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

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

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

EFI_STATUS
EFIAPI
char *v3; // [rsp+30h] [rbp-18h](
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int8 *n4_2; // rdx(
  VOID
);

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

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

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

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

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

EFI_STATUS
EFIAPI
unsigned __int8 i; // [rsp+30h] [rbp-118h](
  VOID
);

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

EFI_STATUS
EFIAPI
unsigned int n8; // esi(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int8 n3; // si(
  VOID
);

EFI_STATUS
EFIAPI
char v5; // al(
  VOID
);

EFI_STATUS
EFIAPI
if ( n0x2000000 >= 0x2000000 ) /*0x132c3*/(
  VOID
);

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

EFI_STATUS
EFIAPI
unsigned __int8 *v13; // rbx(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int8 v15; // si(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int8 *v17; // rbx(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int8 *v19; // [rsp+40h] [rbp+8h] BYREF(
  VOID
);

EFI_STATUS
EFIAPI
__int64 *buf_1; // r12(
  VOID
);

EFI_STATUS
EFIAPI
char buf_2; // r14(
  VOID
);

EFI_STATUS
EFIAPI
char v9; // bl(
  VOID
);

EFI_STATUS
EFIAPI
unsigned int v11; // eax(
  VOID
);

EFI_STATUS
EFIAPI
unsigned int v13; // edi(
  VOID
);

EFI_STATUS
EFIAPI
int v15; // eax(
  VOID
);

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

EFI_STATUS
EFIAPI
unsigned __int64 v20; // rsi(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int8 v22; // [rsp+60h] [rbp+8h](
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int8 v3; // r12(
  VOID
);

EFI_STATUS
EFIAPI
char v6; // r13(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int64 v8; // rsi(
  VOID
);

EFI_STATUS
EFIAPI
char v10; // r13(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int8 v14; // r14(
  VOID
);

EFI_STATUS
EFIAPI
unsigned int v16; // esi(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int64 v18; // rdi(
  VOID
);

EFI_STATUS
EFIAPI
int v22; // eax(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int8 v24; // bl(
  VOID
);

EFI_STATUS
EFIAPI
char v26; // di(
  VOID
);

EFI_STATUS
EFIAPI
unsigned int v28; // eax(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int64 v30; // r14(
  VOID
);

EFI_STATUS
EFIAPI
bool v32; // zf(
  VOID
);

EFI_STATUS
EFIAPI
char *buf_1; // r13(
  VOID
);

EFI_STATUS
EFIAPI
char v5; // r14(
  VOID
);

EFI_STATUS
EFIAPI
char v7; // si(
  VOID
);

EFI_STATUS
EFIAPI
unsigned int v19; // edi(
  VOID
);

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

EFI_STATUS
EFIAPI
unsigned __int8 v25; // r12(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int8 v27; // di(
  VOID
);

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

EFI_STATUS
EFIAPI
unsigned __int64 v31; // rax(
  VOID
);

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

EFI_STATUS
EFIAPI
unsigned __int8 v4; // bp(
  VOID
);

EFI_STATUS
EFIAPI
char v6; // al(
  VOID
);

EFI_STATUS
EFIAPI
char v8; // r12(
  VOID
);

EFI_STATUS
EFIAPI
unsigned int v12; // eax(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int64 v14; // r13(
  VOID
);

EFI_STATUS
EFIAPI
char v16; // si(
  VOID
);

EFI_STATUS
EFIAPI
char v24; // si(
  VOID
);

EFI_STATUS
EFIAPI
char v26; // al(
  VOID
);

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

EFI_STATUS
EFIAPI
unsigned int v32; // eax(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int64 v34; // rcx(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int64 v36; // rbp(
  VOID
);

EFI_STATUS
EFIAPI
bool v39; // cf(
  VOID
);

EFI_STATUS
EFIAPI
char v5; // r10(
  VOID
);

EFI_STATUS
EFIAPI
int v8; // edx(
  VOID
);

EFI_STATUS
EFIAPI
int v10; // edx(
  VOID
);

EFI_STATUS
EFIAPI
int v12; // edx(
  VOID
);

EFI_STATUS
EFIAPI
char v6; // di(
  VOID
);

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

EFI_STATUS
EFIAPI
char v11; // dl(
  VOID
);

EFI_STATUS
EFIAPI
unsigned int v7; // eax(
  VOID
);

EFI_STATUS
EFIAPI
v6 = a2; /*0x14569*/(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int64 n4_1; // r12(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int64 n4_9; // rdx(
  VOID
);

EFI_STATUS
EFIAPI
int v7; // eax(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int8 v9; // r13(
  VOID
);

EFI_STATUS
EFIAPI
unsigned int v11; // ebx(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int64 v13; // rdi(
  VOID
);

EFI_STATUS
EFIAPI
unsigned int v15; // r8d(
  VOID
);

EFI_STATUS
EFIAPI
char v17; // di(
  VOID
);

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

EFI_STATUS
EFIAPI
char v21; // al(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int8 n4_3; // di(
  VOID
);

EFI_STATUS
EFIAPI
int v25; // eax(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int8 n6; // bl(
  VOID
);

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

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

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

EFI_STATUS
EFIAPI
unsigned int v42; // eax(
  VOID
);

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

EFI_STATUS
EFIAPI
char *buf_1; // r14(
  VOID
);

EFI_STATUS
EFIAPI
unsigned int v5; // eax(
  VOID
);

EFI_STATUS
EFIAPI
unsigned int v7; // edi(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int64 n6; // rdx(
  VOID
);

EFI_STATUS
EFIAPI
char v18; // r12(
  VOID
);

EFI_STATUS
EFIAPI
int v20; // edi(
  VOID
);

EFI_STATUS
EFIAPI
int v22; // esi(
  VOID
);

EFI_STATUS
EFIAPI
int v24; // esi(
  VOID
);

EFI_STATUS
EFIAPI
int v26; // esi(
  VOID
);

EFI_STATUS
EFIAPI
int v28; // edi(
  VOID
);

EFI_STATUS
EFIAPI
int v30; // esi(
  VOID
);

EFI_STATUS
EFIAPI
unsigned int v32; // esi(
  VOID
);

EFI_STATUS
EFIAPI
unsigned int v34; // ebx(
  VOID
);

EFI_STATUS
EFIAPI
char v36; // dl(
  VOID
);

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

EFI_STATUS
EFIAPI
unsigned __int64 v6; // rbp(
  VOID
);

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

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

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

EFI_STATUS
EFIAPI
v2 = LocateProtocol(); /*0x150f9*/(
  VOID
);

EFI_STATUS
EFIAPI
v2 = LocateProtocol(); /*0x15115*/(
  VOID
);

EFI_STATUS
EFIAPI
if ( n0x40_1 >= 0x40 ) /*0x15144*/(
  VOID
);

EFI_STATUS
EFIAPI
n0x40_1 = n0x40; /*0x151da*/(
  VOID
);

EFI_STATUS
EFIAPI
Count_1 = Count; /*0x1521a*/(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int64 n0x10; // rbx(
  VOID
);

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

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

EFI_STATUS
EFIAPI
char n3; // dl(
  VOID
);

EFI_STATUS
EFIAPI
DebugLib = DebugLibGetDebugLib(); /*0x15408*/(
  VOID
);

EFI_STATUS
EFIAPI
if ( qword_1A350 ) /*0x15454*/(
  VOID
);

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

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

EFI_STATUS
EFIAPI
i_1 = i; /*0x155be*/(
  VOID
);

EFI_STATUS
EFIAPI
_WORD *v5; // rbx(
  VOID
);

EFI_STATUS
EFIAPI
result = (*(__int64 (__fastcall **)(_QWORD, __int64 *))(RuntimeServices + 64))(0, &RuntimeServices_1); /*0x15668*/(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int64 v1; // rbx(
  VOID
);

EFI_STATUS
EFIAPI
result = qword_1A378; /*0x15682*/(
  VOID
);

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

EFI_STATUS
EFIAPI
if ( (n1024064 & 0xFFFFFFFFF0000000uLL) != 0 ) /*0x156f8*/(
  VOID
);

EFI_STATUS
EFIAPI
int n0x400000; // edi(
  VOID
);

EFI_STATUS
EFIAPI
result = (*(__int64 (__fastcall **)(__int64))(BootServices + 72))(qword_1A378); /*0x15832*/(
  VOID
);

#endif /* __JEDECNVDIMM_H__ */