* all reported to the kernel as machine checks, so the handler
* is a nop so it can be called to count the individual events.
*/
* all reported to the kernel as machine checks, so the handler
* is a nop so it can be called to count the individual events.
*/