diff --git a/kernel/printk.c b/kernel/printk.c
index 8fb01c32aa3bb7eaf44f5b9e63e316628dd935c1..b620e3d96136e7ac80312826773b8d892e885ea8 100644
--- a/kernel/printk.c
+++ b/kernel/printk.c
@@ -231,7 +231,7 @@ static inline void boot_delay_msec(void)
 /*
  * Return the number of unread characters in the log buffer.
  */
-int log_buf_get_len(void)
+static int log_buf_get_len(void)
 {
 	return logged_chars;
 }
@@ -270,7 +270,7 @@ int log_buf_copy(char *dest, int idx, int len)
 /*
  * Extract a single character from the log buffer.
  */
-int log_buf_read(int idx)
+static int log_buf_read(int idx)
 {
 	char ret;