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