INT64 __fastcall HalpHvGetMachineCheckContext(INT64 a1, INT64 a2){
INT64 result;
__int64 v4[3];
int v5;
int v6;
v5 = 0;
v4[0] = 0i64;
v6 = 0;
if( !qword_140C4A1B8 )
return 3221225473i64;
result = qword_140C4A1B8(a1, &v5, v4, &v6);
*(_DWORD *)a2 = v5;
*(_QWORD *)(a2 + 8) = v4[0];
*(_DWORD *)(a2 + 16) = v6;
return result;
}