On Wed, Nov 12, 2014 at 07:03:21PM -0800, Andy Lutomirski wrote:> printk seems to work just fine in do_machine_check.That must be pure luck. Has anything changed which I missed to makeprintk NMI-safe?-- Regards/Gruss, Boris.Sent from a fat crate under my desk. Formatting is fine.--