Change in coreboot[master]: lib/timestamp.c: Use PRIu64 type to print u64

[HAOUAS Elyes (Code Review)]

HAOUAS Elyes has uploaded this change for review. ( https://review.coreboot.org/c/coreboot/+/45947 )

Change subject: lib/timestamp.c: Use PRIu64 type to print u64
......................................................................

lib/timestamp.c: Use PRIu64 type to print u64

Change-Id: I6834e66d6f23cd12be196fbba0ea3895d65643cc
Signed-off-by: Elyes HAOUAS 
---
M src/lib/timestamp.c
1 file changed, 2 insertions(+), 1 deletion(-)

git pull ssh://review.coreboot.org:29418/coreboot refs/changes/47/45947/1

diff --git a/src/lib/timestamp.c b/src/lib/timestamp.c
index 7347d07..3f71786 100644
--- a/src/lib/timestamp.c
+++ b/src/lib/timestamp.c
@@ -8,6 +8,7 @@
 #include <timer.h>
 #include <timestamp.h>
 #include <smp/node.h>
+#include <inttypes.h>

#define MAX_TIMESTAMPS 192

@@ -135,7 +136,7 @@
    timestamp_add_table_entry(ts_table, id, ts_time);

if (CONFIG(TIMESTAMPS_ON_CONSOLE))
-		printk(BIOS_INFO, "Timestamp - %s: %llu\n", timestamp_name(id), ts_time);
+		printk(BIOS_INFO, "Timestamp - %s: %" PRIu64 "\n", timestamp_name(id), ts_time);
 }

void timestamp_add_now(enum timestamp_id id)