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-12-20 11:22:26 +01:00
2014-01-16 15:45:44 +01:00
2013-11-11 10:08:08 +01:00