MiGetUserReservationHighestAddress

UINT64 __fastcall MiGetUserReservationHighestAddress(INT64 a1, INT64 a2){
  UINT64 v2; 
  UINT64 result; 
  unsigned __int64 v4; 
  v2 = 0x7FFFFFFEFFFFi64;
  if( a2 )
  {
    v4 = 0xFFFFFFFFFFFFFFFFui64 >> a2;
    if( 0xFFFFFFFFFFFFFFFFui64 >> a2 > 0x7FFFFFFEFFFFi64 )
      v4 = 0x7FFFFFFEFFFFi64;
    v2 = v4;
  }
  result = *(_QWORD *)(a1 + 1496) - 1i64;
  if( v2 <= result )
    return v2;
  return result;
}

Referenced by: