INT64 __stdcall VmpValidateMemoryRangeParameters(UINT64 a1, UINT64 a2, UINT64 a3, INT64 a4){
UINT64 v5;
if( a4 == -1 )
return 10i64;
if( !a3 )
return 20i64;
if( a3 > 0xFFFFFFFFFFFFFi64 )
return 30i64;
if( ((a2 | a1) & 0xFFF) != 0 )
return 40i64;
v5 = a3 << 12;
if( v5 + a2 <= a2 )
return 50i64;
if( v5 + a1 > a1 )
return v5 + a2 - 1 > 0x7FFFFFFEFFFFi64 ? 0x46 : 0;
return 60i64;
}