3 files changed, 2 insertions, 18 deletions
diff --git a/src/soc/amd/picasso/psp_verstage/Makefile.inc b/src/soc/amd/picasso/psp_verstage/Makefile.inc
index 905613e219..4f1642bdf7 100644
--- a/src/soc/amd/picasso/psp_verstage/Makefile.inc
+++ b/src/soc/amd/picasso/psp_verstage/Makefile.inc
@@ -15,7 +15,6 @@ verstage-y += psp.c
 verstage-y += reset.c
 verstage-y += svc.c
 verstage-y += timer.c
-verstage-y += timestamp.c
 verstage-y += vboot_crypto.c
 
 verstage-y += $(top)/src/vendorcode/amd/fsp/picasso/bl_uapp/bl_uapp_startup.S
diff --git a/src/soc/amd/picasso/psp_verstage/psp_verstage.c b/src/soc/amd/picasso/psp_verstage/psp_verstage.c
index c2178a347e..f367dce6fd 100644
--- a/src/soc/amd/picasso/psp_verstage/psp_verstage.c
+++ b/src/soc/amd/picasso/psp_verstage/psp_verstage.c
@@ -16,6 +16,7 @@
 #include <arch/stages.h>
 #include <stdarg.h>
 #include <stdio.h>
+#include <timestamp.h>
 
 extern char _bss_start, _bss_end;
 static struct mem_region_device boot_dev =
@@ -217,6 +218,7 @@ void Main(void)
 	 * Do not use printk() before console_init()
 	 * Do not use post_code() before verstage_mainboard_init()
 	 */
+	timestamp_init(timestamp_get());
 	svc_write_postcode(POSTCODE_ENTERED_PSP_VERSTAGE);
 	svc_debug_print("Entering verstage on PSP\n");
 	memset(&_bss_start, '\0', &_bss_end - &_bss_start);
diff --git a/src/soc/amd/picasso/psp_verstage/timestamp.c b/src/soc/amd/picasso/psp_verstage/timestamp.c
deleted file mode 100644
index b3b8f75f7e..0000000000
--- a/src/soc/amd/picasso/psp_verstage/timestamp.c
+++ /dev/null
@@ -1,17 +0,0 @@
-/* SPDX-License-Identifier: GPL-2.0-only */
-
-#include <timestamp.h>
-
-/* Stubs */
-void timestamp_add_now(enum timestamp_id id)
-{
-}
-
-void timestamp_add(enum timestamp_id id, uint64_t ts)
-{
-}
-
-uint64_t timestamp_get(void)
-{
-	return 0;
-}