DF-5200 / run_fixed.log
cc -O2 -pipe -I/usr/src/sys/dev/drm/include -I/usr/src/sys/dev/drm/include/drm -I/usr/src/sys/dev/drm/include/uapi -I/usr/src/sys/dev/drm/scheduler -include /usr/src/sys/dev/drm/kconfig.h -DKBUILD_MODNAME=\"df5200\" -D_KERNEL -Wall -Wredundant-decls -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wpointer-arith -Wcast-qual -Wold-style-definition -Wmissing-include-dirs -Wno-pointer-sign -Winit-self -Wundef -Wno-unused-but-set-variable -std=gnu11 -Werror -DKLD_MODULE -nostdinc -I/usr/src/sys/dev/drm/include -I/usr/src/sys/dev/drm/include/drm -I/usr/src/sys/dev/drm/include/uapi -I/usr/src/sys/dev/drm/scheduler -I. -Idragonfly -I/tmp/DF-5200/forwarder_x86_64/include -Idragonfly/../include -I/usr/include -Wold-style-declaration -fno-common -ffreestanding -fno-stack-protector -fno-strict-aliasing -fno-strict-overflow -fno-asynchronous-unwind-tables -fno-omit-frame-pointer -mcmodel=kernel -mno-red-zone -mno-mmx -mno-sse -msoft-float -mno-fp-ret-in-387 -mindirect-branch=thunk-inline -c df5200.c cc -Wl,--build-id=sha1 -nostdlib -Wl,--hash-style=sysv -r -Wl,-d -o df5200.ko df5200.o [DF5200] loaded (kthread shim from drm.ko) [DF5200] t1 r1/5: park() returned; worker visits during 500ms 'parked' window: 13 -> 13 (frozen (correct)) SHOULD_PARK bit now=0 [DF5200] t1 r2/5: park() returned; worker visits during 500ms 'parked' window: 13 -> 13 (frozen (correct)) SHOULD_PARK bit now=0 [DF5200] t1 r3/5: park() returned; worker visits during 500ms 'parked' window: 13 -> 13 (frozen (correct)) SHOULD_PARK bit now=0 [DF5200] t1 r4/5: park() returned; worker visits during 500ms 'parked' window: 13 -> 13 (frozen (correct)) SHOULD_PARK bit now=0 [DF5200] t1 r5/5: park() returned; worker visits during 500ms 'parked' window: 13 -> 13 (frozen (correct)) SHOULD_PARK bit now=0 [DF5200] t1 RESULT: 0/5 rounds violated the park quiescence contract; 0 post-park visits total [DF5200] t2 RESULT: 0/5 rounds corrupted the reallocated victim (5 same-address overlaps); 0 UAF reads of freed memory (badmagic 0 -> 0); total worker writes=13