# run.log — DF-4783 decisive runs (serial console excerpts)
#
# RUN A (faithful holder, single teardown):
mmcrace: mmcsd0 open (cdev pinned), starting 16 hammers   # kernel variant
...
mmhold: fd=3 on /dev/mmcsd0, hammering pread
mmhold: 2000 reads ok
... (10101 reads ok)
mmcrace: deleting mmcsd0 (hammer=RUNNING)
mmcsd0: detached
mmhold: pread error errno=9 (Bad file descriptor) n=10101   <- dead_dev_ops revector
# guest alive; process alive.

# RUN B (faithful battery, 8 holders x 10 cycles): all cycles completed,
# guest up ("6:03PM up 3 mins"), no panic.  => not_reproduced.

# RUN C (kernel hammer, unpinned cdev, cycling) — panic run 1/3:
mmcrace: action 1 completed (done seq 2->3)
mmcrace: action 2 TIMEOUT (done seq 3->3)
mmcsd0: 256MB <SD Memory Card> at mmc0 26MHz/4bit
SpStopped at      dev_dstrategy+0x1b:     movl    0xc(%rax),%r12d
db>
# run 2/3 identical signature; run 3/3:
mmcrace: action 2 TIMEOUT (done seq 2->2)
mmcsd0: 256MB <SD Memory Card> at mmc0 26MHz/4bit
Stopped at      lockmgr_exclusive+0x5d:  orl     (%r14),%esi
db>