…
..
devlist2h.awk	…
makeobjops.awk	…
miidevs2h.awk	…
pccarddevs2h.awk	…
usbdevs2h.awk	…
vnode_if.awk	…