Fork: 0
ajax / AMI-Aptio-BIOS-Reversed
Transfer to URL with SHA Find file
Newer
Older
AMI-Aptio-BIOS-Reversed / CrystalRidge / CrystalRidge.h
@Ajax Dong Ajax Dong 2 days ago 35 KB Init
Raw Blame History 
/** @file
  CrystalRidge.h -- Header for CrystalRidge

Copyright (c) HR650X BIOS Decompilation Project
**/

#ifndef __CRYSTALRIDGE_H__
#define __CRYSTALRIDGE_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
decompiled code size: 591653 bytes(
  VOID
);

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

EFI_STATUS
EFIAPI
char *src_1; // rsi(
  VOID
);

EFI_STATUS
EFIAPI
do /*0x10ab*/(
  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
__int64 v18; // rdi(
  VOID
);

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

EFI_STATUS
EFIAPI
__int64 v22; // rax(
  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
__int64 v5; // rcx(
  VOID
);

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

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

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

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

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

EFI_STATUS
EFIAPI
__int64 v1; // rdx(
  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
int v9; // eax(
  VOID
);

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

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

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

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

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

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

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

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

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

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

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

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

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

EFI_STATUS
EFIAPI
int v1; // r8d(
  VOID
);

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

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

EFI_STATUS
EFIAPI
int v5; // r8d(
  VOID
);

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

EFI_STATUS
EFIAPI
unsigned __int64 *v9; // [rsp+20h] [rbp-18h](
  VOID
);

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

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

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

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

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

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

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

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

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

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

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

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

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

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

EFI_STATUS
EFIAPI
__int64 _RCX; // [rsp+20h] [rbp-118h](
  VOID
);

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

EFI_STATUS
EFIAPI
__int64 v9; // [rsp+20h] [rbp-88h](
  VOID
);

EFI_STATUS
EFIAPI
__int64 v3; // [rsp+40h] [rbp-28h](
  VOID
);

EFI_STATUS
EFIAPI
int v1; // [rsp+30h] [rbp-18h] BYREF(
  VOID
);

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

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

EFI_STATUS
EFIAPI
__int64 v10; // [rsp+30h] [rbp-1B8h](
  VOID
);

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

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

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

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

EFI_STATUS
EFIAPI
unsigned int buf__1; // ecx(
  VOID
);

EFI_STATUS
EFIAPI
__int64 v11; // [rsp+20h] [rbp-D8h](
  VOID
);

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

EFI_STATUS
EFIAPI
unsigned __int8 v8; // cl(
  VOID
);

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

EFI_STATUS
EFIAPI
bool v16; // r10(
  VOID
);

EFI_STATUS
EFIAPI
_DWORD v6[34]; // [rsp+50h] [rbp-88h] BYREF(
  VOID
);

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

EFI_STATUS
EFIAPI
int v6; // edx(
  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
int v14; // edx(
  VOID
);

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

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

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

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

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

EFI_STATUS
EFIAPI
__int64 v16; // [rsp+20h] [rbp-28h](
  VOID
);

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

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

EFI_STATUS
EFIAPI
unsigned int *v6; // rax(
  VOID
);

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

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

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

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

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

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

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

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

EFI_STATUS
EFIAPI
buf = buf; /*0xc998*/(
  VOID
);

EFI_STATUS
EFIAPI
char *src; // [rsp+50h] [rbp+8h] BYREF(
  VOID
);

EFI_STATUS
EFIAPI
char *src_1; // rbx(
  VOID
);

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

EFI_STATUS
EFIAPI
unsigned __int8 v7; // dl(
  VOID
);

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

EFI_STATUS
EFIAPI
int v11; // r8d(
  VOID
);

EFI_STATUS
EFIAPI
char buf_1[1536]; // [rsp+30h] [rbp-608h] BYREF(
  VOID
);

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

EFI_STATUS
EFIAPI
unsigned __int64 v5; // r9(
  VOID
);

EFI_STATUS
EFIAPI
__int64 v8; // [rsp+30h] [rbp+8h] BYREF(
  VOID
);

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

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

EFI_STATUS
EFIAPI
signed __int64 v4; // rsi(
  VOID
);

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

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

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

EFI_STATUS
EFIAPI
int v12; // [rsp+30h] [rbp-28h] BYREF(
  VOID
);

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

EFI_STATUS
EFIAPI
__int64 n0x80; // [rsp+20h] [rbp-58h](
  VOID
);

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

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

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

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

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

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

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

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

