4f76e86f7e0d ("KVM: VMX: Provide separate subroutines for invoking NMI vs. IRQ handlers")
54a3b70a75dc ("x86/entry: KVM: Use dedicated VMX NMI entry for 32-bit kernels too")