review.evervolv.com / android_kernel_oneplus_msm8996 / 1a076689cda8a1d623dcda170b2dc2b476cc6f1a / scripts / coccinelle / locks / double_lock.cocci