Listing errors from Undetermined 1

Number of listed errors: 121
# Error Type (Subtype) File [Line] Marking
1 Double Lock kernel/signal.c [1741] False positive
2 Double Lock kernel/sched.c [4463] False positive
3 Double Lock fs/namespace.c [279] False positive
4 Double Lock fs/dcache.c [223] False positive
5 Double Lock fs/dcache.c [442] False positive
6 Double Lock mm/mmap.c [553] False positive
7 Double Lock sound/core/pcm_native.c [708] False positive
8 Double Lock kernel/futex.c [908] False positive
9 Double Lock fs/jfs/jfs_txnmgr.c [204] False positive
10 Double Lock mm/memory.c [567] False positive
11 Double Lock fs/jfs/jfs_txnmgr.c [383] False positive
12 Double Lock fs/jfs/jfs_txnmgr.c [395] False positive
13 Double Lock fs/jfs/jfs_txnmgr.c [406] False positive
14 Double Lock fs/jfs/jfs_txnmgr.c [416] False positive
15 Double Lock mm/mmap.c [2405] False positive
16 Double Lock mm/mmap.c [2398] False positive
17 Double Lock net/mac80211/scan.c [44] False positive
18 Double Lock fs/super.c [343] False positive
19 Double Lock fs/jfs/jfs_txnmgr.c [477] False positive
20 Double Lock fs/jfs/jfs_txnmgr.c [486] False positive
21 Double Lock ipc/namespace.c [80] False positive
22 Double Lock block/blk-core.c [1241] False positive
23 Double Lock kernel/sched.c [9342] False positive
24 Double Lock net/core/dev.c [2403] False positive
25 Double Lock kernel/sched.c [9319] False positive
26 Leaving function in locked state mm/mremap.c [127] False positive
27 Leaving function in locked state fs/mbcache.c [541] False positive
28 Leaving function in locked state drivers/mtd/chips/cfi_cmdset_0001.c [924] False positive
29 Leaving function in locked state net/ipv4/inet_connection_sock.c [179] False positive
30 Leaving function in locked state lib/dec_and_lock.c [30] False positive
31 Leaving function in locked state fs/xfs/xfs_mru_cache.c [563] False positive
32 Leaving function in locked state fs/xfs/xfs_mru_cache.c [592] False positive
33 Leaving function in locked state kernel/sched.c [4509] False positive
34 Leaving function in locked state fs/dcache.c [259] False positive
35 Leaving function in locked state fs/dcache.c [444] False positive
36 Leaving function in locked state kernel/semaphore.c [233] False positive
37 Leaving function in locked state arch/x86/mm/pageattr.c [471] False positive
38 Leaving function in locked state arch/x86/mm/pageattr.c [534] False positive
39 Leaving function in locked state net/xfrm/xfrm_state.c [1960] False positive
40 Leaving function in locked state fs/dcache.c [1534] False positive
41 Leaving function in locked state fs/fs-writeback.c [411] False positive
42 Leaving function in locked state net/xfrm/xfrm_policy.c [2362] False positive
43 Leaving function in locked state fs/mbcache.c [586] False positive
44 Leaving function in locked state fs/jbd/checkpoint.c [173] False positive
45 Leaving function in locked state block/blk-core.c [872] False positive
46 Leaving function in locked state mm/mmap.c [660] False positive
47 Leaving function in locked state fs/xfs/xfs_filestream.c [316] False positive
48 Leaving function in locked state fs/xfs/xfs_filestream.c [325] False positive
49 Leaving function in locked state fs/xfs/xfs_filestream.c [347] False positive
50 Leaving function in locked state include/linux/netdevice.h [1570] False positive
51 Leaving function in locked state fs/xfs/xfs_filestream.c [683] False positive
52 Leaving function in locked state fs/xfs/xfs_filestream.c [498] False positive
53 Leaving function in locked state fs/inotify.c [444] False positive
54 Leaving function in locked state fs/jfs/jfs_logmgr.c [2101] False positive
55 Leaving function in locked state sound/core/pcm_native.c [784] False positive
56 Leaving function in locked state kernel/futex.c [978] False positive
57 Leaving function in locked state kernel/futex.c [878] False positive
58 Leaving function in locked state kernel/signal.c [1589] False positive
59 Leaving function in locked state drivers/scsi/qla2xxx/qla_iocb.c [540] False positive
60 Leaving function in locked state fs/jbd2/checkpoint.c [175] False positive
61 Leaving function in locked state fs/jfs/jfs_txnmgr.c [861] False positive
62 Leaving function in locked state mm/memory.c [569] False positive
63 Leaving function in locked state mm/memory.c [602] False positive
64 Leaving function in locked state net/netlink/af_netlink.c [194] False positive
65 Leaving function in locked state drivers/net/wireless/ath9k/xmit.c [1846] False positive
66 Leaving function in locked state kernel/audit_tree.c [319] False positive
67 Leaving function in locked state fs/ocfs2/dlm/dlmthread.c [80] False positive
68 Leaving function in locked state drivers/scsi/dpt_i2o.c [1362] False positive
69 Leaving function in locked state net/sctp/socket.c [5689] False positive
70 Leaving function in locked state drivers/ide/ide.c [148] False positive
71 Leaving function in locked state drivers/infiniband/hw/cxgb3/iwch_qp.c [836] False positive
72 Leaving function in locked state drivers/char/ip2/i2lib.c [770] False positive
73 Leaving function in locked state fs/ocfs2/dlm/dlmmaster.c [2720] False positive
74 Leaving function in locked state drivers/mtd/chips/cfi_cmdset_0001.c [947] False positive
75 Leaving function in locked state drivers/mtd/chips/cfi_cmdset_0002.c [579] False positive
76 Leaving function in locked state drivers/mtd/chips/cfi_cmdset_0002.c [618] False positive
77 Leaving function in locked state drivers/mtd/chips/cfi_cmdset_0002.c [628] False positive
78 Leaving function in locked state drivers/pci/access.c [91] False positive
79 Leaving function in locked state drivers/mtd/chips/cfi_cmdset_0001.c [1249] False positive
80 Leaving function in locked state drivers/mtd/chips/cfi_cmdset_0001.c [1208] False positive
81 Leaving function in locked state net/atm/lec.c [1087] False positive
82 Leaving function in locked state drivers/isdn/i4l/isdn_net.h [96] False positive
83 Leaving function in locked state drivers/mtd/chips/cfi_cmdset_0001.c [886] False positive
84 Leaving function in locked state fs/fuse/dev.c [977] False positive
85 Leaving function in locked state fs/ocfs2/dlm/dlmthread.c [217] False positive
86 Leaving function in locked state net/ipv4/igmp.c [2304] False positive
87 Leaving function in locked state net/ipv4/igmp.c [2459] False positive
88 Leaving function in locked state net/dccp/ccid.c [33] False positive
89 Leaving function in locked state drivers/scsi/aacraid/commsup.c [1272] False positive
90 Leaving function in locked state drivers/net/wireless/orinoco.h [204] False positive
91 Leaving function in locked state fs/fuse/dev.c [1013] False positive
92 Leaving function in locked state net/ipv4/igmp.c [2327] False positive
93 Leaving function in locked state net/ipv4/igmp.c [2492] False positive
94 Leaving function in locked state net/irda/irlmp.c [1873] False positive
95 Leaving function in locked state drivers/net/pcnet32.c [1143] False positive
96 Leaving function in locked state drivers/net/pcnet32.c [1140] False positive
97 Leaving function in locked state fs/fuse/dev.c [682] False positive
98 Leaving function in locked state kernel/rtmutex.c [581] False positive
99 Leaving function in locked state drivers/atm/he.c [1857] False positive
100 Leaving function in locked state drivers/scsi/scsi_lib.c [1533] False positive
101 Leaving function in locked state kernel/cgroup.c [2517] False positive
102 Leaving function in locked state drivers/block/nbd.c [558] False positive
103 Leaving function in locked state drivers/ata/libata-scsi.c [3049] False positive
104 Leaving function in locked state net/bluetooth/rfcomm/sock.c [122] False positive
105 Leaving function in locked state drivers/block/cciss.c [2913] False positive
106 Leaving function in locked state fs/cifs/file.c [333] False positive
107 Leaving function in locked state drivers/scsi/libiscsi.c [1318] False positive
108 Leaving function in locked state drivers/scsi/libiscsi.c [1324] False positive
109 Leaving function in locked state drivers/scsi/libiscsi.c [1337] False positive
110 Leaving function in locked state ipc/sem.c [270] False positive
111 Leaving function in locked state drivers/scsi/scsi_lib.c [1727] False positive
112 Leaving function in locked state ipc/shm.c [414] False positive
113 Leaving function in locked state ipc/msg.c [208] False positive
114 Double Lock fs/ext4/mballoc.c [4189] Real error
115 Leaving function in locked state drivers/isdn/hisax/icc.c [566] Real error
116 Leaving function in locked state drivers/net/qlge/qlge_main.c [3541] Real error
117 Leaving function in locked state drivers/isdn/hisax/amd7930_fn.c [667] Real error
118 Leaving function in locked state fs/ext4/mballoc.c [4218] Real error
119 Leaving function in locked state drivers/block/cciss.c [2981] Real error
120 Leaving function in locked state fs/ocfs2/dlm/dlmdomain.c [1748] Real error
121 Leaving function in locked state drivers/char/generic_serial.c [593] Real error