review.evervolv.com / android_kernel_htc_msm8960 / ee14186f8d2338227888f3c00a06caf31f94de38 / scripts / coccinelle / locks / double_lock.cocci