gerrit-public.fairphone.software / kernel / msm-4.9 / 11032c17bd3f96a4319e4415c07fc791525b79fd / scripts / coccinelle / locks / double_lock.cocci