CHAR __fastcall HalpCmciResetState(INT64 a1, INT64 a2){
CHAR result;
UINT8 v5;
v5 = 0;
result = -HalpGetCpuInfo(0i64, 0i64, 0i64, &v5);
if( (v5 & (unsigned __int8)-(result != 0)) == 1 )
return HalpCmciResetStateAMD(a1, a2);
return result;
}