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

Copyright (c) HR650X BIOS Decompilation Project
**/

#ifndef __CPUMPPEI_H__
#define __CPUMPPEI_H__

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

//
// Function Prototypes
//

EFI_STATUS
EFIAPI
__declspec(
  VOID
);

EFI_STATUS
EFIAPI
ModuleEntryPoint(
  VOID
);

EFI_STATUS
EFIAPI
PpiLocate(
  VOID
);

EFI_STATUS
EFIAPI
DebugPrintGetService(
  VOID
);

EFI_STATUS
EFIAPI
DebugPrint(
  VOID
);

EFI_STATUS
EFIAPI
MpInitComplete(
  VOID
);

EFI_STATUS
EFIAPI
GetApicBase(
  VOID
);

EFI_STATUS
EFIAPI
CpuBistClear(
  VOID
);

EFI_STATUS
EFIAPI
SendSipi(
  VOID
);

EFI_STATUS
EFIAPI
StartupAp(
  VOID
);

EFI_STATUS
EFIAPI
ApEntryPoint(
  VOID
);

EFI_STATUS
EFIAPI
MpSwitchBsp(
  VOID
);

EFI_STATUS
EFIAPI
MpInitLibInitialize(
  VOID
);

EFI_STATUS
EFIAPI
MicrocodePatch(
  VOID
);

EFI_STATUS
EFIAPI
DebugPrintLevelEnabled(
  VOID
);

EFI_STATUS
EFIAPI
PeiServicesGetPpi(
  VOID
);

EFI_STATUS
EFIAPI
UnalignedWrite24(
  VOID
);

EFI_STATUS
EFIAPI
PpiGetCpuCount(
  VOID
);

EFI_STATUS
EFIAPI
InternalSyncExchange(
  VOID
);

EFI_STATUS
EFIAPI
MtrrSetAttribute(
  VOID
);

EFI_STATUS
EFIAPI
functions total, 23317 bytes of code in .text(
  VOID
);

EFI_STATUS
EFIAPI
files referenced by debug strings:(
  VOID
);

EFI_STATUS
EFIAPI
char *dst_1; // edi(
  VOID
);

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

EFI_STATUS
EFIAPI
function at 0xffe33be4(
  VOID
);

EFI_STATUS
EFIAPI
function at 0xffe33d24(
  VOID
);

EFI_STATUS
EFIAPI
function at 0xffe340eb(
  VOID
);

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

EFI_STATUS
EFIAPI
unsigned __int32 v9; // [esp-2Ch] [ebp-2Ch] BYREF(
  VOID
);

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

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

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

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

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

EFI_STATUS
EFIAPI
_DWORD *v5; // esi(
  VOID
);

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

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

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

EFI_STATUS
EFIAPI
EFI_STATUS v13; // esi(
  VOID
);

EFI_STATUS
EFIAPI
_DWORD **v16; // [esp+0h] [ebp-4h] BYREF(
  VOID
);

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

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

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

EFI_STATUS
EFIAPI
_DWORD v8[2]; // [esp+4h] [ebp-10h] BYREF(
  VOID
);

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

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

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

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

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

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

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

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

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

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

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

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

EFI_STATUS
EFIAPI
v3 = v2; /*0xffe34859*/(
  VOID
);

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

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

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

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

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

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

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

EFI_STATUS
EFIAPI
char *dst; // eax(
  VOID
);

EFI_STATUS
EFIAPI
_BYTE v2[4]; // [esp+0h] [ebp-8h] BYREF(
  VOID
);

EFI_STATUS
EFIAPI
int (__cdecl **v3)(int, const char *, char *); // esi(
  VOID
);

EFI_STATUS
EFIAPI
result = DebugPrintGetService(); /*0xffe34ad0*/(
  VOID
);

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

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

EFI_STATUS
EFIAPI
v2 = BitFieldRead64(3579545 * n0xA, (3579545 * (unsigned __int64)n0xA) >> 32); /*0xffe34b55*/(
  VOID
);

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

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

EFI_STATUS
EFIAPI
v1 = __readeflags(); /*0xffe34b8f*/(
  VOID
);

EFI_STATUS
EFIAPI
int this_1; // [esp+0h] [ebp-4h] BYREF(
  VOID
);

EFI_STATUS
EFIAPI
if ( (a1 & 0xF) != 0 ) /*0xffe34cd3*/(
  VOID
);

EFI_STATUS
EFIAPI
void *v5; // ecx(
  VOID
);

