mjf@NetBSD.org said:
> "Convert kernel printf() to aprint_*() or log()" 

Imho the aprint_ API is suboptimal because it causes
some duplication if something is to be printed at
multiple levels, and because it makes it hard to
track line ends.
A more suitable API should have
-a bitmask argument to specify one or more levels at
 which to print the text
-a flag which says "start this at a new line"
So it wouldn't be stateless.
Optionally, it could also keep track of a prefix
(device name in drivers) and make sure that lines
start with that + ":".

best regards
Matthias