__int64 __fastcall HalpCorrectMachineCheckErrSrc(_DWORD *a1, _DWORD *a2){
unsigned int ActiveProcessorCount;
__int64 result;
if( !a1[2] || HalpIsCmciImplemented() )
{
ActiveProcessorCount = KeQueryActiveProcessorCountEx(0xFFFFu);
if( a1[5] < ActiveProcessorCount )
a1[5] = ActiveProcessorCount;
}
if( a1[6] < 4u )
a1[6] = 4;
result = 0i64;
*a2 = 352;
return result;
}