EFI_STATUS
EFIAPI
if ( (a1 & 0xF) != 0 ) /*0xffe34d2c*/(
  VOID
);

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

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

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

EFI_STATUS
EFIAPI
if ( !ApModeCheck(this) ) /*0xffe34e52*/(
  VOID
);

EFI_STATUS
EFIAPI
void *v2; // ecx(
  VOID
);

EFI_STATUS
EFIAPI
void *v1; // ecx(
  VOID
);

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

EFI_STATUS
EFIAPI
if ( n0x100000 >= 0x100000 ) /*0xffe34f8b*/(
  VOID
);

EFI_STATUS
EFIAPI
if ( n0x100000 >= 0x100000 ) /*0xffe3501b*/(
  VOID
);

EFI_STATUS
EFIAPI
v0 = SortCpuList(0xF0u); /*0xffe350a4*/(
  VOID
);

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

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

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

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

EFI_STATUS
EFIAPI
v6 = SortCpuList(0xF0u); /*0xffe35105*/(
  VOID
);

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

EFI_STATUS
EFIAPI
v0 = SortCpuList(0x320u); /*0xffe35270*/(
  VOID
);

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

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

EFI_STATUS
EFIAPI
int v14; // [esp+10h] [ebp-34h] BYREF(
  VOID
);

EFI_STATUS
EFIAPI
_DWORD *this_1; // edx(
  VOID
);

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

EFI_STATUS
EFIAPI
_WORD *v7; // ecx(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int16 v10; // [esp+8h] [ebp-614h] BYREF(
  VOID
);

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

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

EFI_STATUS
EFIAPI
unsigned __int8 _r_n[256]; // [esp+0h] [ebp-100h] BYREF(
  VOID
);

EFI_STATUS
EFIAPI
char *FixedMtrr_1; // esi(
  VOID
);

EFI_STATUS
EFIAPI
char *MemoryAttributesInMtrr; // eax(
  VOID
);

EFI_STATUS
EFIAPI
_WORD *v1; // eax(
  VOID
);

EFI_STATUS
EFIAPI
v0 = 0; /*0xffe358cd*/(
  VOID
);

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

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

EFI_STATUS
EFIAPI
GetNextCpu((int *)(this + 808), (bool *)(this + 813), (_BYTE *)(this + 812)); /*0xffe35ac6*/(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int32 v2; // eax(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int32 *this_2; // ebx(
  VOID
);

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

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

EFI_STATUS
EFIAPI
unsigned __int32 v10; // eax(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int32 result; // eax(
  VOID
);

EFI_STATUS
EFIAPI
int v6; // [esp+10h] [ebp-Ch] BYREF(
  VOID
);

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

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

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

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

EFI_STATUS
EFIAPI
v2 = a1[2]; /*0xffe35d55*/(
  VOID
);

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

EFI_STATUS
EFIAPI
v7 = *a1; /*0xffe35e91*/(
  VOID
);

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

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

EFI_STATUS
EFIAPI
void *v13; // ecx(
  VOID
);

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

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

EFI_STATUS
EFIAPI
int v19; // [esp+Ch] [ebp-14h](
  VOID
);

EFI_STATUS
EFIAPI
signed __int32 result; // eax(
  VOID
);

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

EFI_STATUS
EFIAPI
_DWORD *n2; // eax(
  VOID
);

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

EFI_STATUS
EFIAPI
int (__cdecl **MpAlloc)(int); // eax(
  VOID
);

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

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

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

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

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

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

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

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

EFI_STATUS
EFIAPI
v2 = (_DWORD *)StartupAp(); /*0xffe366b6*/(
  VOID
);

EFI_STATUS
EFIAPI
_BYTE *v3; // eax(
  VOID
);

EFI_STATUS
EFIAPI
v2 = *(_DWORD *)(StartupAp() + 796) + 104 * a1; /*0xffe36708*/(
  VOID
);

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

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

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

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

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

EFI_STATUS
EFIAPI
_DWORD *v14; // eax(
  VOID
);

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

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

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

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

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

EFI_STATUS
EFIAPI
int Buffer_1; // [esp+10h] [ebp-28h](
  VOID
);

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

EFI_STATUS
EFIAPI
int v9; // [esp+10h] [ebp-8h](
  VOID
);

EFI_STATUS
EFIAPI
unsigned int v4; // kr00_4(
  VOID
);

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

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

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

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

EFI_STATUS
EFIAPI
_DWORD *v17; // ecx(
  VOID
);

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

