100644 blob 669b24436248d33a5fde8694375c8528de752f08	call_kern.cocci
100644 blob 002752f97dcab4265173fb5205db3ff393e9bc1d	double_lock.cocci
100644 blob debd70e46267f00a06e33a4b59dfeabb945bce4b	flags.cocci
100644 blob 19c6ee5b986b2019d128142dbfb6ec0f84505000	mini_lock.cocci