K 10
svn:author
V 4
nate
K 8
svn:date
V 27
1999-03-26T00:20:25.000000Z
K 7
svn:log
V 153
- Made the setting of the machdep.pccard.pcic_irq from the boot config file
  actually work.

Reviewed by:	"Sean O'Connell" <sean@stat.Duke.EDU>, msmith

END