Name	Size	Modified	Perms	Actions
call_kern.cocci	2.13 KB	November 25 2019 00:32:01.	0644
double_lock.cocci	1.54 KB	November 25 2019 00:32:01.	0644
flags.cocci	1.55 KB	November 25 2019 00:32:01.	0644
mini_lock.cocci	1.75 KB	November 25 2019 00:32:01.	0644