On Mon, Mar 19, 2018 at 2:31 PM, Boris Ostrovsky
<[email protected]> wrote:
> Writing to it directly does not work for Xen PV guests.

Whoops, my bad.

Acked-by: Andy Lutomirski <[email protected]>

>
> Signed-off-by: Boris Ostrovsky <[email protected]>
> ---
>  arch/x86/entry/vsyscall/vsyscall_64.c | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/arch/x86/entry/vsyscall/vsyscall_64.c 
> b/arch/x86/entry/vsyscall/vsyscall_64.c
> index 8560ef68a9d6..317be365bce3 100644
> --- a/arch/x86/entry/vsyscall/vsyscall_64.c
> +++ b/arch/x86/entry/vsyscall/vsyscall_64.c
> @@ -347,7 +347,7 @@ void __init set_vsyscall_pgtable_user_bits(pgd_t *root)
>         set_pgd(pgd, __pgd(pgd_val(*pgd) | _PAGE_USER));
>         p4d = p4d_offset(pgd, VSYSCALL_ADDR);
>  #if CONFIG_PGTABLE_LEVELS >= 5
> -       p4d->p4d |= _PAGE_USER;
> +       set_p4d(p4d, __p4d(p4d_val(*p4d) | _PAGE_USER));
>  #endif
>         pud = pud_offset(p4d, VSYSCALL_ADDR);
>         set_pud(pud, __pud(pud_val(*pud) | _PAGE_USER));
> --
> 2.14.3
>

Reply via email to