HalpMcaReadErrorUncorrectedUnknown

INT64 __fastcall HalpMcaReadErrorUncorrectedUnknown(INT64 a1, BYTE *a2){
  INT64 result; 
  result = *(_QWORD *)a1;
  if( (*(_QWORD *)a1 & 0x2000000000000000i64) != 0 )
  {
    if( (result & 0x1000000000000000i64) != 0 )
    {
      if( (result & 0x200000000000000i64) != 0 || !*(_BYTE *)(a1 + 8) )
      {
        *a2 = 1;
      }
      else if( (result & 0x100000000000000i64) != 0 )
      {
        *(_WORD *)a2 = 257;
      }
    }
    else
    {
      return HalpWheaWriteMsrStatus(*(_QWORD *)(a1 + 16), *(unsigned int *)(a1 + 12));
    }
  }
  return result;
}

Referenced by:

HalpMcaReadError