1 files changed, 4 insertions, 0 deletions

diff --git a/kernel/printk.c b/kernel/printk.c
index 8b027bdf4606..c42faf97404a 100644
--- a/kernel/printk.c
+++ b/kernel/printk.c
@@ -1439,6 +1439,10 @@ static struct log *log_from_idx(u32 idx) { return NULL; }
 static u32 log_next(u32 idx) { return 0; }
 static char *log_text(const struct log *msg) { return NULL; }
 static void call_console_drivers(int level, const char *text, size_t len) {}
+static size_t prepend_timestamp(unsigned long long t, char *buf)
+{
+        return 0;
+}
 
 #endif /* CONFIG_PRINTK */