VOID __stdcall HalpCmciPollProcessor(INT64 a1){
CHAR CpuInfo;
UINT8 v3;
INT64 v4;
UINT8 v5;
v5 = 0;
CpuInfo = HalpGetCpuInfo(0i64, 0i64, 0i64, &v5);
v3 = CpuInfo != 0 ? v5 : 0;
LODWORD(v4) = HalpGetMcaPcrContext(a1);
HalpCmcPollProcessor(*(_QWORD *)(v4 + 16), 1, a1, v4);
if( v3 == 1 )
HalpCmciSetProcessorConfigAMD(qword_140C50530, 1, a1);
}