INT64 __fastcall MiMarkKernelCfgTarget(INT64 a1){ if( (MiFlags & 0x80000) != 0 ) VslEnableKernelCfgTarget(a1); return 0i64; }