| # | Error Type (Subtype) | File [Line] | Marking |
|---|---|---|---|
| 1 | Double Lock | drivers/block/cciss.c [2970] ▼ | Unclassified |
| 2 | Double Lock | drivers/media/video/cpia.c [1649] ▼ | Unclassified |
| 3 | Double Lock | drivers/net/bonding/bond_main.c [1883] ▼ | Unclassified |
| 4 | Double Lock | kernel/sched.c [3543] ▼ | Unclassified |
| 5 | Double Lock | drivers/char/specialix.c [268] ▼ | Unclassified |
| 6 | Double Lock | drivers/mtd/chips/cfi_cmdset_0001.c [860] ▼ | Unclassified |
| 7 | Double Lock | arch/x86/kernel/process.c [305] ▼ | Unclassified |