VmpLogTbFlushSlatInvalidate

VOID __fastcall VmpLogTbFlushSlatInvalidate(INT64 a1, INT64 a2){
  __int64 v3; 
  __int64 v4; 
  __int64 v5; 
  int v6; 
  INT64 v7; 
  __int64 v8; 
  __int64 v9; 
  __int64 v10[12]; 
  if( *(_DWORD *)VmpTraceLoggingProvider > 5u )
  {
    if( tlgKeywordOn(VmpTraceLoggingProvider, 2i64) )
    {
      v6 = *(_DWORD *)(*((_QWORD *)KeGetCurrentThread() + 23) + 1088i64);
      v10[4] = (__int64)&v6;
      v10[6] = (__int64)&v7;
      v10[8] = (__int64)&v8;
      v10[10] = (__int64)&v9;
      v9 = v3;
      v10[5] = 4i64;
      v7 = a2;
      v10[7] = 8i64;
      v8 = v5;
      v10[9] = 8i64;
      v10[11] = 8i64;
      tlgWriteEx_EtwWriteEx(v4, (unsigned __int8 *)&word_14002B58A, 0i64, 0, 0, 0, 6u, (__int64)v10);
    }
  }
}

Referenced by: