![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <device/mmio.h>
#include <arch/encoding.h>
#include <console/console.h>
#include <timer.h>
#include <mcall.h>
Go to the source code of this file.
Functions | |
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().