MiDeleteVirtualAddresses

signed __int64 __fastcall MiDeleteVirtualAddresses(unsigned __int64 a1, unsigned __int64 a2, int a3, _QWORD *a4){
  __int64 v5; 
  signed __int64 result; 
  v5 = *((_QWORD *)KeGetCurrentThread() + 23);
  MiDeletePagablePteRange(v5 + 1664, 0x11u, a1, a2, 0, a3 | 0x80, a4);
  result = a4[3];
  if( result )
    return _InterlockedExchangeAdd64((volatile signed __int64 *)(v5 + 1272), -result);
  return result;
}

Referenced by: