Re: [patch V4 part 4 13/24] x86/entry: Convert NMI to IDTENTRY_NMI
From: Andy Lutomirski
Date: Fri May 15 2020 - 01:26:34 EST
On Tue, May 5, 2020 at 7:16 AM Thomas Gleixner <tglx@xxxxxxxxxxxxx> wrote:
>
> Convert #NMI to IDTENTRY_NMI:
> - Implement the C entry point with DEFINE_IDTENTRY_NMI
> - Fixup the XEN/PV code
> - Remove the old prototyoes
>
> No functional change.
Acked-by: Andy Lutomirski <luto@xxxxxxxxxx>