RtlpHpVaMgrRangeFree

NTSTATUS __stdcall RtlpHpVaMgrRangeFree(INT64 a1, INT64 a2){
  bool v2; 
  __int64 v3; 
  UINT64 v5; 
  UINT64 v6; 

  v2 = (*(_BYTE *)a2 & 4) == 0;
  v6 = *(_QWORD *)(*(_QWORD *)(a1 + 24) + 8i64)
     + ((unsigned __int64)(a2 - *(_QWORD *)(*(_QWORD *)(a1 + 24) + 40i64)) >> *(_DWORD *)(*(_QWORD *)(a1 + 24) + 24i64) << 20);
  if( v2 )
    v3 = *(unsigned __int16 *)(a2 + 24);
  else
    v3 = *(_QWORD *)(a2 + 24);
  v5 = v3 << 20;
  RtlpHpVaMgrRangeCleanup(a1, (CHAR *)a2);
  return RtlpHpEnvFreeVA(&v6, &v5, 0x8000i64);
}

Referenced by:

RtlpHpVaMgrCtxFree