WARNING - OLD ARCHIVES

This is an archived copy of the Xen.org mailing list, which we have preserved to ensure that existing links to archives are not broken. The live archive, which contains the latest emails, can be found at http://lists.xen.org/
   
 
 
Xen 
 
Home Products Support Community News
 
   
 

xen-devel

Re: [Xen-devel] [patch] nx bit shouldn't get set when disabled


On 8 Jun 2005, at 22:30, Ian Pratt wrote:

Definitions such as __PAGE_KERNEL set NX, but as Jun pointed out,
those should only be set when NX mode is enabled.

So the extra masking isn't required?

I suspect normal hardware is prepared to put up with the bit being set
even if its not supported...

I doubt that, actually. But the kernel ought to set NX in __PAGE_KERNEL only when the hardware supports it (__PAGE_KERNEL is a variable these days, not a macro).

 -- Keir


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel