On Wed, Jun 24, 2015 at 02:11:27PM +0200, Paolo Bonzini wrote: > The TSC frequency fits comfortably in an int when expressed in kHz, > but it may overflow when converted to Hz. In this case, > tsc-frequency returns a negative value because x86_cpuid_get_tsc_freq > does a 32-bit multiplication before assigning to int64_t. > > For simplicity just make tsc_khz a 64-bit value. > > Spotted by Coverity. > > Signed-off-by: Paolo Bonzini <pbonz...@redhat.com>
Reviewed-by: Eduardo Habkost <ehabk...@redhat.com> Applied to the x86 tree. Thanks! -- Eduardo
