index
:
netbsd
lockcount-9.3
lockdoc-10.99.5
lockdoc-10.99.5-vfs
lockdoc-9.3
lockdoc-9.3-vfs
trunk
NetBSD fork for lockdoc analysis
merlin@scholz.ruhr
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
sys
/
modules
Mode
Name
Size
-rw-r--r--
Makefile
9269
log
plain
-rw-r--r--
Makefile.assym
875
log
plain
-rw-r--r--
Makefile.inc
364
log
plain
-rw-r--r--
README
210
log
plain
d---------
aac
74
log
plain
d---------
accf_dataready
80
log
plain
d---------
accf_httpready
80
log
plain
d---------
acpiacad
79
log
plain
d---------
acpibat
78
log
plain
d---------
acpibut
78
log
plain
d---------
acpicpu
78
log
plain
d---------
acpidalb
79
log
plain
d---------
acpifan
78
log
plain
d---------
acpilid
78
log
plain
d---------
acpipmtr
79
log
plain
d---------
acpitz
77
log
plain
d---------
acpiverbose
115
log
plain
d---------
acpivga
78
log
plain
d---------
acpiwdrt
79
log
plain
d---------
acpiwmi
78
log
plain
d---------
adiantum
36
log
plain
d---------
adosfs
36
log
plain
d---------
aibs
75
log
plain
d---------
aio
36
log
plain
d---------
am2315temp
81
log
plain
d---------
amdgpu
77
log
plain
d---------
amdsmn
77
log
plain
d---------
amdtemp
78
log
plain
d---------
amdzentemp
81
log
plain
d---------
amr
74
log
plain
d---------
apple_smc
36
log
plain
d---------
apple_smc_acpi
85
log
plain
d---------
apple_smc_fan
84
log
plain
d---------
apple_smc_temp
85
log
plain
d---------
aps
74
log
plain
d---------
arch
248
log
plain
d---------
asus
75
log
plain
d---------
ataraid
78
log
plain
d---------
ath
36
log
plain
d---------
ath_hal
120
log
plain
d---------
ati_pcigart
36
log
plain
d---------
au8522
36
log
plain
d---------
audio
76
log
plain
d---------
autofs
77
log
plain
d---------
auvitek
78
log
plain
d---------
blake2s
36
log
plain
d---------
blowfish
36
log
plain
d---------
bpf
36
log
plain
d---------
bpf_filter
36
log
plain
d---------
bpfjit
36
log
plain
d---------
bufq_disksort
36
log
plain
d---------
bufq_fcfs
36
log
plain
d---------
bufq_priocscan
36
log
plain
d---------
bufq_readprio
36
log
plain
d---------
cac
74
log
plain
d---------
cac_eisa
79
log
plain
d---------
cac_pci
78
log
plain
d---------
camellia
36
log
plain
d---------
cast128
36
log
plain
d---------
ccd
74
log
plain
d---------
cd9660
36
log
plain
d---------
cgd
74
log
plain
d---------
chfs
36
log
plain
d---------
cir
74
log
plain
d---------
clockctl
79
log
plain
d---------
coda
75
log
plain
d---------
coda5
76
log
plain
d---------
compat_09
36
log
plain
d---------
compat_10
36
log
plain
d---------
compat_12
36
log
plain
d---------
compat_13
36
log
plain
d---------
compat_14
36
log
plain
d---------
compat_16
36
log
plain
d---------
compat_20
36
log
plain
d---------
compat_30
36
log
plain
d---------
compat_40
36
log
plain
d---------
compat_43
36
log
plain
d---------
compat_50
36
log
plain
d---------
compat_50_quota
36
log
plain
d---------
compat_60
36
log
plain
d---------
compat_70
36
log
plain
d---------
compat_80
36
log
plain
d---------
compat_90
36
log
plain
d---------
compat_aoutm68k
36
log
plain
d---------
compat_crypto_50
36
log
plain
d---------
compat_freebsd
36
log
plain
d---------
compat_linux
36
log
plain
d---------
compat_linux32
36
log
plain
d---------
compat_netbsd32
36
log
plain
d---------
compat_netbsd32_09
36
log
plain
d---------
compat_netbsd32_12
36
log
plain
d---------
compat_netbsd32_13
36
log
plain
d---------
compat_netbsd32_16
36
log
plain
d---------
compat_netbsd32_20
36
log
plain
d---------
compat_netbsd32_30
36
log
plain
d---------
compat_netbsd32_40
36
log
plain
d---------
compat_netbsd32_43
36
log
plain
d---------
compat_netbsd32_50
36
log
plain
d---------
compat_netbsd32_60
36
log
plain
d---------
compat_netbsd32_80
36
log
plain
d---------
compat_netbsd32_90
36
log
plain
d---------
compat_netbsd32_coredump
36
log
plain
d---------
compat_netbsd32_mqueue
36
log
plain
d---------
compat_netbsd32_nfssrv
36
log
plain
d---------
compat_netbsd32_ptrace
36
log
plain
d---------
compat_netbsd32_quota
36
log
plain
d---------
compat_netbsd32_quota_50
36
log
plain
d---------
compat_netbsd32_raid
36
log
plain
d---------
compat_netbsd32_sysvipc
36
log
plain
d---------
compat_netbsd32_sysvipc_10
36
log
plain
d---------
compat_netbsd32_sysvipc_14
36
log
plain
d---------
compat_netbsd32_sysvipc_50
36
log
plain
d---------
compat_ossaudio
36
log
plain
d---------
compat_raid_50
36
log
plain
d---------
compat_raid_80
36
log
plain
d---------
compat_sunos
36
log
plain
d---------
compat_sunos32
36
log
plain
d---------
compat_sysctl_09_43
36
log
plain
d---------
compat_sysv_10
36
log
plain
d---------
compat_sysv_14
36
log
plain
d---------
compat_sysv_50
36
log
plain
d---------
compat_util
36
log
plain
d---------
coram
76
log
plain
d---------
coredump
36
log
plain
d---------
coretemp
79
log
plain
d---------
crypto
77
log
plain
d---------
cx24227
36
log
plain
d---------
cxdtv
76
log
plain
d---------
cyclic
36
log
plain
d---------
dbcool
77
log
plain
d---------
des
36
log
plain
d---------
dk_subr
36
log
plain
d---------
dm
244
log
plain
d---------
drm
36
log
plain
d---------
drmkms
109
log
plain
d---------
drmkms_agp
36
log
plain
d---------
drmkms_linux
36
log
plain
d---------
drmkms_pci
36
log
plain
d---------
drmkms_sched
36
log
plain
d---------
drmkms_ttm
36
log
plain
d---------
drvctl
77
log
plain
d---------
dtrace
357
log
plain
d---------
dtv
74
log
plain
d---------
dtv_math
36
log
plain
d---------
efs
36
log
plain
d---------
emdtv
76
log
plain
d---------
est
74
log
plain
d---------
examples
684
log
plain
d---------
exec_aout
36
log
plain
d---------
exec_ecoff
36
log
plain
d---------
exec_elf32
36
log
plain
d---------
exec_elf64
36
log
plain
d---------
exec_script
36
log
plain
d---------
ext2fs
36
log
plain
d---------
fdesc
36
log
plain
d---------
ffs
36
log
plain
d---------
filecore
36
log
plain
d---------
finsio
77
log
plain
d---------
flash
76
log
plain
d---------
fss
74
log
plain
d---------
fujbp
76
log
plain
d---------
fujhk
76
log
plain
d---------
gpio
75
log
plain
d---------
gpioiic
78
log
plain
d---------
gpioirq
78
log
plain
d---------
gpioow
77
log
plain
d---------
gpiopps
78
log
plain
d---------
gpiosim
113
log
plain
d---------
hdafg
116
log
plain
d---------
hdaudio
76
log
plain
d---------
hdaudio_pci
122
log
plain
d---------
hdaudioverbose
36
log
plain
d---------
hfs
36
log
plain
d---------
hifn
75
log
plain
d---------
hpacel
77
log
plain
d---------
hpet
75
log
plain
d---------
hpqlb
76
log
plain
d---------
hythygtemp
81
log
plain
d---------
i2c_bitbang
36
log
plain
d---------
i2c_subr
36
log
plain
d---------
i2cexec
36
log
plain
d---------
i915drm
78
log
plain
d---------
i915drmkms
81
log
plain
d---------
ichsmb
77
log
plain
d---------
if_agr
74
log
plain
d---------
if_alc
77
log
plain
d---------
if_aq
76
log
plain
d---------
if_ath_pci
81
log
plain
d---------
if_athn_usb
82
log
plain
d---------
if_aue
77
log
plain
d---------
if_axe
77
log
plain
d---------
if_axen
78
log
plain
d---------
if_cas
77
log
plain
d---------
if_cdce
78
log
plain
d---------
if_cue
77
log
plain
d---------
if_faith
76
log
plain
d---------
if_gif
74
log
plain
d---------
if_gre
74
log
plain
d---------
if_iavf
78
log
plain
d---------
if_ixl
77
log
plain
d---------
if_kue
77
log
plain
d---------
if_l2tp
75
log
plain
d---------
if_lagg
75
log
plain
d---------
if_loop
75
log
plain
d---------
if_mpls
75
log
plain
d---------
if_mue
77
log
plain
d---------
if_npflog
36
log
plain
d---------
if_ppp
74
log
plain
d---------
if_pppoe
76
log
plain
d---------
if_rum
77
log
plain
d---------
if_run
77
log
plain
d---------
if_sl
73
log
plain
d---------
if_smsc
78
log
plain
d---------
if_srt
74
log
plain
d---------
if_stf
74
log
plain
d---------
if_tap
74
log
plain
d---------
if_tun
74
log
plain
d---------
if_udav
78
log
plain
d---------
if_upl
77
log
plain
d---------
if_ure
77
log
plain
d---------
if_url
77
log
plain
d---------
if_urndis
80
log
plain
d---------
if_urtwn
79
log
plain
d---------
if_vioif
79
log
plain
d---------
if_vlan
75
log
plain
d---------
if_vmx
77
log
plain
d---------
if_wg
73
log
plain
d---------
iic
74
log
plain
d---------
imc
74
log
plain
d---------
imcsmb
77
log
plain
d---------
ip_ecn
36
log
plain
d---------
ipl
36
log
plain
d---------
ir
36
log
plain
d---------
irmce
76
log
plain
d---------
iscsi
76
log
plain
d---------
itesio
77
log
plain
d---------
kernfs
36
log
plain
d---------
layerfs
36
log
plain
d---------
ld
73
log
plain
d---------
ld_aac
77
log
plain
d---------
ld_amr
77
log
plain
d---------
ld_ataraid
81
log
plain
d---------
ld_cac
77
log
plain
d---------
ld_icp
77
log
plain
d---------
ld_mlx
77
log
plain
d---------
ld_nvme
78
log
plain
d---------
ld_sdmmc
79
log
plain
d---------
ld_twa
77
log
plain
d---------
ld_twe
77
log
plain
d---------
ld_virtio
80
log
plain
d---------
lfs
36
log
plain
d---------
lg3303
36
log
plain
d---------
lm
36
log
plain
d---------
lm_isa
77
log
plain
d---------
lm_isa_common
36
log
plain
d---------
lm_wbsio
79
log
plain
d---------
lua
181
log
plain
d---------
luapmf
72
log
plain
d---------
luasystm
110
log
plain
d---------
mach64drm
80
log
plain
d---------
mfs
36
log
plain
d---------
mgadrm
77
log
plain
d---------
midi
36
log
plain
d---------
midi_seq
79
log
plain
d---------
miiverbose
36
log
plain
d---------
miniroot
74
log
plain
d---------
mlx
74
log
plain
d---------
mlx_eisa
79
log
plain
d---------
mlx_pci
78
log
plain
d---------
mqueue
36
log
plain
d---------
msdos
36
log
plain
d---------
mt2131
36
log
plain
d---------
nand
113
log
plain
d---------
nandemulator
83
log
plain
d---------
nfs
36
log
plain
d---------
nfsserver
36
log
plain
d---------
nilfs
36
log
plain
d---------
npf
74
log
plain
d---------
npf_alg_icmp
36
log
plain
d---------
npf_ext_log
36
log
plain
d---------
npf_ext_normalize
36
log
plain
d---------
npf_ext_rndblock
36
log
plain
d---------
nsclpcsio
80
log
plain
d---------
nsmb
36
log
plain
d---------
ntfs
36
log
plain
d---------
null
36
log
plain
d---------
nvme
75
log
plain
d---------
nvmm
75
log
plain
d---------
nxt2k
36
log
plain
d---------
odcm
75
log
plain
d---------
onewire
78
log
plain
d---------
opencrypto
81
log
plain
d---------
overlay
36
log
plain
d---------
pad
74
log
plain
d---------
padlock
78
log
plain
d---------
panic
71
log
plain
d---------
pciverbose
36
log
plain
d---------
pf
176
log
plain
d---------
powernow
79
log
plain
d---------
ppp_bsdcomp
36
log
plain
d---------
ppp_deflate
36
log
plain
d---------
procfs
36
log
plain
d---------
pseye
76
log
plain
d---------
ptrace
36
log
plain
d---------
ptrace_common
74
log
plain
d---------
ptyfs
36
log
plain
d---------
pud
36
log
plain
d---------
puffs
36
log
plain
d---------
putter
36
log
plain
d---------
pwdog
76
log
plain
d---------
r128drm
78
log
plain
d---------
radeondrm
80
log
plain
d---------
raid
75
log
plain
d---------
savagedrm
80
log
plain
d---------
scmd
75
log
plain
d---------
scmdi2c
78
log
plain
d---------
scsi_subr
36
log
plain
d---------
scsiverbose
36
log
plain
d---------
sdtemp
77
log
plain
d---------
secmodel_bsd44
36
log
plain
d---------
secmodel_extensions
36
log
plain
d---------
secmodel_overlay
36
log
plain
d---------
securelevel
36
log
plain
d---------
sequencer
36
log
plain
d---------
sgp40mox
79
log
plain
d---------
sht3xtemp
80
log
plain
d---------
sht4xtemp
80
log
plain
d---------
si70xxtemp
81
log
plain
d---------
sisdrm
77
log
plain
d---------
skipjack
36
log
plain
d---------
slcompress
36
log
plain
d---------
sljit
36
log
plain
d---------
smsc
75
log
plain
d---------
sodium
79
log
plain
d---------
solaris
79
log
plain
d---------
spdmem
77
log
plain
d---------
spkr
75
log
plain
d---------
sppp_subr
36
log
plain
d---------
srt
69
log
plain
d---------
suser
36
log
plain
d---------
swcrypto
79
log
plain
d---------
swsensor
36
log
plain
d---------
swwdog
36
log
plain
d---------
sysmon
36
log
plain
d---------
sysmon_envsys
36
log
plain
d---------
sysmon_power
36
log
plain
d---------
sysmon_taskq
36
log
plain
d---------
sysmon_wdog
36
log
plain
d---------
sysv_ipc
36
log
plain
d---------
sysvbfs
36
log
plain
d---------
tap
69
log
plain
d---------
tco
74
log
plain
d---------
tdfxdrm
78
log
plain
d---------
thinkpad
79
log
plain
d---------
tmpfs
36
log
plain
d---------
tprof
76
log
plain
d---------
tprof_x86
36
log
plain
d---------
tun
69
log
plain
d---------
tvpll
36
log
plain
d---------
twa
74
log
plain
d---------
twe
74
log
plain
d---------
ualea
76
log
plain
d---------
uatp
75
log
plain
d---------
uaudio
36
log
plain
d---------
ubsec
76
log
plain
d---------
udf
36
log
plain
d---------
ufs
36
log
plain
d---------
umap
36
log
plain
d---------
union
36
log
plain
d---------
unionfs
36
log
plain
d---------
usbnet
36
log
plain
d---------
usbverbose
36
log
plain
d---------
uvideo
36
log
plain
d---------
v7fs
36
log
plain
d---------
vboxdrm
78
log
plain
d---------
vcoda
76
log
plain
d---------
viac7temp
80
log
plain
d---------
viadrmums
80
log
plain
d---------
vio9p
76
log
plain
d---------
viomb
76
log
plain
d---------
vioscsi
78
log
plain
d---------
virtio
36
log
plain
d---------
virtio_pci
81
log
plain
d---------
vmt
74
log
plain
d---------
vnd
74
log
plain
d---------
wapbl
36
log
plain
d---------
wbsio
76
log
plain
d---------
wmidell
78
log
plain
d---------
wmieeepc
79
log
plain
d---------
wmihp
76
log
plain
d---------
wmimsi
77
log
plain
d---------
wsbell
77
log
plain
d---------
xc3028
36
log
plain
d---------
xc5k
36
log
plain
d---------
xldscripts
71
log
plain
d---------
zfs
79
log
plain
d---------
zl10353
36
log
plain
d---------
zlib
36
log
plain