Guest: DragonFly dfbsd 6.5-DEVELOPMENT #0: Thu Jul  2 06:02:54 UTC 2026
       root@dfbsd:/usr/obj/usr/src/sys/X86_64_GENERIC  x86_64
       6 x vCPU (KVM), 4 GB RAM, INVARIANTS kernel (KASSERT("receive 1")
       is compiled in and fires)
Audit tree == guest /usr/src tree (md5s of all 7 verbatim netbt files
verified identical before the runs; see setup.log)
Module: hci_sock_harness.ko -- verbatim production sources
        hci_socket.c hci_event.c hci_link.c hci_misc.c hci_unit.c
        bt_input.c bt_proto.c + fake-controller harness
Socket threading on this kernel (uipc_socket.c:259): HCI socket pru_*
        netmsgs run on netisr_cpuport(0); NETISR_BLUETOOTH (btintr)
        runs on the port of the queueing CPU (rig pins it to CPU3).