MiFlushValidPteFromTb

VOID __fastcall MiFlushValidPteFromTb(UINT64 a1, CHAR a2, UINT64 a3){
  unsigned int v3; 
  UINT64 LeafVa; 
  int result; 
  __int16 result_4; 
  int v9; 
  __int64 v10; 
  __int64 v11; 
  v3 = a3;
  memset((INT64)&result, 0i64);
  LeafVa = MiGetLeafVa(a1);
  result = MiRealVaToFlushType(LeafVa);
  v9 = 20;
  result_4 = 0;
  v10 = 0i64;
  v11 = 0i64;
  if( a2 < 0 )
    MiInsertLargeTbFlushEntry((INT64)&result, v3, a1);
  else
    MiInsertRecursiveTbFlushEntries((INT64)&result, v3, a1);
  MiFlushTbList((__int64)&result);
}

Referenced by: