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

Copyright (c) HR650X BIOS Decompilation Project
**/

#ifndef __CPUCSRACCESS_H__
#define __CPUCSRACCESS_H__

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

//
// Function Prototypes
//

EFI_STATUS
EFIAPI
ModuleEntryPoint(
  VOID
);

EFI_STATUS
EFIAPI
nullsub_1(
  VOID
);

EFI_STATUS
EFIAPI
declarations(
  VOID
);

EFI_STATUS
EFIAPI
Entry Point(
  VOID
);

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

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

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

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

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

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

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

EFI_STATUS
EFIAPI
unsigned __int32 v18; // edi(
  VOID
);

EFI_STATUS
EFIAPI
qword_60D0 = a1; /*0x1195*/(
  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
v4 = a3; /*0x17b4*/(
  VOID
);

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

EFI_STATUS
EFIAPI
v3 = (unsigned int)a3; /*0x1975*/(
  VOID
);

EFI_STATUS
EFIAPI
v4 = (unsigned int)a3; /*0x19b2*/(
  VOID
);

EFI_STATUS
EFIAPI
v3 = (unsigned int)a3; /*0x19e5*/(
  VOID
);

EFI_STATUS
EFIAPI
v2 = (unsigned int)a2; /*0x1a10*/(
  VOID
);

EFI_STATUS
EFIAPI
v2 = (unsigned int)a2; /*0x1a68*/(
  VOID
);

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

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

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

EFI_STATUS
EFIAPI
n500 = 500; /*0x29a0*/(
  VOID
);

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

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

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

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

EFI_STATUS
EFIAPI
result = sub_3998(); /*0x3ab8*/(
  VOID
);

EFI_STATUS
EFIAPI
if ( qword_6100 ) /*0x3b04*/(
  VOID
);

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

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

EFI_STATUS
EFIAPI
result = (*(__int64 (__fastcall **)(_QWORD, __int64 *))(qword_60D8 + 64))(0, &qword_6178); /*0x3c80*/(
  VOID
);

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

EFI_STATUS
EFIAPI
result = qword_6120; /*0x3c9a*/(
  VOID
);

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

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

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

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

EFI_STATUS
EFIAPI
result = (*(__int64 (__fastcall **)(__int64))(qword_60C8 + 72))(qword_6120); /*0x3fa2*/(
  VOID
);

#endif /* __CPUCSRACCESS_H__ */