From ec62bb8cea80b296cf8b71a07ae6896f89c49dc8 Mon Sep 17 00:00:00 2001
From: Jan Engelhardt <jengelh@linux01.gwdg.de>
Date: Sun, 25 Jun 2006 05:48:15 -0700
Subject: [PATCH] --- yaml --- r: 29737 b: refs/heads/master c:
 3b9c04106b70e46803c69d13d5da32f6129fa76d h: refs/heads/master i:   29735:
 5943220b2a565a9c3bf5d257520e577b47cb7c29 v: v3

---
 [refs]                | 2 +-
 trunk/kernel/printk.c | 2 ++
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/[refs] b/[refs]
index 580eaa311290..62d5056f04a9 100644
--- a/[refs]
+++ b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: e5dcd90b53d601a04482db9800336a0ccf190880
+refs/heads/master: 3b9c04106b70e46803c69d13d5da32f6129fa76d
diff --git a/trunk/kernel/printk.c b/trunk/kernel/printk.c
index 6b89dd9d11b6..95b7fe17f124 100644
--- a/trunk/kernel/printk.c
+++ b/trunk/kernel/printk.c
@@ -24,6 +24,7 @@
 #include <linux/console.h>
 #include <linux/init.h>
 #include <linux/module.h>
+#include <linux/moduleparam.h>
 #include <linux/interrupt.h>			/* For in_interrupt() */
 #include <linux/config.h>
 #include <linux/delay.h>
@@ -439,6 +440,7 @@ static int printk_time = 1;
 #else
 static int printk_time = 0;
 #endif
+module_param(printk_time, int, S_IRUGO | S_IWUSR);
 
 static int __init printk_time_setup(char *str)
 {