tree e43090b2e37545985b4de136c2dc382108f92aff
parent 1e6fcf840e11ceff8a656a678c6e4b0560a98e08
author Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com> 1238178542 -0700
committer Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com> 1238430336 -0700

xen: set _PAGE_NX in __supported_pte_mask before pagetable construction

Some 64-bit machines don't support the NX flag in ptes.
Check for NX before constructing the kernel pagetables.

Signed-off-by: Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com>