![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <timestamp_serialized.h>
Data Fields | |
uint32_t | entry_id |
int64_t | entry_stamp |
Definition at line 9 of file timestamp_serialized.h.
uint32_t timestamp_entry::entry_id |
Definition at line 10 of file timestamp_serialized.h.
Referenced by timestamp_add_table_entry(), and timestamp_sync_cache_to_cbmem().
int64_t timestamp_entry::entry_stamp |
Definition at line 11 of file timestamp_serialized.h.
Referenced by boot_with_psp_timestamp(), main(), timestamp_add_table_entry(), timestamp_rescale_table(), and timestamp_sync_cache_to_cbmem().