HalpMceRecoveryNotRequiredIntel

INT64 __fastcall HalpMceRecoveryNotRequiredIntel(_QWORD *a1){
  __int64 v1; 
  INT64 result; 
  __int64 v4; 
  v1 = a1[5];
  result = 0i64;
  if( ((v1 & 0x4000000000000000i64) == 0 || HalpMcaOverflowRecoverySupported)
    && (v1 & 0x100000000000000i64) != 0
    && ((v1 & 0xEF80) == 128 || (v1 & 0xEF00) == 256 && (v1 & 3) == 2 && (unsigned __int8)v1 >> 4 == 7)
    && (v1 & 0xC00000000000000i64) == 0xC00000000000000i64 )
  {
    v4 = a1[7];
    if( (a1[7] & 0x1C0i64) == 128 )
      return HalpMemoryErrorDeferredRecovery(
               HalpMcaPhysicalAddressMask & a1[6] & ~((1i64 << (v4 & 0x3F)) - 1),
               0,
               0i64,
               0i64,
               v1,
               0,
               1,
               0);
  }
  return result;
}

Referenced by:

HalpMceRecovery