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