K 10
svn:author
V 5
peter
K 8
svn:date
V 27
2001-08-23T01:16:10.000000Z
K 7
svn:log
V 106
Do not printf when we get called as a result of a pci shared interrupt,
and add a comment to that effect.

END