INT64 __fastcall HalpMcaReadErrorCorrectedAMD(INT64 *a1, INT64 a2){
INT64 result;
result = *a1;
if( (*a1 & 0x2000000000000000i64) != 0 )
{
if( HalpMcaRecoverySupported && (result & 0x200000000000000i64) == 0 )
*(_WORD *)a2 = 257;
}
else
{
if( *((_BYTE *)a1 + 8) )
{
if( (result & 0x100000000000i64) != 0 )
*(_BYTE *)(a2 + 1) = 1;
}
*(_BYTE *)a2 = 1;
}
return result;
}