genodelabs/genode — Issue #50: Broken list in void Cancelable_lock::lock() when locked twice
Author: idgy
Created: 2011-12-20 12:34:38+00:00
State: open

After this code

/* reset ownership if one thread 'lock' twice */
if (_owner == myself)
_owner = Applicant(thread_invalid_id());

_last_applicant is invalid