imp db8e4ff08f Move from using PCCARD_ symbols gereated from this file to using PCMCIA_ ... symbols so that driver lists are easier to share and keep in sync.		2001-11-11 20:15:06 +00:00
..
devlist2h.awk
miidevs2h.awk
pccarddevs2h.awk	Move from using PCCARD_ symbols gereated from this file to using PCMCIA_	2001-11-11 20:15:06 +00:00
usbdevs2h.awk
vnode_if.awk	KSE Milestone 2	2001-09-12 08:38:13 +00:00