# BASELINE (stock kernel: DragonFly 6.5-DEVELOPMENT #0: Thu Jul 2 06:02:54 UTC 2026)
# Run 1: ./ata_detach_race 0 45  -> survived 45s, but dmesg showed the
#         double-teardown firing every cycle:
#   warning: unregister_int: int 14 handler for ata0 not found
#   interrupt uses mplock: ata0 / atapicam0: detached (repeatedly)
# Run 2: ./ata_detach_race 0 150 -> survived; unregister_int warnings now
#         print CORRUPTED device names (reads of freed device memory):
#   warning: unregister_int: int 14 handler for <garbage bytes> not found   (x483 total)
# Run 3: ./ata_detach_race 1 90   -> PANIC at t+30s (channel 1 has real
#         children acd0/cd0/atapicam0).  Serial capture in serial_a2_panic.log:
panic: assertion "(sr->flags & SRF_PUTAWAY) == 0" failed in sysref_put at /usr/src/sys/sys/sysref2.h:85
cpuid = 2
Trace beginning at frame 0xfffff8008d1f4a60
destroy_only_dev() at destroy_only_dev+0xde 0xffffffff8062c38e
destroy_only_dev() at destroy_only_dev+0xde 0xffffffff8062c38e
Stopped at Debugger+0x7c