review.evervolv.com / android_kernel_htc_msm8960 / 30c95c2d495c1c8d4d6a97bb9f4e4eacb91ba1d2 / scripts / coccinelle / locks / double_lock.cocci