⬢ DragonFlyBSD Kernel Audit
DF-5092 / verify_static.sh
← back to finding ↓ download raw 
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
#!/bin/sh
# DF-5092 — static verification (host-side): print the decisive lines.
# No runtime repro exists without AR5416-family hardware (see VERDICT.md).
set -e
cd "$(dirname "$0")/../../.."
echo "== ar5416_gpio.c:136-155 (bug: CfgInput sets DRV_ALL 'drive always') =="
sed -n '136,155p' sys/dev/netif/ath/ath_hal/ar5416/ar5416_gpio.c
echo
echo "== ar5416reg.h:570-574 (DRV_NO = tristate is the intended value) =="
sed -n '570,574p' sys/dev/netif/ath/ath_hal/ar5416/ar5416reg.h
echo
echo "== ar5212_gpio.c:57-66 (twin does tristate via CR_N) =="
sed -n '57,66p' sys/dev/netif/ath/ath_hal/ar5212/ar5212_gpio.c
echo
echo "== ar5416_btcoex.c:353,357 (externally-driven BT sense pins configured 'input') =="
sed -n '353,357p' sys/dev/netif/ath/ath_hal/ar5416/ar5416_btcoex.c
echo
echo "== consumer pin counts: gpio <= 13, so in-range shifts are safe =="
grep -n "halNumGpioPins = " sys/dev/netif/ath/ath_hal/ar5416/ar5416_attach.c \
	sys/dev/netif/ath/ath_hal/ar9002/ar9280_attach.c \
	sys/dev/netif/ath/ath_hal/ar9002/ar9285_attach.c \
	sys/dev/netif/ath/ath_hal/ar9002/ar9287_attach.c