hap_teardown() unconditionally releases the paging lock and is always
being called without the lock held: Lock acquire should then be
unconditional too.
Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
ASSERT(d->is_dying);
ASSERT(d != current->domain);
- if ( !paging_locked_by_me(d) )
- paging_lock(d); /* Keep various asserts happy */
+ paging_lock(d); /* Keep various asserts happy */
if ( paging_mode_enabled(d) )
{