![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <device/mmio.h>
#include <delay.h>
#include <soc/timer.h>
#include <stdint.h>
#include <timer.h>
Go to the source code of this file.
Functions | |
static uint64_t | timer_raw_value (void) |
void | timer_monotonic_get (struct mono_time *mt) |
Get GTI counter value. More... | |
void | init_timer (void) |
Init Global System Timers Unit (GTI). More... | |
Init Global System Timers Unit (GTI).
Configure timer to run at 1MHz tick-rate.
Init Global System Timers Unit (GTI).
Definition at line 25 of file timer.c.
References timer0_ptr, rk3399_timer::timer_ctrl_reg, rk3399_timer::timer_load_count0, rk3399_timer::timer_load_count1, rk3399_timer::timer_load_count2, rk3399_timer::timer_load_count3, TIMER_LOAD_VAL, and write32().
Get GTI counter value.
mt | Structure to fill |
Definition at line 20 of file timer.c.
References clocks_per_usec, mono_time_set_usecs(), and timer_raw_value().
Definition at line 9 of file timer.c.
References read32(), timer0_ptr, rk3399_timer::timer_cur_value0, and rk3399_timer::timer_cur_value1.
Referenced by timer_monotonic_get().