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>
Release-acked-by: Julien Grall <julien.grall@arm.com>
master commit:
c9ec0d34e462151d39e0e901b50501db4f6ae78d
master date: 2017-06-13 10:38:02 +0200
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) )
{