Adrian Chadd a66d508971 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
2012-03-16 23:24:27 +00:00
..
2012-03-15 21:48:27 +00:00
2012-01-02 12:12:10 +00:00
2012-03-16 23:24:27 +00:00
2012-02-28 15:07:05 +00:00
2012-03-15 14:22:05 +00:00
2012-03-15 14:22:05 +00:00
2012-03-16 17:56:53 +00:00
2012-02-10 12:35:57 +00:00