> > As explained in some other mail, we could then emulate the missing > kernel feature by reading out the current in-kernel APIC state, testing > if LINT1 is unmasked, and then delivering the NMI directly. >
Only the thread of the VCPU can safely get the in-kernel LAPIC states, so this approach will cause some troubles. Since it is a kernel bug, I think we need to change the kernel. Thanks, lai