![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
Data Fields | |
int | initialized |
struct mono_time | time |
uint64_t | last_value |
Definition at line 14 of file arch_timer.c.
int monotonic_counter::initialized |
Definition at line 15 of file arch_timer.c.
Referenced by timer_monotonic_get().
uint64_t monotonic_counter::last_value |
Definition at line 17 of file arch_timer.c.
Referenced by timer_monotonic_get().
struct mono_time monotonic_counter::time |
Definition at line 15 of file arch_timer.c.
Referenced by timer_monotonic_get().