New output added
--- /home/cocci/outputs/results/537201/old-filtered	2024-04-04 06:24:24.597640895 -0700
+++ /home/cocci/outputs/results/537201/new-filtered	2024-04-04 06:24:24.607640942 -0700
@@ -9,0 +10,2 @@
+/home/cocci/testing/drivers/net/phy/micrel.c:3043:2-8: preceding lock on line 3017
+/home/cocci/testing/drivers/net/phy/micrel.c:3049:2-8: preceding lock on line 3017
Per-file breakdown