--- 79f97383cde3be99da33f092c7604876be896dab +++ 3578688ab670e4298e569021ed8a4495edf74568 @@ -48,6 +48,7 @@ #include #include #include +#include #include #include #include @@ -1092,6 +1093,12 @@ asmlinkage void __init xen_start_kernel( __supported_pte_mask |= _PAGE_IOMAP; + /* + * Prevent page tables from being allocated in highmem, even + * if CONFIG_HIGHPTE is enabled. + */ + __userpte_alloc_gfp &= ~__GFP_HIGHMEM; + #ifdef CONFIG_X86_64 /* Work out if we support NX */ check_efer();