Re: [RFC PATCH] x86 NMI-safe INT3 and Page Fault (v2)

From: H. Peter Anvin
Date: Wed Apr 16 2008 - 11:26:25 EST


Ingo Molnar wrote:
* Ingo Molnar <mingo@xxxxxxx> wrote:

thanks Mathieu, i've picked this up into x86.git for more testing.

... but had to drop it due to missing PARAVIRT support which broke the build. I guess on paravirt we could just initially define INTERRUPT_RETURN_NMI_SAFE to iret, etc.?

I figure that's what we'd have to do. This is exactly the fundamental problem with paravirt - it relies on a different, an ill-defined, model of the platform than the (generally well-defined) hardware specification provides.


-hpa
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/