[PATCH 9/9] dev_printf: switch to pr_info
Jean-Christophe PLAGNIOL-VILLARD
plagnioj at jcrosoft.com
Thu Dec 13 11:40:10 EST 2012
Signed-off-by: Jean-Christophe PLAGNIOL-VILLARD <plagnioj at jcrosoft.com>
---
drivers/base/driver.c | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/drivers/base/driver.c b/drivers/base/driver.c
index 5b3542b..4688a19 100644
--- a/drivers/base/driver.c
+++ b/drivers/base/driver.c
@@ -380,13 +380,13 @@ int dev_printf(const struct device_d *dev, const char *format, ...)
int ret = 0;
if (dev->driver && dev->driver->name)
- ret += printf("%s ", dev->driver->name);
+ ret += pr_info("%s ", dev->driver->name);
- ret += printf("%s: ", dev_name(dev));
+ ret += pr_info("%s: ", dev_name(dev));
va_start(args, format);
- ret += vprintf(format, args);
+ ret += vprintk(format, args);
va_end(args);
--
1.7.10.4
More information about the barebox
mailing list