review.evervolv.com / android_kernel_htc_msm8960 / 25ec3e86d26b482a652f5794de88a8ee5cb3bc1d / scripts / coccinelle / locks / mini_lock.cocci