[coreboot-gerrit] New patch to review for coreboot: libpayload: timer: cast cpu_khz to make sure 64bit math is used

[Patrick Georgi]

Patrick Georgi ([e-mail]) just uploaded a new patch set to gerrit, which you can find at https://review.coreboot.org/18034

-gerrit

commit 6ae26e293e611408eff9c6946e8f3c3380c77caf
Author: Patrick Georgi 
Date:   Wed Jan 4 21:59:42 2017 +0100

libpayload: timer: cast cpu_khz to make sure 64bit math is used

Change-Id: Iaf84de2330b433076a66c22fa72ffb45e957c0dc
    Signed-off-by: Patrick Georgi 
    Found-by: Coverity Scan #1261177
---
 payloads/libpayload/drivers/timer/rdtsc.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/payloads/libpayload/drivers/timer/rdtsc.c b/payloads/libpayload/drivers/timer/rdtsc.c
index 4a425a5..9607b66 100644
--- a/payloads/libpayload/drivers/timer/rdtsc.c
+++ b/payloads/libpayload/drivers/timer/rdtsc.c
@@ -37,7 +37,7 @@

uint64_t timer_hz(void)
 {
-	return lib_sysinfo.cpu_khz * 1000;
+	return (uint64_t)lib_sysinfo.cpu_khz * 1000;
 }

uint64_t timer_raw_value(void)