tree b29dc3f5ae86e9d9c0092f398ed80dc416fc003d
parent 51c237d7e20d05100eacadee2f61abc17e6bc097
author Richard Henderson <rth@twiddle.net> 1553544593 -0700
committer Richard Henderson <rth@twiddle.net> 1553544593 -0700

Report machine checks to the kernel

Use a minimally populated logout frame.  This is good enough to
handle probing of devices using the kernel's mcheck_expected.

Signed-off-by: Richard Henderson <rth@twiddle.net>