linux/i386: Use normal set_pmd() in vmalloc_sync_one() on modern Xen

Signed-off-by: Jan Beulich <jbeulich@novell.com>

diff --git a/arch/i386/mm/fault-xen.c b/arch/i386/mm/fault-xen.c
index 97f5a5a59d7d9aa92f3aac520e076ba2f417b19d..bd052c914e783cd5f34320d17ef90649f9fac1ca 100644 (file)
--- a/arch/i386/mm/fault-xen.c
+++ b/arch/i386/mm/fault-xen.c
@@ -382,11 +382,11 @@ static inline pmd_t *vmalloc_sync_one(pgd_t *pgd, unsigned long address)
        if (!pmd_present(*pmd_k))
                return NULL;
        if (!pmd_present(*pmd))
-#ifndef CONFIG_XEN
+#if CONFIG_XEN_COMPAT > 0x030002
                set_pmd(pmd, *pmd_k);
 #else
                /*
-                * When running on Xen we must launder *pmd_k through
+                * When running on older Xen we must launder *pmd_k through
                 * pmd_val() to ensure that _PAGE_PRESENT is correctly set.
                 */
                set_pmd(pmd, __pmd(pmd_val(*pmd_k)));