EFI_STATUS
EFIAPI
__int16 n9_2; // cx(
  VOID
);

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

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

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

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

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

EFI_STATUS
EFIAPI
__int16 n9_3; // si(
  VOID
);

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

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

EFI_STATUS
EFIAPI
int *p_n255; // rcx(
  VOID
);

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

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

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

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

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

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

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

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

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

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

EFI_STATUS
EFIAPI
signed __int64 v8; // r9(
  VOID
);

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

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

EFI_STATUS
EFIAPI
unsigned int i; // ecx(
  VOID
);

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

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

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

EFI_STATUS
EFIAPI
unsigned __int64 n0xC; // r8(
  VOID
);

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

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

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

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

EFI_STATUS
EFIAPI
unsigned __int8 v5; // r15(
  VOID
);

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

EFI_STATUS
EFIAPI
unsigned __int8 n2; // r8(
  VOID
);

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

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

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

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

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

EFI_STATUS
EFIAPI
__int64 n0x80; // [rsp+20h] [rbp-B8h](
  VOID
);

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

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

EFI_STATUS
EFIAPI
signed __int64 v14; // rdi(
  VOID
);

EFI_STATUS
EFIAPI
__int64 n0x80; // [rsp+20h] [rbp-D8h](
  VOID
);

EFI_STATUS
EFIAPI
int v6; // r11d(
  VOID
);

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

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

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

EFI_STATUS
EFIAPI
if ( *(_WORD *)a4 == 9 )(
  VOID
);

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

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

EFI_STATUS
EFIAPI
int v14; // r8d(
  VOID
);

EFI_STATUS
EFIAPI
char buf_1[32]; // [rsp+50h] [rbp-48h] BYREF(
  VOID
);

EFI_STATUS
EFIAPI
if ( *(_WORD *)a4 == 259 )(
  VOID
);

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

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

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

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

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

EFI_STATUS
EFIAPI
n8 = *(_DWORD *)(buf + 48); /*0xf54d*/(
  VOID
);

EFI_STATUS
EFIAPI
unsigned int n12; // ecx(
  VOID
);

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

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

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

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

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

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

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

EFI_STATUS
EFIAPI
int n9; // r14d(
  VOID
);

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

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

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

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

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

EFI_STATUS
EFIAPI
_QWORD *v26; // rsi(
  VOID
);

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

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

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

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

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

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

EFI_STATUS
EFIAPI
int n0x80[2]; // [rsp+20h] [rbp-E0h](
  VOID
);

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

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

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

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

EFI_STATUS
EFIAPI
int v9; // r8d(
  VOID
);

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

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

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

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

EFI_STATUS
EFIAPI
int v19; // r8d(
  VOID
);

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

EFI_STATUS
EFIAPI
__int64 v19; // [rsp+20h] [rbp-78h](
  VOID
);

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

EFI_STATUS
EFIAPI
char *src; // rax(
  VOID
);

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

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

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

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

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

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

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

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

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

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

EFI_STATUS
EFIAPI
int v34; // r8d(
  VOID
);

EFI_STATUS
EFIAPI
char *v8; // [rsp+50h] [rbp-98h](
  VOID
);

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

EFI_STATUS
EFIAPI
if ( (unsigned __int8)sub_2BAEC() && (unsigned __int8)sub_2BAF0(64) )(
  VOID
);

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

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

EFI_STATUS
EFIAPI
unsigned __int16 n48_1; // [rsp+40h] [rbp-88h](
  VOID
);

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

EFI_STATUS
EFIAPI
unsigned int n1024; // [rsp+40h] [rbp-428h](
  VOID
);

EFI_STATUS
EFIAPI
__int64 v7; // [rsp+30h] [rbp-28h](
  VOID
);

EFI_STATUS
EFIAPI
int v6; // r8d(
  VOID
);

EFI_STATUS
EFIAPI
__int64 v9; // [rsp+20h] [rbp-48h](
  VOID
);

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

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

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

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

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

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

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

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

EFI_STATUS
EFIAPI
char buf_; // [rsp+50h] [rbp-A8h] BYREF(
  VOID
);

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

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

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

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

EFI_STATUS
EFIAPI
unsigned int i; // [rsp+50h] [rbp-B8h](
  VOID
);

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

EFI_STATUS
EFIAPI
__int64 v11; // [rsp+58h] [rbp-90h](
  VOID
);

EFI_STATUS
EFIAPI
char buf[24]; // [rsp+50h] [rbp-18h] BYREF(
  VOID
);

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

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

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

