IMO, device drivers should start printf lines with "<devicename>#:" and
   so on.  If it is DAD for ep0 and de0 under IPv6, maybe it should be
   "ep0:IPv6:DAD: no duplicates found" ?


the problem is that the full line printed is assembled from a number of
pieces, often in different source files.  eg, the different front/back
end parts, etc...


the only hack i though of (and it applies only to the pcmcia threads)
is to have them sleep a few seconds (cf_unit * <small int?>), using
different time values of course.  but it is ugly.