Author: Julia Lawall <julia@diku.dk> Add a mutex_unlock missing on the error path. In each case, whenever the label out is reached from elsewhere in the function, mutex is not locked. The semantic match that finds this problem is as follows: (http://coccinelle.lip6.fr/) // @@ expression E1; @@ * mutex_lock(E1); * mutex_unlock(E1); // Signed-off-by: Julia Lawall Reviewed-by: …