coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
timer.c File Reference
#include <bl_uapp/bl_syscall_public.h>
#include <stdint.h>
#include <timer.h>
Include dependency graph for 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 7 of file timer.c.

References mono_time::microseconds, and svc_read_timer_val().

Here is the call graph for this function: