New output added
--- /home/cocci/outputs/results/537381/old-filtered	2024-04-04 09:28:00.717481274 -0700
+++ /home/cocci/outputs/results/537381/new-filtered	2024-04-04 09:28:00.727481321 -0700
@@ -13,0 +14,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