Re: [Xen-devel] [PATCH] x86/paging: remove pointless current domain checks

2015-06-04 Thread Tim Deegan
At 10:09 +0100 on 29 May (1432894186), Jan Beulich wrote: > Checking that the subject domain is not the current one is pointless > when already having paused that domain: domain_pause() already > ASSERT()s this to be the case. > > Signed-off-by: Jan Beulich Reviewed-by: Tim Deegan ___

Re: [Xen-devel] [PATCH] x86/paging: remove pointless current domain checks

2015-05-29 Thread Andrew Cooper
On 29/05/15 10:09, Jan Beulich wrote: > Checking that the subject domain is not the current one is pointless > when already having paused that domain: domain_pause() already > ASSERT()s this to be the case. > > Signed-off-by: Jan Beulich Reviewed-by: Andrew Cooper > > --- a/xen/arch/x86/mm/hap/