diff options
Diffstat (limited to 'arch/x86/kernel/cpu/vmware.c')
| -rw-r--r-- | arch/x86/kernel/cpu/vmware.c | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/arch/x86/kernel/cpu/vmware.c b/arch/x86/kernel/cpu/vmware.c index 284c399e323..bc24f514ec9 100644 --- a/arch/x86/kernel/cpu/vmware.c +++ b/arch/x86/kernel/cpu/vmware.c | |||
| @@ -49,17 +49,17 @@ static inline int __vmware_platform(void) | |||
| 49 | 49 | ||
| 50 | static unsigned long __vmware_get_tsc_khz(void) | 50 | static unsigned long __vmware_get_tsc_khz(void) |
| 51 | { | 51 | { |
| 52 | uint64_t tsc_hz; | 52 | uint64_t tsc_hz; |
| 53 | uint32_t eax, ebx, ecx, edx; | 53 | uint32_t eax, ebx, ecx, edx; |
| 54 | 54 | ||
| 55 | VMWARE_PORT(GETHZ, eax, ebx, ecx, edx); | 55 | VMWARE_PORT(GETHZ, eax, ebx, ecx, edx); |
| 56 | 56 | ||
| 57 | if (ebx == UINT_MAX) | 57 | if (ebx == UINT_MAX) |
| 58 | return 0; | 58 | return 0; |
| 59 | tsc_hz = eax | (((uint64_t)ebx) << 32); | 59 | tsc_hz = eax | (((uint64_t)ebx) << 32); |
| 60 | do_div(tsc_hz, 1000); | 60 | do_div(tsc_hz, 1000); |
| 61 | BUG_ON(tsc_hz >> 32); | 61 | BUG_ON(tsc_hz >> 32); |
| 62 | return tsc_hz; | 62 | return tsc_hz; |
| 63 | } | 63 | } |
| 64 | 64 | ||
| 65 | /* | 65 | /* |