Author: Julia Lawall <julia@diku.dk> In some error handling cases the lock is not unlocked. A simplified version of the semantic patch that finds this problem is as follows: (http://coccinelle.lip6.fr/) // @r exists@ expression E1; identifier f; @@ f (…) { } // Signed-off-by: Julia Lawall Signed-off-by: Benjamin Herrenschmidt — drivers/macintosh/macio-adb.c | 1 + drivers/macintosh/smu.c | …