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