EFI_STATUS
EFIAPI
_DWORD v5[34]; // [rsp+60h] [rbp-88h] BYREF(
  VOID
);

EFI_STATUS
EFIAPI
unsigned int count; // [rsp+50h] [rbp-B8h] BYREF(
  VOID
);

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

EFI_STATUS
EFIAPI
__int64 v14; // [rsp+50h] [rbp-A8h](
  VOID
);

EFI_STATUS
EFIAPI
unsigned int n67453088; // [rsp+30h] [rbp-18h](
  VOID
);

EFI_STATUS
EFIAPI
unsigned int v10; // [rsp+30h] [rbp-28h](
  VOID
);

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

EFI_STATUS
EFIAPI
if ( (unsigned __int8)sub_2BAEC(a1) && (unsigned __int8)sub_2BAF0(0x80000000LL) )(
  VOID
);

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

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

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

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

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

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

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

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

EFI_STATUS
EFIAPI
unsigned __int64 src_3; // r15(
  VOID
);

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

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

EFI_STATUS
EFIAPI
char *src_4; // [rsp+90h] [rbp+8h](
  VOID
);

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

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

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

EFI_STATUS
EFIAPI
if ( n0x10 >= 0x10u ) /*0x1b277*/(
  VOID
);

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

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

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

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

EFI_STATUS
EFIAPI
_QWORD *v20; // r14(
  VOID
);

EFI_STATUS
EFIAPI
char *v22; // rsi(
  VOID
);

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

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

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

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

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

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

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

EFI_STATUS
EFIAPI
unsigned __int8 *v38; // [rsp+20h] [rbp-48h](
  VOID
);

EFI_STATUS
EFIAPI
if ( *(_BYTE *)a1 != 14 ) /*0x1b7f8*/(
  VOID
);

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

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

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

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

EFI_STATUS
EFIAPI
__int128 *v12; // rbx(
  VOID
);

EFI_STATUS
EFIAPI
__int128 *v14; // rax(
  VOID
);

EFI_STATUS
EFIAPI
__int128 v16; // xmm2(
  VOID
);

EFI_STATUS
EFIAPI
const char *[CR]_(ARS)_ERROR:_ArsStart:_no_interleave_sets_found_in_given_S; // rdx(
  VOID
);

EFI_STATUS
EFIAPI
_QWORD *v13; // r8(
  VOID
);

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

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

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

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

EFI_STATUS
EFIAPI
v1 = 0; /*0x1be00*/(
  VOID
);

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

EFI_STATUS
EFIAPI
char *v11; // rbx(
  VOID
);

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

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

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

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

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

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

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

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

EFI_STATUS
EFIAPI
const char *__scrubbable_region_not_found; // r8(
  VOID
);

EFI_STATUS
EFIAPI
if ( (_BYTE)word_3A708 || !HIBYTE(word_3A708) ) /*0x1c538*/(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int16 n0xAA8_2; // dx(
  VOID
);

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

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

EFI_STATUS
EFIAPI
n0xAA8 = n0xAA8; /*0x1c6e3*/(
  VOID
);

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

EFI_STATUS
EFIAPI
if ( buf_ <= buf__1 )(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int16 i; // di(
  VOID
);

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

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

EFI_STATUS
EFIAPI
unsigned __int16 n0xAA8_1; // bx(
  VOID
);

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

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

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

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

EFI_STATUS
EFIAPI
int n4_1; // r8d(
  VOID
);

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

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

EFI_STATUS
EFIAPI
unsigned __int64 v15; // [rsp+30h] [rbp-48h](
  VOID
);

EFI_STATUS
EFIAPI
if ( count_1 == count ) /*0x1ce6c*/(
  VOID
);

EFI_STATUS
EFIAPI
_BYTE v9[24]; // [rsp+30h] [rbp-18h] BYREF(
  VOID
);

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

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

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

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

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

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

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

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

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

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

EFI_STATUS
EFIAPI
char n4; // [rsp+30h] [rbp+8h] BYREF(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int8 i_1; // cl(
  VOID
);

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

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

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

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

EFI_STATUS
EFIAPI
if ( a1 ) /*0x1d96c*/(
  VOID
);

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

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

EFI_STATUS
EFIAPI
__int64 *v9; // rsi(
  VOID
);

EFI_STATUS
EFIAPI
_DWORD *v11; // rdi(
  VOID
);

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

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

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

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

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

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

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

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

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

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

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

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

