MiDeleteTopLevelSessionMapping

VOID __fastcall MiDeleteTopLevelSessionMapping(INT64 a1){
  _QWORD *v2; 
  UINT8 v3; 
  int result; 
  __int16 result_4; 
  int v6; 
  __int64 v7; 
  __int64 v8; 
  memset((INT64)&result, 0i64);
  v2 = (_QWORD *)((char *)MmGetPml4eBase() + 8 * ((qword_140C4DB20 >> 39) & 0x1FF));
  result = 2;
  v6 = 20;
  result_4 = 0;
  v7 = 0i64;
  v8 = 0i64;
  v3 = MiLockWorkingSetExclusive((_MMSUPPORT_INSTANCE *)(a1 + 256));
  MiInsertTbFlushEntry((INT64)&result, (__int64)(((_QWORD)v2 << 25) - ((_QWORD)MmGetPteBase() << 25)) >> 16, 1i64, 0i64);
  MiWriteTopLevelPxe(v2, ZeroPte);
  MiFlushTbList((__int64)&result);
  MiUnlockWorkingSetExclusive(a1 + 256, v3);
}

Referenced by: