coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
monotonic_timer.c
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #include <device/mmio.h>
4 #include <soc/addressmap.h>
5 #include <timer.h>
6 
7 void timer_monotonic_get(struct mono_time *mt)
8 {
10 }
void timer_monotonic_get(struct mono_time *mt)
static uint32_t read32(const void *addr)
Definition: mmio.h:22
static void mono_time_set_usecs(struct mono_time *mt, long us)
Definition: timer.h:53
@ TEGRA_TMRUS_BASE
Definition: addressmap.h:20