|
@@ -566,19 +566,6 @@ static int printk_time = 0;
|
|
|
#endif
|
|
|
module_param_named(time, printk_time, bool, S_IRUGO | S_IWUSR);
|
|
|
|
|
|
-static int __init printk_time_setup(char *str)
|
|
|
-{
|
|
|
- if (*str)
|
|
|
- return 0;
|
|
|
- printk_time = 1;
|
|
|
- printk(KERN_NOTICE "The 'time' option is deprecated and "
|
|
|
- "is scheduled for removal in early 2008\n");
|
|
|
- printk(KERN_NOTICE "Use 'printk.time=<value>' instead\n");
|
|
|
- return 1;
|
|
|
-}
|
|
|
-
|
|
|
-__setup("time", printk_time_setup);
|
|
|
-
|
|
|
/* Check if we have any console registered that can be called early in boot. */
|
|
|
static int have_callable_console(void)
|
|
|
{
|