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