dev_dbg/dynamic_debug: Update to use printk_emit, optimize stack

[deliverable/linux.git] / include / linux / device.h

diff --git a/include/linux/device.h b/include/linux/device.h
index 378a27c1d1afc2ba0538bea9df5abdf9fb1a08e8..a1443b48ed4b08827aafd659067b2bfc6e52b3f2 100644 (file)
--- a/include/linux/device.h
+++ b/include/linux/device.h
@@ -895,12 +895,12 @@ extern const char *dev_driver_string(const struct device *dev);
 
 #ifdef CONFIG_PRINTK
 
-extern int __dev_printk(const char *level, const struct device *dev,
-                       struct va_format *vaf);
+extern int create_syslog_header(const struct device *dev,
+                               char *hdr, size_t hdrlen);
+
 extern __printf(3, 4)
 int dev_printk(const char *level, const struct device *dev,
-              const char *fmt, ...)
-       ;
+              const char *fmt, ...);
 extern __printf(2, 3)
 int dev_emerg(const struct device *dev, const char *fmt, ...);
 extern __printf(2, 3)