MiFlushValidPteFromTb

VOID __stdcall MiFlushValidPteFromTb(UINT64 a1, CHAR a2, UINT64 a3){
  unsigned int v3; 
  UINT64 v6; 
  _MI_TB_FLUSH_LIST TbFlushList[48]; 

  v3 = a3;
  memset(TbFlushList, 0i64, 0xB8u);
  LODWORD(v6) = MiGetLeafVa(a1);
  TbFlushList[0] = MiRealVaToFlushType(v6);
  TbFlushList[2] = 20;
  LOWORD(TbFlushList[1]) = 0;
  *(_QWORD *)&TbFlushList[4] = 0i64;
  *(_QWORD *)&TbFlushList[6] = 0i64;
  if( a2 < 0 )
    MiInsertLargeTbFlushEntry(TbFlushList, v3, a1);
  else
    MiInsertRecursiveTbFlushEntries(TbFlushList, v3, a1);
  MiFlushTbList(TbFlushList);
}

Referenced by: