HardenedBSD/sys/tools
..
devlist2h.awk
makeobjops.awk
miidevs2h.awk
pccarddevs2h.awk
usbdevs2h.awk
vnode_if.awk