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

Copyright (c) HR650X BIOS Decompilation Project
**/

#ifndef __MTFTP4DXE_H__
#define __MTFTP4DXE_H__

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

//
// Function Prototypes
//

EFI_STATUS
EFIAPI
ModuleEntryPoint(
  VOID
);

EFI_STATUS
EFIAPI
at 0x2C0(
  VOID
);

EFI_STATUS
EFIAPI
*__fastcall sub_2C0(char *dst, char *src, unsigned __int64 count)(
  VOID
);

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

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

EFI_STATUS
EFIAPI
at 0x310(
  VOID
);

EFI_STATUS
EFIAPI
*__fastcall sub_310(char *buf, unsigned __int64 a2)(
  VOID
);

EFI_STATUS
EFIAPI
at 0x330(
  VOID
);

EFI_STATUS
EFIAPI
__int64 __fastcall sub_330(_BYTE *a1, _BYTE *a2, __int64 n4)(
  VOID
);

EFI_STATUS
EFIAPI
do /*0x33b*/(
  VOID
);

EFI_STATUS
EFIAPI
at 0x3A4(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_3A4(__int64 a1)(
  VOID
);

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

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

EFI_STATUS
EFIAPI
at 0x528(
  VOID
);

EFI_STATUS
EFIAPI
ModuleEntryPoint(EFI_HANDLE ImageHandle, EFI_SYSTEM_TABLE *SystemTable)(
  VOID
);

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

EFI_STATUS
EFIAPI
at 0x5B0(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_5B0(__int64 ImageHandle, EFI_SYSTEM_TABLE *SystemTable)(
  VOID
);

EFI_STATUS
EFIAPI
ImageHandle_1 = ImageHandle; /*0x5b6*/(
  VOID
);

EFI_STATUS
EFIAPI
at 0x6A4(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_6A4(__int64 ImageHandle, EFI_SYSTEM_TABLE *SystemTable)(
  VOID
);

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

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

EFI_STATUS
EFIAPI
at 0x7A4(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_7A4(__int64 a1, __int64 a2)(
  VOID
);

EFI_STATUS
EFIAPI
at 0x7DC(
  VOID
);

EFI_STATUS
EFIAPI
at 0x7E0(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_7E0(__int64 a1, __int64 a2, _QWORD *a3)(
  VOID
);

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

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

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

EFI_STATUS
EFIAPI
at 0x930(
  VOID
);

EFI_STATUS
EFIAPI
__int64 __fastcall sub_930(__int64 a1, __int64 a2)(
  VOID
);

EFI_STATUS
EFIAPI
_QWORD *v4; // rbx(
  VOID
);

EFI_STATUS
EFIAPI
_QWORD *v6; // [rsp+40h] [rbp+8h] BYREF(
  VOID
);

EFI_STATUS
EFIAPI
at 0xA4C(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_A4C(_QWORD *i, _QWORD *a2)(
  VOID
);

EFI_STATUS
EFIAPI
_QWORD *i_1; // rdi(
  VOID
);

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

EFI_STATUS
EFIAPI
at 0xAE8(
  VOID
);

EFI_STATUS
EFIAPI
__int64 __fastcall sub_AE8(__int64 a1, __int64 a2, __int64 a3, __int64 a4)(
  VOID
);

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

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

EFI_STATUS
EFIAPI
at 0xCC8(
  VOID
);

EFI_STATUS
EFIAPI
__int64 __fastcall sub_CC8(__int64 a1, __int64 *a2)(
  VOID
);

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

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

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

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

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

EFI_STATUS
EFIAPI
at 0xF28(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_F28(__int64 a1, __int64 a2)(
  VOID
);

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

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

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

EFI_STATUS
EFIAPI
at 0x111C(
  VOID
);

EFI_STATUS
EFIAPI
__int64 __fastcall sub_111C(__int64 (__fastcall **a1)(), _BYTE *a2, _QWORD *a3)(
  VOID
);

EFI_STATUS
EFIAPI
at 0x1150(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_1150(__int64 (__fastcall **a1)(_QWORD, _BYTE *))(
  VOID
);

EFI_STATUS
EFIAPI
_BYTE v2[20]; // [rsp+40h] [rbp-E8h] BYREF(
  VOID
);

EFI_STATUS
EFIAPI
at 0x1220(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_1220(__int64 (__fastcall **a1)(), __int64 a2, __int64 a3, _BYTE *a4)(
  VOID
);

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

EFI_STATUS
EFIAPI
at 0x1348(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_1348(__int64 a1, __int64 a2)(
  VOID
);

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

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

EFI_STATUS
EFIAPI
_QWORD *v8; // rdi(
  VOID
);

EFI_STATUS
EFIAPI
at 0x151C(
  VOID
);

EFI_STATUS
EFIAPI
__int64 __fastcall sub_151C(__int64 a1, __int64 a2, unsigned __int16 a3, _WORD *a4)(
  VOID
);

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

EFI_STATUS
EFIAPI
v5 = *(__int64 ***)(a2 + 72); /*0x1537*/(
  VOID
);

EFI_STATUS
EFIAPI
at 0x1604(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_1604(__int64 a1, __int64 a2)(
  VOID
);

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

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

EFI_STATUS
EFIAPI
at 0x1728(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_1728(__int64 a1, __int64 a2, __int64 a3)(
  VOID
);

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

EFI_STATUS
EFIAPI
at 0x1800(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_1800(__int64 a1, __int64 a2)(
  VOID
);

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

EFI_STATUS
EFIAPI
at 0x1944(
  VOID
);

EFI_STATUS
EFIAPI
__int64 __fastcall sub_1944(__int64 a1, __int64 a2, __int16 n7)(
  VOID
);

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

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

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

EFI_STATUS
EFIAPI
int *v14; // r13(
  VOID
);

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

EFI_STATUS
EFIAPI
__int64 (__fastcall *sub_3D3C_1)(); // rdx(
  VOID
);

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

EFI_STATUS
EFIAPI
at 0x1D50(
  VOID
);

EFI_STATUS
EFIAPI
__int64 __fastcall sub_1D50(__int64 a1, __int64 a2)(
  VOID
);

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

EFI_STATUS
EFIAPI
v3 = a1; /*0x1d62*/(
  VOID
);

EFI_STATUS
EFIAPI
at 0x1E00(
  VOID
);

EFI_STATUS
EFIAPI
__int64 __fastcall sub_1E00(__int64 a1, _BYTE *a2)(
  VOID
);

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

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

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

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

EFI_STATUS
EFIAPI
at 0x2048(
  VOID
);

EFI_STATUS
EFIAPI
__int64 __fastcall sub_2048(__int64 a1, __int64 n2, _WORD *a3, _DWORD *a4, __int64 *a5)(
  VOID
);

EFI_STATUS
EFIAPI
if ( !a1 || (unsigned int)n2 < 2 || !a3 || !a4 ) /*0x2066*/(
  VOID
);

EFI_STATUS
EFIAPI
at 0x20A8(
  VOID
);

EFI_STATUS
EFIAPI
__int64 __fastcall sub_20A8(__int64 a1, __int64 a2)(
  VOID
);

EFI_STATUS
EFIAPI
at 0x20B4(
  VOID
);

EFI_STATUS
EFIAPI
__int64 __fastcall sub_20B4(__int64 a1, __int64 a2)(
  VOID
);

EFI_STATUS
EFIAPI
at 0x20C0(
  VOID
);

EFI_STATUS
EFIAPI
__int64 __fastcall sub_20C0(__int64 a1, __int64 a2)(
  VOID
);

EFI_STATUS
EFIAPI
at 0x20CC(
  VOID
);

EFI_STATUS
EFIAPI
__int64 __fastcall sub_20CC((
  VOID
);

EFI_STATUS
EFIAPI
_QWORD v9[2]; // [rsp+20h] [rbp-59h] BYREF(
  VOID
);

EFI_STATUS
EFIAPI
at 0x21C0(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_21C0(__int64 a1)(
  VOID
);

EFI_STATUS
EFIAPI
v1 = a1; /*0x21c6*/(
  VOID
);

EFI_STATUS
EFIAPI
at 0x2250(
  VOID
);

EFI_STATUS
EFIAPI
*__fastcall sub_2250(unsigned __int16 a1, unsigned __int16 n0xFFFF)(
  VOID
);

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

EFI_STATUS
EFIAPI
at 0x22A4(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_22A4(_QWORD *a1, unsigned __int16 n0xFFFF)(
  VOID
);

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

EFI_STATUS
EFIAPI
result = sub_40D4(a1); /*0x22b9*/(
  VOID
);

EFI_STATUS
EFIAPI
at 0x2308(
  VOID
);

EFI_STATUS
EFIAPI
__int64 __fastcall sub_2308(_QWORD **a1, unsigned __int16 n0xFFFF_1, char a3, _QWORD *a4)(
  VOID
);

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

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

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

EFI_STATUS
EFIAPI
at 0x241C(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_241C(__int64 a1)(
  VOID
);

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

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

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

EFI_STATUS
EFIAPI
_BYTE **p_octet_1; // rsi(
  VOID
);

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

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

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

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

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

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

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

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

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

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

EFI_STATUS
EFIAPI
at 0x269C(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_269C(__int64 a1, __int16 a2, char *octet)(
  VOID
);

EFI_STATUS
EFIAPI
_WORD *v10; // rdi(
  VOID
);

EFI_STATUS
EFIAPI
at 0x2750(
  VOID
);

EFI_STATUS
EFIAPI
at 0x2758(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_2758(__int64 a1, __int64 a2)(
  VOID
);

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

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

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

EFI_STATUS
EFIAPI
at 0x2854(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_2854(__int64 a1)(
  VOID
);

EFI_STATUS
EFIAPI
_WORD *v3; // rdi(
  VOID
);

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

EFI_STATUS
EFIAPI
at 0x2944(
  VOID
);

EFI_STATUS
EFIAPI
*__fastcall sub_2944(__int64 a1, __int64 a2)(
  VOID
);

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

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

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

EFI_STATUS
EFIAPI
v2 = (_QWORD *)(a2 + 32); /*0x2953*/(
  VOID
);

EFI_STATUS
EFIAPI
at 0x2A24(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_2A24(char *a1, char *blksize)(
  VOID
);

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

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

EFI_STATUS
EFIAPI
at 0x2A98(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_2A98(unsigned __int8 *a1)(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int8 *v2; // rdi(
  VOID
);

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

EFI_STATUS
EFIAPI
at 0x2AEC(
  VOID
);

EFI_STATUS
EFIAPI
__int64 __fastcall sub_2AEC(__int64 a1, unsigned int n2, _DWORD *a3, __int64 a4)(
  VOID
);

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

EFI_STATUS
EFIAPI
_BYTE *v7; // rdi(
  VOID
);

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

EFI_STATUS
EFIAPI
v4 = (_BYTE *)(a1 + 2); /*0x2af8*/(
  VOID
);

EFI_STATUS
EFIAPI
at 0x2B90(
  VOID
);

EFI_STATUS
EFIAPI
__int64 __fastcall sub_2B90(_WORD *a1, __int64 n2, _DWORD *a3, __int64 *a4)(
  VOID
);

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

EFI_STATUS
EFIAPI
at 0x2C48(
  VOID
);

EFI_STATUS
EFIAPI
__int64 __fastcall sub_2C48(_BYTE *a1, __int64 a2)(
  VOID
);

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

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

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

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

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

EFI_STATUS
EFIAPI
at 0x2D80(
  VOID
);

EFI_STATUS
EFIAPI
__int64 __fastcall sub_2D80(__int64 a1, unsigned int a2, char a3, __int64 a4)(
  VOID
);

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

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

EFI_STATUS
EFIAPI
*(_DWORD *)(a4 + 16) = 0; /*0x2d99*/(
  VOID
);

EFI_STATUS
EFIAPI
at 0x2ECC(
  VOID
);

EFI_STATUS
EFIAPI
__int64 __fastcall sub_2ECC(_WORD *a1, __int64 n2, __int64 a3)(
  VOID
);

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

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

EFI_STATUS
EFIAPI
at 0x2F48(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_2F48(__int64 a1, __int16 a2)(
  VOID
);

EFI_STATUS
EFIAPI
v4 = sub_6298(4); /*0x2f69*/(
  VOID
);

EFI_STATUS
EFIAPI
at 0x2FDC(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_2FDC(__int64 a1, __int64 a2, int n4)(
  VOID
);

EFI_STATUS
EFIAPI
_QWORD *v4; // rdi(
  VOID
);

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

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

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

EFI_STATUS
EFIAPI
at 0x3144(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_3144(__int64 a1, __int64 a2, int n4, __int64 a4, _BYTE *a5)(
  VOID
);

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

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

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

EFI_STATUS
EFIAPI
at 0x3260(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_3260(__int64 a1, __int64 a2)(
  VOID
);

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

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

EFI_STATUS
EFIAPI
at 0x33C4(
  VOID
);

EFI_STATUS
EFIAPI
__int64 __fastcall sub_33C4(__int64 a1, _WORD *a2, __int64 n2, __int64 a4, _BYTE *a5)(
  VOID
);

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

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

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

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

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

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

EFI_STATUS
EFIAPI
at 0x36A0(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_36A0(_DWORD *a1, int *a2, __int64 a3, __int64 a4)(
  VOID
);

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

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

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

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

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

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

EFI_STATUS
EFIAPI
__int16 n5; // r15(
  VOID
);

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

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

EFI_STATUS
EFIAPI
at 0x3940(
  VOID
);

EFI_STATUS
EFIAPI
__int64 __fastcall sub_3940(__int64 a1, unsigned __int16 n0xFFFF)(
  VOID
);

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

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

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

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

EFI_STATUS
EFIAPI
unsigned __int16 v14; // [rsp+60h] [rbp+40h] BYREF(
  VOID
);

EFI_STATUS
EFIAPI
at 0x3B08(
  VOID
);

EFI_STATUS
EFIAPI
__int64 __fastcall sub_3B08(__int64 a1, __int64 a2, __int64 a3, char *a4)(
  VOID
);

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

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

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

EFI_STATUS
EFIAPI
at 0x3C14(
  VOID
);

EFI_STATUS
EFIAPI
__int64 __fastcall sub_3C14(__int64 a1, _WORD *a2, __int64 n2, char *a4)(
  VOID
);

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

EFI_STATUS
EFIAPI
at 0x3D3C(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_3D3C(__int64 a1, __int64 a2, __int64 a3, __int64 a4)(
  VOID
);

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

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

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

EFI_STATUS
EFIAPI
_WORD *v15; // r14(
  VOID
);

EFI_STATUS
EFIAPI
__int64 (__fastcall *v19)(__int64, __int64, _QWORD, _WORD *); // r10(
  VOID
);

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

EFI_STATUS
EFIAPI
at 0x3F8C(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_3F8C(_QWORD *a1)(
  VOID
);

EFI_STATUS
EFIAPI
at 0x3FF8(
  VOID
);

EFI_STATUS
EFIAPI
*__fastcall sub_3FF8(_QWORD *a1)(
  VOID
);

EFI_STATUS
EFIAPI
at 0x4030(
  VOID
);

EFI_STATUS
EFIAPI
*__fastcall sub_4030(__int64 *a1, __int64 *a2)(
  VOID
);

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

EFI_STATUS
EFIAPI
at 0x4080(
  VOID
);

EFI_STATUS
EFIAPI
*__fastcall sub_4080(_QWORD *a1, _QWORD *a2)(
  VOID
);

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

EFI_STATUS
EFIAPI
at 0x40D4(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_40D4(_QWORD *a1)(
  VOID
);

EFI_STATUS
EFIAPI
at 0x410C(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_410C(_QWORD *a1)(
  VOID
);

EFI_STATUS
EFIAPI
at 0x4154(
  VOID
);

EFI_STATUS
EFIAPI
__int64 __fastcall sub_4154(_WORD *a1)(
  VOID
);

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

EFI_STATUS
EFIAPI
at 0x41E8(
  VOID
);

EFI_STATUS
EFIAPI
__int64 __fastcall sub_41E8(_BYTE *a1)(
  VOID
);

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

EFI_STATUS
EFIAPI
at 0x4254(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_4254(_BYTE *a1, _BYTE *a2, unsigned __int64 n0xF4240_1)(
  VOID
);

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

EFI_STATUS
EFIAPI
at 0x4320(
  VOID
);

EFI_STATUS
EFIAPI
__int64 __fastcall sub_4320(_WORD *octet)(
  VOID
);

EFI_STATUS
EFIAPI
if ( ((unsigned __int8)octet & 1) != 0 ) /*0x432c*/(
  VOID
);

EFI_STATUS
EFIAPI
at 0x4378(
  VOID
);

EFI_STATUS
EFIAPI
__int64 __fastcall sub_4378(_BYTE *octet, unsigned __int64 n0xF4240)(
  VOID
);

EFI_STATUS
EFIAPI
if ( !octet || !n0xF4240 ) /*0x4380*/(
  VOID
);

EFI_STATUS
EFIAPI
at 0x43A4(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_43A4(unsigned __int64 octet, unsigned __int64 n0xF4240, char *octet_2)(
  VOID
);

EFI_STATUS
EFIAPI
const char *(Destination____((void__)_0)); // r8(
  VOID
);

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

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

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

EFI_STATUS
EFIAPI
at 0x44F0(
  VOID
);

EFI_STATUS
EFIAPI
*__fastcall sub_44F0(char *dst, char *src, unsigned __int64 count)(
  VOID
);

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

EFI_STATUS
EFIAPI
at 0x458C(
  VOID
);

EFI_STATUS
EFIAPI
*__fastcall sub_458C(char *buf, unsigned __int64 a2)(
  VOID
);

EFI_STATUS
EFIAPI
at 0x45F0(
  VOID
);

EFI_STATUS
EFIAPI
__int64 __fastcall sub_45F0(_QWORD *a1, __int64 n4)(
  VOID
);

EFI_STATUS
EFIAPI
at 0x46AC(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_46AC(__int64 a1, __int64 a2)(
  VOID
);

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

EFI_STATUS
EFIAPI
at 0x471C(
  VOID
);

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

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

EFI_STATUS
EFIAPI
at 0x479C(
  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 0x4824(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_4824(__int64 a1, __int64 a2, __int64 a3)(
  VOID
);

EFI_STATUS
EFIAPI
result = sub_471C(); /*0x483c*/(
  VOID
);

EFI_STATUS
EFIAPI
at 0x4864(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_4864(__int64 a1, unsigned __int64 a2, __int64 a3, __int64 a4)(
  VOID
);

EFI_STATUS
EFIAPI
at 0x48F0(
  VOID
);

EFI_STATUS
EFIAPI
at 0x4910(
  VOID
);

EFI_STATUS
EFIAPI
*__fastcall sub_4910(_BYTE *a1, unsigned __int64 a2, __int64 i_1, __int16 n32, __int64 n2)(
  VOID
);

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

EFI_STATUS
EFIAPI
at 0x4944(
  VOID
);

EFI_STATUS
EFIAPI
*__fastcall sub_4944(_BYTE *_r_n, unsigned __int64 a2, __int64 n16)(
  VOID
);

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

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

EFI_STATUS
EFIAPI
at 0x49BC(
  VOID
);

EFI_STATUS
EFIAPI
__int64 __fastcall sub_49BC((
  VOID
);

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

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

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

EFI_STATUS
EFIAPI
unsigned __int64 v16; // r10(
  VOID
);

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

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

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

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

EFI_STATUS
EFIAPI
const char *_r_n; // rbx(
  VOID
);

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

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

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

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

EFI_STATUS
EFIAPI
... [28318 chars total](
  VOID
);

EFI_STATUS
EFIAPI
at 0x57D0(
  VOID
);

EFI_STATUS
EFIAPI
__int64 sub_57D0(_BYTE *_r_n, unsigned __int64 n38, __int16 n320, char *%02d_%02d_%04d__%02d:%02d, ...)(
  VOID
);

EFI_STATUS
EFIAPI
at 0x57F4(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_57F4(__int64 a1, __int64 a2)(
  VOID
);

EFI_STATUS
EFIAPI
at 0x5824(
  VOID
);

EFI_STATUS
EFIAPI
*__fastcall sub_5824(unsigned __int64 n48)(
  VOID
);

EFI_STATUS
EFIAPI
buf = (char *)sub_57F4(n48, n48); /*0x5830*/(
  VOID
);

EFI_STATUS
EFIAPI
at 0x5850(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_5850(__int64 a1, unsigned __int64 a2, __int64 a3)(
  VOID
);

EFI_STATUS
EFIAPI
if ( !a3 ) /*0x5863*/(
  VOID
);

EFI_STATUS
EFIAPI
at 0x58C8(
  VOID
);

EFI_STATUS
EFIAPI
result = (*(__int64 (**)(void))(BootServices + 72))(); /*0x58d3*/(
  VOID
);

EFI_STATUS
EFIAPI
at 0x590C(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_590C(_DWORD *a1, _DWORD *a2)(
  VOID
);

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

EFI_STATUS
EFIAPI
at 0x5974(
  VOID
);

EFI_STATUS
EFIAPI
__int64 __fastcall sub_5974(__int64 a1)(
  VOID
);

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

EFI_STATUS
EFIAPI
SystemTable = SystemTable; /*0x5983*/(
  VOID
);

EFI_STATUS
EFIAPI
at 0x59EC(
  VOID
);

EFI_STATUS
EFIAPI
__int64 __fastcall sub_59EC(_BYTE *a1, _BYTE *a2, __int64 a3, _QWORD *a4, char a5)(
  VOID
);

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

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

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

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

EFI_STATUS
EFIAPI
at 0x5B30(
  VOID
);

EFI_STATUS
EFIAPI
__int64 __fastcall sub_5B30(_BYTE *a1, _BYTE *a2, _WORD *a3, char a4)(
  VOID
);

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

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

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

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

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

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

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

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

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

EFI_STATUS
EFIAPI
at 0x5D30(
  VOID
);

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

EFI_STATUS
EFIAPI
v0 = qword_9740; /*0x5d3f*/(
  VOID
);

EFI_STATUS
EFIAPI
at 0x5D98(
  VOID
);

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

EFI_STATUS
EFIAPI
at 0x5E0C(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_5E0C(int a1, int a2)(
  VOID
);

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

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

EFI_STATUS
EFIAPI
at 0x5EA0(
  VOID
);

EFI_STATUS
EFIAPI
*__fastcall sub_5EA0(char *src_1)(
  VOID
);

EFI_STATUS
EFIAPI
at 0x5FB0(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_5FB0(_QWORD *i, _QWORD *a2)(
  VOID
);

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

EFI_STATUS
EFIAPI
_QWORD *j; // rdi(
  VOID
);

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

EFI_STATUS
EFIAPI
at 0x60BC(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_60BC(__int64 a1, __int64 a2, __int64 a3, __int64 a4)(
  VOID
);

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

EFI_STATUS
EFIAPI
at 0x6150(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_6150(__int64 a1, __int64 a2, __int64 a3, __int64 a4)(
  VOID
);

EFI_STATUS
EFIAPI
at 0x61E0(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_61E0(int a1, int a2)(
  VOID
);

EFI_STATUS
EFIAPI
if ( !a2 ) /*0x61f6*/(
  VOID
);

EFI_STATUS
EFIAPI
at 0x6298(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_6298(unsigned int n4)(
  VOID
);

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

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

EFI_STATUS
EFIAPI
n4_1 = n4; /*0x62a7*/(
  VOID
);

EFI_STATUS
EFIAPI
at 0x6340(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_6340(__int64 a1)(
  VOID
);

EFI_STATUS
EFIAPI
at 0x640C(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_640C(__int64 a1)(
  VOID
);

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

EFI_STATUS
EFIAPI
at 0x6494(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_6494(_DWORD *a1, unsigned int a2, _DWORD *a3)(
  VOID
);

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

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

EFI_STATUS
EFIAPI
if ( !a1 || *a1 != 1718968942 ) /*0x64b6*/(
  VOID
);

EFI_STATUS
EFIAPI
at 0x6538(
  VOID
);

EFI_STATUS
EFIAPI
*__fastcall sub_6538(__int64 a1, __int64 a2, unsigned int a3, unsigned int a4)(
  VOID
);

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

EFI_STATUS
EFIAPI
v4 = a4; /*0x654c*/(
  VOID
);

EFI_STATUS
EFIAPI
at 0x661C(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_661C(unsigned int *a1, unsigned int a2, __int64 a3, unsigned int a4, __int64 a5, __int64 a6)(
  VOID
);

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

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

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

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

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

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

EFI_STATUS
EFIAPI
at 0x6874(
  VOID
);

EFI_STATUS
EFIAPI
__int64 __fastcall sub_6874(__int64 a1, __int64 a2, unsigned int *va)(
  VOID
);

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

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

EFI_STATUS
EFIAPI
at 0x68E8(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_68E8(__int64 a1, unsigned int a2)(
  VOID
);

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

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

EFI_STATUS
EFIAPI
unsigned int v9; // [rsp+40h] [rbp+18h] BYREF(
  VOID
);

EFI_STATUS
EFIAPI
at 0x6A08(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_6A08(_DWORD *a1, __int64 a2, unsigned int n4, __int64 a4)(
  VOID
);

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

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

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

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

EFI_STATUS
EFIAPI
if ( !a1 || *a1 != 1718968942 ) /*0x6a34*/(
  VOID
);

EFI_STATUS
EFIAPI
at 0x6B88(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_6B88(__int64 a1)(
  VOID
);

EFI_STATUS
EFIAPI
n4 = *(_BYTE *)(*(_QWORD *)(a1 + 24) + 32LL); /*0x6b95*/(
  VOID
);

EFI_STATUS
EFIAPI
at 0x6BD8(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_6BD8(__int64 a1)(
  VOID
);

EFI_STATUS
EFIAPI
n4 = *(_BYTE *)(*(_QWORD *)(a1 + 8) + 32LL); /*0x6be5*/(
  VOID
);

EFI_STATUS
EFIAPI
at 0x6C28(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_6C28(__int64 a1)(
  VOID
);

EFI_STATUS
EFIAPI
at 0x6CA4(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_6CA4(__int64 a1, __int64 a2)(
  VOID
);

EFI_STATUS
EFIAPI
at 0x6CC0(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_6CC0(__int64 a1)(
  VOID
);

EFI_STATUS
EFIAPI
n4 = *(_BYTE *)(*(_QWORD *)(a1 + 8) + 32LL); /*0x6ccd*/(
  VOID
);

EFI_STATUS
EFIAPI
at 0x6D14(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_6D14(__int64 a1)(
  VOID
);

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

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

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

EFI_STATUS
EFIAPI
at 0x6F90(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_6F90(__int64 a1, __int64 a2)(
  VOID
);

EFI_STATUS
EFIAPI
at 0x6FAC(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_6FAC(__int64 a1, __int64 (__fastcall *sub_3D3C)(), __int64 a3)(
  VOID
);

EFI_STATUS
EFIAPI
at 0x707C(
  VOID
);

EFI_STATUS
EFIAPI
*sub_707C(__int64 a1, __int64 a2, __int64 a3, ...)(
  VOID
);

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

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

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

EFI_STATUS
EFIAPI
at 0x72D4(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_72D4((
  VOID
);

EFI_STATUS
EFIAPI
if ( !sub_7DC ) /*0x72f8*/(
  VOID
);

EFI_STATUS
EFIAPI
at 0x7444(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_7444(__int64 a1)(
  VOID
);

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

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

EFI_STATUS
EFIAPI
result = *(_BYTE *)(a1 + 32) - 4; /*0x7459*/(
  VOID
);

EFI_STATUS
EFIAPI
at 0x74C0(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_74C0(__int64 a1)(
  VOID
);

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

EFI_STATUS
EFIAPI
at 0x75BC(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_75BC(__int64 a1, __int64 a2, __int64 a3)(
  VOID
);

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

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

EFI_STATUS
EFIAPI
at 0x7680(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_7680(__int64 a1, __int64 (__fastcall *sub_3D3C)(), __int64 a3)(
  VOID
);

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

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

EFI_STATUS
EFIAPI
if ( ((*(_BYTE *)(a1 + 32) - 4) & 0xFD) != 0 ) /*0x769f*/(
  VOID
);

EFI_STATUS
EFIAPI
at 0x7740(
  VOID
);

EFI_STATUS
EFIAPI
__fastcall sub_7740(__int64 a1)(
  VOID
);

#endif /* __MTFTP4DXE_H__ */