mycroft 205d425f2f As pointed out by Bruce, splsoftclock() needs to process pending interrupts ... when lowering the priority. Do this by simply calling splx(). For the benefit of NFS (for now), modify splx() to return a value so that splsoftclock() does. This work is optimized out for every use of splx() that ignores the value, so it only affects relevant code. Also, clean up this file a little.		1994-11-06 01:37:47 +00:00
..
boot	new RCS ID format.	1994-10-27 04:14:23 +00:00
compile	new RCS ID format.	1994-10-27 04:14:23 +00:00
conf	EISA devices have no DRQ.	1994-11-04 08:24:25 +00:00
eisa	No longer needs icu.h.	1994-11-04 18:59:34 +00:00
i386	Only use ssdtosd() when creating, expanding, or copying the LDT. Keep a copy	1994-11-05 03:17:33 +00:00
include	As pointed out by Bruce, splsoftclock() needs to process pending interrupts	1994-11-06 01:37:47 +00:00
isa	Fix stupid bug in last change.	1994-11-04 23:30:15 +00:00
netboot	new RCS ID format.	1994-10-27 04:14:23 +00:00
pci	Change all of the uses of IRQ{0-15} and bit masks to use plain numbers	1994-11-04 18:34:50 +00:00
stand	new RCS ID format.	1994-10-27 04:14:23 +00:00
Makefile	new RCS ID format.	1994-10-27 04:14:23 +00:00