1 files changed, 2 insertions, 1 deletions
diff --git a/kern/log.h b/kern/log.h
index af5e009f..f041005d 100644
--- a/kern/log.h
+++ b/kern/log.h
@@ -44,7 +44,8 @@ enum {
  * One call to a log print function produces a single log line, with a
  * newline character.
  */
-typedef int (*log_print_fn_t)(const char *format, ...);
+typedef int (*log_print_fn_t)(const char *format, ...)
+    __attribute__((format(printf, 1, 2)));
 
 /*
  * Generate a message and send it to the log thread.