3d25430b84
Cast cpu_khz to a 64 bit integer to prevent possible
integer overflow (the multiplication is currently done
using 32 bit math). Similar to 61dac13 (libpayload:
timer: cast cpu_khz to make sure 64bit math is used).
Found-by: Coverity Scan, CID 1261177
Signed-off-by: Jacob Garber <jgarber1@ualberta.ca>
Change-Id: Iadb0abb7c7cc078f31a6d88d971f5d1b8ac62a9e
Reviewed-on: https://review.coreboot.org/c/coreboot/+/32223
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
39 lines
1.1 KiB
C
39 lines
1.1 KiB
C
/*
|
|
* This file is part of the libpayload project.
|
|
*
|
|
* Copyright (C) 2014 Imagination Technologies
|
|
*
|
|
* This program is free software; you can redistribute it and/or modify
|
|
* it under the terms of the GNU General Public License as published by
|
|
* the Free Software Foundation; version 2 of the License.
|
|
*
|
|
* This program is distributed in the hope that it will be useful,
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
* GNU General Public License for more details.
|
|
*/
|
|
|
|
#include <libpayload.h>
|
|
#include <arch/cpu.h>
|
|
|
|
uint64_t timer_hz(void)
|
|
{
|
|
return (uint64_t)lib_sysinfo.cpu_khz * 1000;
|
|
}
|
|
|
|
uint64_t timer_raw_value(void)
|
|
{
|
|
static uint64_t total_ticks = 0;
|
|
uint8_t overflow = 0;
|
|
uint32_t current_ticks = read_c0_count() * 2;
|
|
|
|
/* It assumes only one overflow happened since the last call */
|
|
if (current_ticks <= (uint32_t)total_ticks)
|
|
overflow = 1;
|
|
/* The least significant part(32 bits) of total_ticks will always
|
|
* become equal to current ticks */
|
|
total_ticks = (((total_ticks >> 32) + overflow) << 32) +
|
|
current_ticks;
|
|
return total_ticks;
|
|
}
|