The C NMI handler can handle the case of nested NMIs, which is useful
here. I think we should change it to call the C NMI handler directly
here as Andy Lutomirski suggested:
On Mon, Apr 26, 2021 at 11:09 PM Andy Lutomirski <luto@xxxxxxxxxxxxxx> wrote:
The C NMI code has its own reentrancy protection and has for years.
It should work fine for this use case.
I think this is the right way.