Sebastian Huber 08c8588440 PRINTF(9): Do not use printk() for log()
The BSD library functions must use printk().  The %D format specifier is
not supported, thus we cannot use the printf() family for output.
2014-01-30 15:04:18 +01:00
..
2013-11-11 10:08:04 +01:00
2013-11-11 10:08:04 +01:00
2013-11-11 10:08:04 +01:00
2013-11-11 10:08:04 +01:00
2013-12-04 13:44:04 +01:00
2013-11-11 10:08:04 +01:00
2013-11-11 10:08:04 +01:00
2013-11-11 10:08:04 +01:00
2013-11-11 10:08:04 +01:00
2013-11-11 10:08:04 +01:00
2013-11-11 10:08:04 +01:00
2013-11-11 10:08:04 +01:00
2013-11-11 10:08:04 +01:00
2013-11-11 10:08:04 +01:00
2013-11-11 10:08:04 +01:00
2013-11-11 10:08:04 +01:00
2013-11-11 10:08:04 +01:00
2013-11-11 10:08:04 +01:00
2013-11-11 10:08:04 +01:00
2013-11-11 10:08:04 +01:00
2013-11-11 10:08:04 +01:00
2013-11-11 10:08:04 +01:00
2013-11-11 10:08:08 +01:00
2013-11-11 10:08:08 +01:00
2013-12-20 11:22:27 +01:00
2013-10-10 09:06:58 +02:00
2013-12-20 15:35:59 +01:00