target-i386: Allow tsc-frequency to be larger then 2.147G

The check using INT_MAX (2147483647) is wrong in this case.

Signed-off-by: Fred Oliveira <foliveira@cloudswitch.com>
Signed-off-by: Don Slutz <Don@CloudSwitch.com>
Signed-off-by: Stefan Hajnoczi <stefanha@gmail.com>
This commit is contained in:
Don Slutz 2012-09-21 20:13:13 -04:00 committed by Stefan Hajnoczi
parent 93b6599734
commit 2e84849aa2
1 changed files with 1 additions and 1 deletions

View File

@ -846,7 +846,7 @@ static void x86_cpuid_set_tsc_freq(Object *obj, Visitor *v, void *opaque,
{
X86CPU *cpu = X86_CPU(obj);
const int64_t min = 0;
const int64_t max = INT_MAX;
const int64_t max = INT64_MAX;
int64_t value;
visit_type_int(v, &value, name, errp);