Re: [PATCH] mutex: fix deadlock injection