DF-4320 / static_check.log
== kernel ==
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
== if_ath.ko: ath_ioctl_diag symbol (ATH_DIAGAPI marker) ==
(absent - ATH_DIAGAPI not compiled)
== ath_hal.ko: getdiagstate present (HAL side always compiled) ==
00000000000067b0 T ath_hal_getdiagstate
== ath_hal.ko: diag codes handled in ath_hal_getdiagstate (disasm cmp imm) ==
== PCI devices (no Atheros NIC on guest) ==
hostb0@pci0:0:0:0: class=0x060000 card=0x11001af4 chip=0x12378086 rev=0x02 hdr=0x00
isab1@pci0:0:1:0: class=0x060100 card=0x11001af4 chip=0x70008086 rev=0x00 hdr=0x00
atapci0@pci0:0:1:1: class=0x010180 card=0x11001af4 chip=0x70108086 rev=0x00 hdr=0x00
none0@pci0:0:1:3: class=0x068000 card=0x11001af4 chip=0x71138086 rev=0x03 hdr=0x00
vgapci0@pci0:0:2:0: class=0x030000 card=0x11001af4 chip=0x11111234 rev=0x02 hdr=0x00
virtio_pci0@pci0:0:3:0: class=0x020000 card=0x00011af4 chip=0x10001af4 rev=0x00 hdr=0x00
virtio_pci1@pci0:0:4:0: class=0x010000 card=0x00021af4 chip=0x10011af4 rev=0x00 hdr=0x00
== ath_hal.ko: diag codes compared in ath_hal_getdiagstate (+0x67b0) ==
(interactive capture, same session, same image)
$ objdump -d --start-address=0x67b0 --stop-address=0x6b00 /boot/kernel/ath_hal.ko | grep -E "cmp|sub"
67cb: 83 fe 11 cmp $0x11,%esi <- 17 HAL_DIAG_EEREAD
67d6: 83 fe 1e cmp $0x1e,%esi <- 30 HAL_DIAG_11NCOMPAT
67df: 83 fe 21 cmp $0x21,%esi <- 33 HAL_DIAG_SETREGS (arbitrary MMIO write)
67e8: 83 fe 1d cmp $0x1d,%esi <- 29 HAL_DIAG_FATALERR
680a: 83 fe 0d cmp $0xd,%esi <- 13 HAL_DIAG_REGS (arbitrary register dump)
=> the HAL-side handlers (incl. SETREGS/REGS) are compiled unconditionally
into ath_hal.ko; only the if_ath.ko ioctl case is ATH_DIAGAPI-gated.