K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2003-06-09T18:08:46.000000Z
K 7
svn:log
V 103
When we re-route a PCI interrupt, write the new IRQ value into the intline
register.

Reviewed by:	imp

END