K 10
svn:author
V 2
se
K 8
svn:date
V 27
1996-01-23T21:48:28.000000Z
K 7
svn:log
V 87
Make PCI interrupt handlers return void like everybody else does.

Reviewed by:	davidg

END