EFI_STATUS
EFIAPI
int v22; // [esp+14h] [ebp-14h] BYREF(
  VOID
);

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

EFI_STATUS
EFIAPI
if ( !this ) /*0xffe36e94*/(
  VOID
);

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

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

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

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

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

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

EFI_STATUS
EFIAPI
char v19; // [esp+12h] [ebp-Eh](
  VOID
);

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

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

EFI_STATUS
EFIAPI
unsigned __int8 v2; // [esp+4h] [ebp-8h](
  VOID
);

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

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

EFI_STATUS
EFIAPI
_DWORD *v9; // eax(
  VOID
);

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

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

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

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

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

EFI_STATUS
EFIAPI
char *v21; // ebx(
  VOID
);

EFI_STATUS
EFIAPI
_DWORD *v23; // ebx(
  VOID
);

EFI_STATUS
EFIAPI
void *v28; // [esp-4h] [ebp-40h](
  VOID
);

EFI_STATUS
EFIAPI
v0 = __inbyte(0x70u); /*0xffe37402*/(
  VOID
);

EFI_STATUS
EFIAPI
_BYTE v2[2]; // [esp+4h] [ebp-8h] BYREF(
  VOID
);

EFI_STATUS
EFIAPI
for ( j = 0; j < i; ++j ) /*0xffe37489*/(
  VOID
);

EFI_STATUS
EFIAPI
unsigned int v11; // [esp-4h] [ebp-1Ch](
  VOID
);

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

EFI_STATUS
EFIAPI
unsigned __int8 *%02d_%02d_%04d__%02d:%02d_1; // edx(
  VOID
);

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

EFI_STATUS
EFIAPI
unsigned __int8 *%02d_%02d_%04d__%02d:%02d_3; // edx(
  VOID
);

EFI_STATUS
EFIAPI
_BYTE *_r_n_2; // esi(
  VOID
);

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

EFI_STATUS
EFIAPI
unsigned __int8 *%02d_%02d_%04d__%02d:%02d_5; // edi(
  VOID
);

EFI_STATUS
EFIAPI
const char *_r_n_5; // esi(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int8 *%02d_%02d_%04d__%02d:%02d_9; // edi(
  VOID
);

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

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

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

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

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

EFI_STATUS
EFIAPI
unsigned __int8 *%02d_%02d_%04d__%02d:%02d_12; // edx(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int8 *%02d_%02d_%04d__%02d:%02d_8; // ecx(
  VOID
);

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

EFI_STATUS
EFIAPI
unsigned __int8 *v44; // esi(
  VOID
);

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

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

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

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

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

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

EFI_STATUS
EFIAPI
unsigned __int8 *%02d_%02d_%04d__%02d:%02d_7; // edx(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int8 *%02d_%02d_%04d__%02d:%02d_6; // edx(
  VOID
);

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

EFI_STATUS
EFIAPI
const char *i; // edi(
  VOID
);

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

EFI_STATUS
EFIAPI
_BYTE *_r_n_7; // edx(
  VOID
);

EFI_STATUS
EFIAPI
_BYTE *_r_n_8; // eax(
  VOID
);

EFI_STATUS
EFIAPI
__int16 %02d_%02d_%04d__%02d:%02d_13; // bx(
  VOID
);

EFI_STATUS
EFIAPI
_BYTE *_r_n_10; // eax(
  VOID
);

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

EFI_STATUS
EFIAPI
Cr3 = ReadCr3(n1288); /*0xffe381a0*/(
  VOID
);

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

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

EFI_STATUS
EFIAPI
void *this_1; // [esp+0h] [ebp-4h](
  VOID
);

EFI_STATUS
EFIAPI
int v5; // [esp+4h] [ebp-8h] BYREF(
  VOID
);

EFI_STATUS
EFIAPI
int v4; // [esp+4h] [ebp-4h] BYREF(
  VOID
);

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

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

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

EFI_STATUS
EFIAPI
if ( n1536 - 1 > -1 - (int)buf ) /*0xffe383b5*/(
  VOID
);

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

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

EFI_STATUS
EFIAPI
char n0x40_1; // [esp+0h] [ebp-4h](
  VOID
);

EFI_STATUS
EFIAPI
int _EAX_2; // [esp+8h] [ebp-4h](
  VOID
);

EFI_STATUS
EFIAPI
if ( !n0x80 ) /*0xffe384c2*/(
  VOID
);

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

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

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

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

EFI_STATUS
EFIAPI
LODWORD(v0) = UnalignedWrite16(__readmsr(0x2FFu)); /*0xffe386e4*/(
  VOID
);

