| 119 | } |
| 120 | |
| 121 | void timestamp_add(enum timestamp_id id, int64_t ts_time) |
| 122 | { |
| 123 | struct timestamp_table *ts_table; |
| 124 | |
| 125 | if (!timestamp_should_run()) |
| 126 | return; |
| 127 | |
| 128 | ts_table = timestamp_table_get(); |
| 129 | |
| 130 | if (!ts_table) { |
| 131 | printk(BIOS_ERR, "No timestamp table found\n"); |
| 132 | return; |
| 133 | } |
| 134 | |
| 135 | ts_time -= ts_table->base_time; |
| 136 | timestamp_add_table_entry(ts_table, id, ts_time); |
| 137 | |
| 138 | if (CONFIG(TIMESTAMPS_ON_CONSOLE)) |
| 139 | printk(BIOS_INFO, "Timestamp - %s: %lld\n", timestamp_name(id), ts_time); |
| 140 | } |
| 141 | |
| 142 | void timestamp_add_now(enum timestamp_id id) |
| 143 | { |