MiGetUserReservationHighestAddress

NTSTATUS __stdcall MiGetUserReservationHighestAddress(INT64 a1, INT64 a2){
  unsigned __int64 v2; 
  unsigned __int64 v3; 
  unsigned __int64 v4; 

  v2 = 0x7FFFFFFEFFFFi64;
  if( a2 )
  {
    v4 = 0xFFFFFFFFFFFFFFFFui64 >> a2;
    if( 0xFFFFFFFFFFFFFFFFui64 >> a2 > 0x7FFFFFFEFFFFi64 )
      v4 = 0x7FFFFFFEFFFFi64;
    v2 = v4;
  }
  v3 = *(_QWORD *)(a1 + 1496) - 1i64;
  if( v2 <= v3 )
    LODWORD(v3) = v2;
  return v3;
}

Referenced by: