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

[Juergen Gross]

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.ostrov...@oracle.com>

Reviewed-by: Juergen Gross <jgr...@suse.com>


Juergen