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 jbeul...@suse.com Reviewed-by: Tim Deegan

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

2015-05-29 Thread Jan Beulich
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 jbeul...@suse.com --- a/xen/arch/x86/mm/hap/hap.c +++ b/xen/arch/x86/mm/hap/hap.c @@ -464,13 +464,6 @@ int

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 jbeul...@suse.com Reviewed-by: Andrew Cooper