[PATCH v2 1/9] driver: include dev_print and family from <driver.h>

[Ahmad Fatoum]

Linux drivers get dev_info and friends transitively when including
<linux/device.h>, so have barebox follow suit.

Reviewed-by: Marco Felsch <m.felsch at pengutronix.de>
Signed-off-by: Ahmad Fatoum <a.fatoum at pengutronix.de>
---
 include/driver.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/include/driver.h b/include/driver.h
index d012cd006dcb..2651cddecc21 100644
--- a/include/driver.h
+++ b/include/driver.h
@@ -9,6 +9,7 @@
 #include <linux/list.h>
 #include <linux/ioport.h>
 #include <linux/uuid.h>
+#include <linux/printk.h>
 #include <of.h>
 #include <filetype.h>
 
-- 
2.39.2