⬢ DragonFlyBSD Kernel Audit
DF-4320 / static_check.log
← back to finding ↓ download raw
== 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.