EFI_STATUS
EFIAPI
char *src_1; // r8(
  VOID
);

EFI_STATUS
EFIAPI
_DWORD **v37; // r9(
  VOID
);

EFI_STATUS
EFIAPI
int v39; // r15d(
  VOID
);

EFI_STATUS
EFIAPI
__int64 v41... [11534 chars total](
  VOID
);

EFI_STATUS
EFIAPI
const char *Mailbox_Failure:_Timeout_Occured; // rax(
  VOID
);

EFI_STATUS
EFIAPI
const char *Mailbox:_No_Long_Operation_Started_Yet; // rax(
  VOID
);

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

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

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

EFI_STATUS
EFIAPI
void *n4_1; // rcx(
  VOID
);

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

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

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

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

EFI_STATUS
EFIAPI
__int64 n0x80; // [rsp+20h] [rbp-C8h](
  VOID
);

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

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

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

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

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

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

EFI_STATUS
EFIAPI
__int64 buf; // [rsp+38h] [rbp-20h](
  VOID
);

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

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

EFI_STATUS
EFIAPI
void *n4; // rcx(
  VOID
);

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

EFI_STATUS
EFIAPI
void *n0xFFFF; // r8(
  VOID
);

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

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

EFI_STATUS
EFIAPI
if ( a3 && (unsigned __int8)n4 < 4u && n0x18 < 0x18u ) /*0x223fb*/(
  VOID
);

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

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

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

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

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

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

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

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

EFI_STATUS
EFIAPI
__int64 buf; // [rsp+28h] [rbp-20h](
  VOID
);

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

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

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

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

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

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

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

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

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

EFI_STATUS
EFIAPI
__int64 src[3]; // [rsp+20h] [rbp-18h] BYREF(
  VOID
);

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

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

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

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

EFI_STATUS
EFIAPI
v2 = sub_264FC(); /*0x26534*/(
  VOID
);

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

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

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

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

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

EFI_STATUS
EFIAPI
__int16 v6; // cx(
  VOID
);

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

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

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

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

EFI_STATUS
EFIAPI
char v22; // [rsp+70h] [rbp+18h](
  VOID
);

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

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

EFI_STATUS
EFIAPI
int v15; // [rsp+20h] [rbp-28h] BYREF(
  VOID
);

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

EFI_STATUS
EFIAPI
unsigned __int8 v15[16]; // [rsp+20h] [rbp-20h] BYREF(
  VOID
);

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

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

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

EFI_STATUS
EFIAPI
unsigned int v10; // r14d(
  VOID
);

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

EFI_STATUS
EFIAPI
__int16 v14; // di(
  VOID
);

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

EFI_STATUS
EFIAPI
int v25; // [rsp+78h] [rbp+48h] BYREF(
  VOID
);

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

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

EFI_STATUS
EFIAPI
int v19; // [rsp+30h] [rbp-28h] BYREF(
  VOID
);

EFI_STATUS
EFIAPI
int v9; // ebp(
  VOID
);

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

EFI_STATUS
EFIAPI
int n0x41_4; // r8d(
  VOID
);

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

EFI_STATUS
EFIAPI
int v23; // r8d(
  VOID
);

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

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

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

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

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

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

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

EFI_STATUS
EFIAPI
int n0x41_2; // r8d(
  VOID
);

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

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

EFI_STATUS
EFIAPI
int *p_n255_1; // rcx(
  VOID
);

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

EFI_STATUS
EFIAPI
char buf_1[16]; // [rsp+50h] [rbp-B8h] BYREF(
  VOID
);

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

EFI_STATUS
EFIAPI
char *v5; // r12(
  VOID
);

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

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

EFI_STATUS
EFIAPI
n2_1 = n2; /*0x27955*/(
  VOID
);

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

EFI_STATUS
EFIAPI
__int16 v15; // dx(
  VOID
);

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

EFI_STATUS
EFIAPI
char buf_1[128]; // [rsp+40h] [rbp-98h] BYREF(
  VOID
);

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

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

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

EFI_STATUS
EFIAPI
v3 = 0; /*0x27d18*/(
  VOID
);

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

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

EFI_STATUS
EFIAPI
unsigned __int8 n5; // cl(
  VOID
);

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

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

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

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

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

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

EFI_STATUS
EFIAPI
const char *___non_PMEM_n; // rdx(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int64 v19; // [rsp+30h] [rbp-48h] BYREF(
  VOID
);

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

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

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

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

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

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

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

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

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

