| 145 | } |
| 146 | |
| 147 | void timestamp_init(uint64_t base) |
| 148 | { |
| 149 | struct timestamp_table *ts_cache; |
| 150 | |
| 151 | assert(ENV_ROMSTAGE_OR_BEFORE); |
| 152 | |
| 153 | if (!timestamp_should_run()) |
| 154 | return; |
| 155 | |
| 156 | ts_cache = timestamp_cache_get(); |
| 157 | |
| 158 | if (!ts_cache) { |
| 159 | printk(BIOS_ERR, "No timestamp cache to init\n"); |
| 160 | return; |
| 161 | } |
| 162 | |
| 163 | timestamp_cache_init(ts_cache, base); |
| 164 | timestamp_table_set(ts_cache); |
| 165 | } |
| 166 | |
| 167 | static void timestamp_sync_cache_to_cbmem(struct timestamp_table *ts_cbmem_table) |
| 168 | { |