coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
arch_timer.c File Reference
#include <device/mmio.h>
#include <arch/encoding.h>
#include <console/console.h>
#include <timer.h>
#include <mcall.h>
Include dependency graph for arch_timer.c:

Go to the source code of this file.

Functions

void timer_monotonic_get (struct mono_time *mt)
 

Function Documentation

◆ timer_monotonic_get()

void timer_monotonic_get ( struct mono_time mt)

Definition at line 9 of file arch_timer.c.

References die(), HLS, mono_time_set_usecs(), NULL, and read64().

Here is the call graph for this function: