# DF-2750 fix validation - FIXED kernel (DragonFly 6.5-DEVELOPMENT #1,
# sys/kern/kern_lock.c + fix.diff: multi-count release via fcmpset retry,
# built `make nativekernel KERNCONF=X86_64_GENERIC', installed+rebooted).
# Same harness, same staged race, same guest.
#
# Command sequence (as root):
#   kldload /usr/obj/usr/src/sys/modules/lkmc/lkmc.ko
#   sysctl -w debug.lkmc=1      (shakedown)
#   sysctl -w debug.lkmc=100    (shakedown)
#   sysctl -w debug.lkmc=20000  (x3)
#   dmesg | grep lkmc
lkmc: loaded (DF-2750 PoC, persistent threads)
lkmc: rounds=1 hits=0 healed=0 bad_count=0000000000000000 stuck=0
lkmc: rounds=100 hits=0 healed=0 bad_count=0000000000000000 stuck=0
lkmc: rounds=20000 hits=0 healed=0 bad_count=0000000000000000 stuck=0
lkmc: rounds=20000 hits=0 healed=0 bad_count=0000000000000000 stuck=0
lkmc: rounds=20000 hits=0 healed=0 bad_count=0000000000000000 stuck=0
# (plus one earlier 20000-round run on this kernel with the v2 harness:
#  rounds=20000 hits=0 healed=0 stuck=0)
#
# Result: 0 lost wakeups in 60000+ staged races.  Waiter completes on its
# own every round (single-count case performs grant+wakeup after the
# fcmpset loser retries).  Baseline vs patched differ ONLY in the patched
# function.  Guest healthy throughout.