Re: [Xen-devel] [PATCH] vmx/altp2m: Use domain_crash_sync() when failing to find the current EPTP

2018-02-05 Thread Andrew Cooper
On 05/02/18 11:21, Andrew Cooper wrote: > When failing to locate the guests EPTP in the altp2m EPTP list, use > domain_crash_sync() rather than domain_crash(). The latter returns and will > hit the subsequent BUG(). > > Signed-off-by: Andrew Cooper > --- > CC: Jan

[Xen-devel] [PATCH] vmx/altp2m: Use domain_crash_sync() when failing to find the current EPTP

2018-02-05 Thread Andrew Cooper
When failing to locate the guests EPTP in the altp2m EPTP list, use domain_crash_sync() rather than domain_crash(). The latter returns and will hit the subsequent BUG(). Signed-off-by: Andrew Cooper --- CC: Jan Beulich CC: Jun Nakajima