K 10
svn:author
V 3
bde
K 8
svn:date
V 27
1999-07-10T14:54:19.000000Z
K 7
svn:log
V 402
Fixed a longstanding scheduling bug.  ASTs and softclock interrupts were
not masked during handling of shared PCI interrupts.  This resulted in
ASTs sometimes being discarded and softclock interrupts sometimes being
handled prematurely (sometimes = quite often on systems with shared PCI
interrupts, never on other systems).

Debugged by:	gibbs and other people at plutotech.com
PR:		6944, maybe 12381

END