INT64 __fastcall KiHandleMcheck(INT64 a1, INT64 a2, _OWORD *a3){
INT64 result;
HalHandleMcheck(a1, a2, a3);
result = (unsigned int)KiSpeculationFeatures;
if( (KiSpeculationFeatures & 0x2000000) != 0 )
result = KiFlushCurrentRsb();
_mm_lfence();
return result;
}