=== logicproof run 1 ===
PASS 1 counted         : 32 entries
list length in PASS 2  : 187201 entries (+187169 grown during M_WAITOK window)
OOB WRITES DETECTED    : 11978816 bytes written past the kmalloc'd buffer
=> drm_clients_info() pass 2 overflows the count-sized allocation whenever dev->filelist
   grows between the two walks (drm_sysctl.c:271-282)
=== logicproof run 2 ===
PASS 1 counted         : 32 entries
list length in PASS 2  : 419073 entries (+419041 grown during M_WAITOK window)
OOB WRITES DETECTED    : 26818624 bytes written past the kmalloc'd buffer
=> drm_clients_info() pass 2 overflows the count-sized allocation whenever dev->filelist
   grows between the two walks (drm_sysctl.c:271-282)
=== logicproof run 3 ===
PASS 1 counted         : 32 entries
list length in PASS 2  : 454230 entries (+454197 grown during M_WAITOK window)
OOB WRITES DETECTED    : 29068608 bytes written past the kmalloc'd buffer
=> drm_clients_info() pass 2 overflows the count-sized allocation whenever dev->filelist
   grows between the two walks (drm_sysctl.c:271-282)

trig4531.c: In function 'sysctl_reader':
trig4531.c:59:21: warning: unused parameter 'arg' [-Wunused-parameter]
 sysctl_reader(void *arg)
               ~~~~~~^~~
trig4531.c: In function 'filelist_grower':
trig4531.c:78:23: warning: unused parameter 'arg' [-Wunused-parameter]
 filelist_grower(void *arg)
                 ~~~~~~^~~
BUILD_OK
/dev/dri/card0: No such file or directory — this system has no DRM device; the race cannot be driven here.
trigger: 5s, sysctl=hw.dri.0.clients card=/dev/dri/card0
sysctl reads driven: 0, open() grow-cycles: 0
rc=0
/dev/dri/card0: No such file or directory — no DRM device on this system; the kref accounting cannot be exercised here.
rc=0