=== DF-0533 reachability probe on guest (no PCMCIA / no module) ===
ng_bt3c module:      no /boot/kernel/ng_bt3c* / /modules/ng_bt3c*  -> not shipped
bt3c symbols in kernel: nm /boot/kernel/kernel | grep -c bt3c_intr  -> 0
PCMCIA bus present:  devinfo | grep -iE "pccbb|pccard|cardbus|exca" -> (empty)
GENERIC options:     grep -ci bluetooth /usr/src/sys/config/X86_64_GENERIC -> 0

=> Driver is neither compiled into the running kernel nor loadable as a shipped
   module, and the PCMCIA bus it depends on is absent. The ISR/SWI queue race is
   dead code on this guest. Source-level defect confirmed by trace (see VERDICT.md);
   not runtime-exercisable here.