RE: [RFC PATCH] x86/mce: Make mce_rdmsrl() do a plain RDMSR only

[Luck, Tony]

> Considering how this situation is supposed to almost never happen and
> how we're actually interested in the first line of the whole splat I
> pasted, how much output comes after it, doesn't really matter. All it
> matters is that the machine stops any further progress (as much as we
> can do that with a panic, ofc).

It would be a "nice to have" ... because all that extra noise pushed the
useful line off the top of the screen. For anyone with a serial console
it’s a non-issue. But since this is a "should never happen" case it isn't
worth creating a complex bunch of infrastructure.

You can slap a:

Reviewed-by: Tony Luck <tony.luck@xxxxxxxxx>

on it when you push into GIT.

-Tony