K 10
svn:author
V 6
adrian
K 8
svn:date
V 27
2012-03-16T23:24:27.016549Z
K 7
svn:log
V 256
Fix a couple of debugging outputs.

* printf -> device_printf
* print the buffer pointer and sequence number for any buffer that wasn't
  correctly tidied up before it was freed.  This is to aid in some
  current SMP TX debugging stalls.

PR:		kern/166190

END