Re: [PATCH] x86/vsyscall/64: Use proper accessor to update p4d entry

From: Juergen Gross
Date: Mon Mar 19 2018 - 11:09:54 EST


On 19/03/18 15:31, Boris Ostrovsky wrote:
> Writing to it directly does not work for Xen PV guests.
>
> Signed-off-by: Boris Ostrovsky <boris.ostrovsky@xxxxxxxxxx>

Reviewed-by: Juergen Gross <jgross@xxxxxxxx>


Juergen