INT64 __fastcall HalpHvSetMachineCheckRecoveryState(INT64 a1){
INT64 result;
int v2;
int v3;
result = 0i64;
if( qword_140C4A1D0 )
{
v3 = a1;
v2 = 2;
return((__int64(__fastcall *)(int *))qword_140C4A1D0)(&v2);
}
return result;
}