100755 blob 669b24436248d33a5fde8694375c8528de752f08	call_kern.cocci
100755 blob 002752f97dcab4265173fb5205db3ff393e9bc1d	double_lock.cocci
100755 blob debd70e46267f00a06e33a4b59dfeabb945bce4b	flags.cocci
100755 blob 47f649b0ea876593353ed045657b2632f17beb72	mini_lock.cocci