MiDeleteTopLevelSessionMapping

VOID __stdcall MiDeleteTopLevelSessionMapping(INT64 a1){
  UINT64 v2; 
  UINT8 v3; 
  _MI_TB_FLUSH_LIST TbFlushList[48]; 

  memset(TbFlushList, 0i64, 0xB8u);
  v2 = (UINT64)&MmGetPml4eBase()[(qword_140C4DB20 >> 39) & 0x1FF];
  TbFlushList[0] = 2;
  TbFlushList[2] = 20;
  LOWORD(TbFlushList[1]) = 0;
  *(_QWORD *)&TbFlushList[4] = 0i64;
  *(_QWORD *)&TbFlushList[6] = 0i64;
  v3 = MiLockWorkingSetExclusive((_MMSUPPORT_INSTANCE *)(a1 + 256));
  MiInsertTbFlushEntry(TbFlushList, (VOID *)((__int64)((v2 << 25) - ((_QWORD)MmGetPteBase() << 25)) >> 16), 1ui64, 0i64);
  MiWriteTopLevelPxe(v2, ZeroPte.u.Hard._bf_0);
  MiFlushTbList(TbFlushList);
  MiUnlockWorkingSetExclusive((_MMSUPPORT_INSTANCE *)(a1 + 256), v3);
}

Referenced by: