jhb 5cec5b65a5 Use a dedicated taskqueue with a thread that runs at a software-interrupt
priority for the periodic polling of the machine check registers.
2011-02-03 13:09:22 +00:00
..
2010-11-27 15:41:44 +00:00
2011-02-02 14:59:05 +00:00
2011-02-03 11:52:22 +00:00
2010-12-05 10:15:23 +00:00