EFI_STATUS
EFIAPI
unsigned __int8 v7; // r8(
  VOID
);

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

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

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

EFI_STATUS
EFIAPI
signed __int64 v11; // rbp(
  VOID
);

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

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

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

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

EFI_STATUS
EFIAPI
unsigned __int16 v5; // [rsp+30h] [rbp+8h](
  VOID
);

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

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

EFI_STATUS
EFIAPI
char *v11; // rax(
  VOID
);

EFI_STATUS
EFIAPI
__int64 v13; // [rsp+20h] [rbp-58h](
  VOID
);

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

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

EFI_STATUS
EFIAPI
const __int16 *False; // r8(
  VOID
);

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

EFI_STATUS
EFIAPI
const __int16 *False_2; // r8(
  VOID
);

EFI_STATUS
EFIAPI
const __int16 *False_4; // r8(
  VOID
);

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

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

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

EFI_STATUS
EFIAPI
unsigned __int16 n2; // si(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int16 n32_1; // di(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int16 v10; // dx(
  VOID
);

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

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

EFI_STATUS
EFIAPI
_QWORD *v5; // r8(
  VOID
);

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

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

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

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

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

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

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

EFI_STATUS
EFIAPI
unsigned __int8 v10; // cl(
  VOID
);

EFI_STATUS
EFIAPI
_QWORD *v12; // [rsp+20h] [rbp-69h](
  VOID
);

EFI_STATUS
EFIAPI
if ( a1 ) /*0x29afb*/(
  VOID
);

EFI_STATUS
EFIAPI
const char *_(BLK); // rdx(
  VOID
);

EFI_STATUS
EFIAPI
if ( buf )(
  VOID
);

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

EFI_STATUS
EFIAPI
buf_1 = (void *)buf; /*0x2a580*/(
  VOID
);

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

EFI_STATUS
EFIAPI
v2 = sub_2A774(); /*0x2a809*/(
  VOID
);

EFI_STATUS
EFIAPI
v2 = sub_2A774(); /*0x2a825*/(
  VOID
);

EFI_STATUS
EFIAPI
v2 = sub_2A774(); /*0x2a841*/(
  VOID
);

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

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

EFI_STATUS
EFIAPI
for ( i = 0; i < i_1; ++i ) /*0x2aa86*/(
  VOID
);

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

EFI_STATUS
EFIAPI
*a1 = 0; /*0x2aacb*/(
  VOID
);

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

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

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

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

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

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

EFI_STATUS
EFIAPI
const char *Mailbox_Failure:_Unknown_status_%d_3; // rdx(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int64 v22; // r9(
  VOID
);

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

EFI_STATUS
EFIAPI
va_list va_1; // r10(
  VOID
);

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

EFI_STATUS
EFIAPI
unsigned __int16 *v30; // rax(
  VOID
);

EFI_STATUS
EFIAPI
const char *Mailbox_Failure:_Unknown_... [32404 chars total](
  VOID
);

EFI_STATUS
EFIAPI
result = (*(__int64 (__fastcall **)(__int64))(qword_3A2F8 + 72))(qword_3A360); /*0x2b96a*/(
  VOID
);

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

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

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

EFI_STATUS
EFIAPI
result = sub_2B9A4(); /*0x2bac4*/(
  VOID
);

EFI_STATUS
EFIAPI
if ( qword_3A338 ) /*0x2bb10*/(
  VOID
);

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

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

EFI_STATUS
EFIAPI
v2 = a2; /*0x2bcaa*/(
  VOID
);

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

EFI_STATUS
EFIAPI
result = (*(__int64 (__fastcall **)(_QWORD, __int64 *))(qword_3A308 + 64))(0, &qword_5E2D8); /*0x2bd58*/(
  VOID
);

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

EFI_STATUS
EFIAPI
result = qword_3A360; /*0x2bd72*/(
  VOID
);

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

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

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

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

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

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

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

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

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

EFI_STATUS
EFIAPI
unsigned __int64 v15; // [rsp+38h] [rbp+10h] BYREF(
  VOID
);

EFI_STATUS
EFIAPI
*p_i = sub_2A800(42); /*0x2c096*/(
  VOID
);

EFI_STATUS
EFIAPI
if ( ((unsigned __int8)Mailbox_Failure:_Unknown_status_%d & 1) != 0 ) /*0x2c210*/(
  VOID
);

EFI_STATUS
EFIAPI
n0xF4240 = 0; /*0x2c25c*/(
  VOID
);

#endif /* __CRYSTALRIDGE_H__ */