adrian
1a24a89db9
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-16 20:24:30 +00:00
2012-03-15 21:48:27 +00:00
2012-03-11 13:39:19 +00:00
2012-03-06 13:43:57 +00:00
2012-03-13 20:29:04 +00:00
2012-03-16 20:24:30 +00:00
2012-03-16 20:32:11 +00:00
2012-03-14 08:00:33 +00:00
2012-01-21 17:45:27 +00:00
2012-01-02 12:12:10 +00:00
2012-03-16 23:24:27 +00:00
2012-03-14 09:15:50 +00:00
2011-12-17 15:08:43 +00:00
2012-03-15 08:39:10 +00:00
2012-03-11 12:19:58 +00:00
2012-03-16 20:24:30 +00:00
2012-03-06 20:01:25 +00:00
2011-11-22 21:28:20 +00:00
2012-03-16 20:32:11 +00:00
2011-10-10 09:13:07 +00:00
2012-01-03 07:05:30 +00:00
2012-03-15 23:53:24 +00:00
2012-03-16 21:46:02 +00:00
2012-03-11 17:35:12 +00:00
2012-03-16 23:08:13 +00:00
2012-02-28 15:07:05 +00:00
2012-03-13 11:08:40 +00:00
2012-03-15 14:22:05 +00:00
2012-03-15 14:22:05 +00:00
2012-02-17 02:39:58 +00:00
2012-01-05 19:00:36 +00:00
2011-10-16 08:44:03 +00:00
2011-11-18 03:05:20 +00:00
2012-02-17 02:39:58 +00:00
2012-03-11 12:19:58 +00:00
2011-12-15 02:26:53 +00:00
2012-01-31 02:11:05 +00:00
2012-03-16 17:56:53 +00:00
2012-03-16 12:13:44 +00:00
2012-02-25 04:54:51 +00:00
2012-03-15 22:53:39 +00:00
2011-11-03 14:38:03 +00:00
2012-02-10 12:35:57 +00:00
2012-03-15 22:53:39 +00:00
2012-03-12 07:02:16 +00:00
2011-10-13 14:20:27 +00:00
2012-02-21 19:35:59 +00:00
2012-03-13 22:04:27 +00:00
2012-03-14 20:57:48 +00:00
2012-03-16 20:24:30 +00:00
2012-02-29 17:47:01 +00:00
2012-01-03 17:31:27 +00:00