Lock word and high_priority_wait_ex_waiter values are incompatible. This might have have happened if rw_lock_x_lock_wait() succeeds in its last locking attempt, after having the set flag already. As there can be only wait wait_ex waiter, it is safe to reset the flag if locking succeeded there.
Lock word and high_priority_ wait_ex_ waiter values are incompatible. This might have have happened if rw_lock_ x_lock_ wait() succeeds in its last locking attempt, after having the set flag already. As there can be only wait wait_ex waiter, it is safe to reset the flag if locking succeeded there.