# DF-5769 fix validation — patched kernel run (identical PoC)
#
# Patched kernel: DragonFly 6.5-DEVELOPMENT #1: Sun Oct 11 18:02:40 UTC 2026
# (guest /usr/src/sys/bus/mmc/mmc.c patched with fix.diff:
#  while (iter++ < 32) bound at mmc.c:1415)
# Harness rebuilt against the patched source, then the EXACT same trigger:

kldload ./df5769.ko
kldload rc=0
# discovery now terminates after the host-side bound: exactly 32 cards
# enumerated (mmcsd0 .. mmcsd31; the fake disks then error through the
# normal production paths when the disk subsystem probes their partition
# tables - fake card refuses CMD17/18 reads):
mmcsd28: reading primary partition table: error accessing offset 000000000000 for 512
mmcsd29: reading primary partition table: error accessing offset 000000000000 for 512
mmcsd30: reading primary partition table: error accessing offset 000000000000 for 512
mmcsd31: reading primary partition table: error accessing offset 000000000000 for 512
kldunload df5769
kldunload rc=0
# M_DEVBUF fully reclaimed after unload:
vmstat -m | egrep -i devbuf
             devbuf     244    227K       0    390M      290
# (baseline: 89-94 MB and climbing, guest wedged, kldunload impossible)
# guest stayed up; vm.sh status => up.