RE: [RFC] x86_64: A real proposal for iret-less return to kernel

[Luck, Tony]

> FWIW, this means that there really is a problem if one of these #MC
> errors hits an innocent bystander who just happens to be handling an
> NMI, at least if we delete the nested NMI code.  But I think my
> simplified proposal gets this right.

Yes. Bystander broadcast machine checks can and will hit processors
that are in NMI context ... and we must not make that fatal. Peek
harder at your proposal so you can state confidently that you get
this right.  "I think ... gets this right" is a bit too wishy-washy for
mission critical :-)

-Tony