Workspace of build-kernel-torvalds on build4-deb12build-ansible

	call_kern.cocci	Oct 7, 2024, 9:47:17 AM	2.15 KiB
	double_lock.cocci	Oct 7, 2024, 9:47:17 AM	1.56 KiB
	flags.cocci	Oct 7, 2024, 9:47:17 AM	1.57 KiB
	mini_lock.cocci	Oct 7, 2024, 9:47:17 AM	1.77 KiB
(all files in zip)