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

# Snapshot: with-src (#0 unpatched baseline, INVARIANTS ON)
# AH_ASSERT status: NOT defined in X86_64_GENERIC (only in LINT64:1105)
#   -> HALASSERT compiles to nothing in any production build
# Atheros NICs on guest: NONE (pciconf -l shows no ath device)
# ath_hal module: built (device ath / device ath_hal / options AH_SUPPORT_AR5416)
#   - ar5212_gpio.c IS compiled into ath_hal.ko (Makefile SRCS line 37)
#   - ar5312_gpio.c, ar5315_gpio.c NOT in Makefile SRCS (SoC-platform files)
#       compiled separately with -DAH_SUPPORT_AR5312 / -DAH_SUPPORT_2316
#       -DAH_SUPPORT_2317 for fix validation (rc=0 -Werror each)