== [1] hardware gate ==
no /dev/emu10kx (driver not attached)
GATE: no Creative Labs PCI device present
== [2] kernel layout proof (no hardware needed) ==
DF3866: ihandler[-1] spans [280,304)
DF3866: PROVEN: ihandler[-1] overlays {reg, irq, ih} -> emu_intr_unregister(-1) NULLs sc->reg, sc->irq, sc->ih and smears the high/low dwords of the irq pointer
DF3866: sizeof(struct emu_intr_handler)=24
DF3866: offsetof(reg)=280 irq=288 ih=296 ihandler=304
DF3866: ihandler[-1] spans [280,304)
DF3866: PROVEN: ihandler[-1] overlays {reg, irq, ih} -> emu_intr_unregister(-1) NULLs sc->reg, sc->irq, sc->ih and smears the high/low dwords of the irq pointer
== [3] would-be runtime trigger (records the gate) ==
GATE: cannot open /dev/dsp0: No such file or directory
GATE: target device absent -> trigger impossible on this guest (no emu10kx hw)
run.sh complete
__ENV__
DragonFly dfbsd 6.5-DEVELOPMENT DragonFly 6.5-DEVELOPMENT #0: Thu Jul  2 06:02:54 UTC 2026     root@dfbsd:/usr/obj/usr/src/sys/X86_64_GENERIC  x86_64
cc 8.3 [DragonFly] Release/2019-02-22
 4    1 0xffffffff82600000    72000 snd_emu10kx.ko