bbc99cfe36
Done with sed and God Lines. Only done for C-like code for now. Change-Id: I773cc57197b29fd3f4522aece4c83b3dc9e646e0 Signed-off-by: Angel Pons <th3fanbus@gmail.com> Reviewed-on: https://review.coreboot.org/c/coreboot/+/40135 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Felix Held <felix-coreboot@felixheld.de>
32 lines
747 B
C
32 lines
747 B
C
/* SPDX-License-Identifier: GPL-2.0-only */
|
|
/* This file is part of the coreboot project. */
|
|
|
|
#include <device/mmio.h>
|
|
#include <delay.h>
|
|
#include <soc/timer.h>
|
|
#include <stdint.h>
|
|
#include <timer.h>
|
|
|
|
static uint64_t timer_raw_value(void)
|
|
{
|
|
uint64_t value0;
|
|
uint64_t value1;
|
|
|
|
value0 = (uint64_t)read32(&timer7_ptr->timer_curr_value0);
|
|
value1 = (uint64_t)read32(&timer7_ptr->timer_curr_value1);
|
|
value0 = value0 | value1<<32;
|
|
return value0;
|
|
}
|
|
|
|
void timer_monotonic_get(struct mono_time *mt)
|
|
{
|
|
mono_time_set_usecs(mt, timer_raw_value() / clocks_per_usec);
|
|
}
|
|
|
|
void init_timer(void)
|
|
{
|
|
write32(&timer7_ptr->timer_load_count0, TIMER_LOAD_VAL);
|
|
write32(&timer7_ptr->timer_load_count1, TIMER_LOAD_VAL);
|
|
write32(&timer7_ptr->timer_ctrl_reg, 1);
|
|
}
|