EFI_STATUS
EFIAPI
if ( !this ) /*0xffe387ba*/(
  VOID
);

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

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

EFI_STATUS
EFIAPI
if ( !this ) /*0xffe3888c*/(
  VOID
);

EFI_STATUS
EFIAPI
if ( !this ) /*0xffe388b3*/(
  VOID
);

EFI_STATUS
EFIAPI
if ( !this ) /*0xffe388dc*/(
  VOID
);

EFI_STATUS
EFIAPI
_DWORD *v3; // esi(
  VOID
);

EFI_STATUS
EFIAPI
v3 = v2; /*0xffe38904*/(
  VOID
);

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

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

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

EFI_STATUS
EFIAPI
LODWORD(v6) = a1; /*0xffe389d4*/(
  VOID
);

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

EFI_STATUS
EFIAPI
_DWORD *v5; // edx(
  VOID
);

EFI_STATUS
EFIAPI
char *v7; // eax(
  VOID
);

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

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

EFI_STATUS
EFIAPI
if ( !this ) /*0xffe38a71*/(
  VOID
);

EFI_STATUS
EFIAPI
_DWORD *v2; // eax(
  VOID
);

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

EFI_STATUS
EFIAPI
__outbyte(0x72u, 0x5Cu); /*0xffe38c1b*/(
  VOID
);

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

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

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

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

EFI_STATUS
EFIAPI
int Msr64_1; // [esp+Ch] [ebp-4h](
  VOID
);

EFI_STATUS
EFIAPI
if ( !this ) /*0xffe38cb6*/(
  VOID
);

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

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

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

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

EFI_STATUS
EFIAPI
int v14; // [esp+10h] [ebp-30h](
  VOID
);

EFI_STATUS
EFIAPI
if ( !this ) /*0xffe38f0e*/(
  VOID
);

EFI_STATUS
EFIAPI
if ( !i ) /*0xffe38f45*/(
  VOID
);

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

EFI_STATUS
EFIAPI
n0x20 = __readmsr(0xFEu); /*0xffe38f7e*/(
  VOID
);

EFI_STATUS
EFIAPI
v0 = InternalSyncExchange(); /*0xffe38fa9*/(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int32 v4; // eax(
  VOID
);

EFI_STATUS
EFIAPI
v1 = __readcr3(); /*0xffe3901c*/(
  VOID
);

EFI_STATUS
EFIAPI
_QWORD *this_1; // edi(
  VOID
);

EFI_STATUS
EFIAPI
n33 = 0; /*0xffe39056*/(
  VOID
);

EFI_STATUS
EFIAPI
_DWORD *v6; // esi(
  VOID
);

EFI_STATUS
EFIAPI
_DWORD *v8; // edi(
  VOID
);

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

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

EFI_STATUS
EFIAPI
AllocateZeroPool(buf, 0x400u); /*0xffe3913b*/(
  VOID
);

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

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

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

EFI_STATUS
EFIAPI
unsigned int v7; // [esp+Ch] [ebp-4h] BYREF(
  VOID
);

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

EFI_STATUS
EFIAPI
n7_1 = 7; /*0xffe3929a*/(
  VOID
);

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

EFI_STATUS
EFIAPI
_DWORD *v21; // eax(
  VOID
);

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

EFI_STATUS
EFIAPI
unsigned __int64 n0x100000_3; // kr10_8(
  VOID
);

EFI_STATUS
EFIAPI
unsigned __int64 n0x100000_5; // kr20_8(
  VOID
);

EFI_STATUS
EFIAPI
LODWORD(n0x20) = InternalSyncExchange(); /*0xffe399fc*/(
  VOID
);

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

EFI_STATUS
EFIAPI
if ( MtrrPrefetchCheck() ) /*0xffe39ab9*/(
  VOID
);

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

EFI_STATUS
EFIAPI
bool result; // al(
  VOID
);

EFI_STATUS
EFIAPI
MpAlloc = (int (__cdecl **)(int))GetMpAlloc(this); /*0xffe39b5b*/(
  VOID
);

EFI_STATUS
EFIAPI
if ( (n1024068 & 0xF0000000) != 0 ) /*0xffe39b70*/(
  VOID
);

EFI_STATUS
EFIAPI
v1 = GetModuleParameter(this); /*0xffe39b97*/(
  VOID
);

EFI_STATUS
EFIAPI
of CpuMpPei.c(
  VOID
);

#endif /* __CPUMPPEI_H__ */