MiUnmapLargeDriver

VOID __stdcall MiUnmapLargeDriver(PVOID BaseAddress, UINT64 NumberOfPtes){
  MMPTE *PdeAddress; 
  unsigned __int64 v5; 
  UINT64 v6; 
  UINT64 v7; 
  PdeAddress = MiGetPdeAddress(BaseAddress);
  v5 = MI_READ_PTE_LOCK_FREE((INT64)PdeAddress);
  v6 = ((unsigned int)dword_140C4C98C + 511i64 + NumberOfPtes) & 0xFFFFFFFFFFFFFE00ui64;
  MiGetPteAddress(BaseAddress);
  MiReleasePrivilegedPtes();
  MiUnmapLargePages(BaseAddress, v6 << 12, MiVaDriverImages);
  MiFreeContiguousPages((_MI_PARTITION *)((v5 >> 12) & 0xFFFFFFFFFi64), v6, v7);
}

Referenced by:

MiMapSystemImageWithLargePage
MiUnloadSystemImage