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
..
pc	new RCS ID format.	1994-10-27 04:14:23 +00:00
ansi.h	new RCS ID format.	1994-10-27 04:14:23 +00:00
aout_machdep.h	new RCS ID format.	1994-10-27 04:14:23 +00:00
asm.h	new RCS ID format.	1994-10-27 04:14:23 +00:00
cpu.h	new RCS ID format.	1994-10-27 04:14:23 +00:00
cpufunc.h	new RCS ID format.	1994-10-27 04:14:23 +00:00
cputypes.h	new RCS ID format.	1994-10-27 04:14:23 +00:00
db_machdep.h	new RCS ID format.	1994-10-27 04:14:23 +00:00
disklabel.h	move arch dependence to archs. clean up a bit. deal with weird MAXPARTITONS.	1994-10-14 18:26:22 +00:00
endian.h	new RCS ID format.	1994-10-27 04:14:23 +00:00
exec.h	new RCS ID format.	1994-10-27 04:14:23 +00:00
float.h	new RCS ID format.	1994-10-27 04:14:23 +00:00
frame.h	new RCS ID format.	1994-10-27 04:14:23 +00:00
limits.h	new RCS ID format.	1994-10-27 04:14:23 +00:00
mouse.h	new RCS ID format.	1994-10-27 04:14:23 +00:00
npx.h	new RCS ID format.	1994-10-27 04:14:23 +00:00
param.h	new RCS ID format.	1994-10-27 04:14:23 +00:00
pcb.h	Only use ssdtosd() when creating, expanding, or copying the LDT. Keep a copy	1994-11-05 03:17:33 +00:00
pccons.h	new RCS ID format.	1994-10-27 04:14:23 +00:00
pio.h	new RCS ID format.	1994-10-27 04:14:23 +00:00
pmap.h	Increase NKPDE to cope with 64MB RAM.	1994-10-31 06:30:52 +00:00
proc.h	new RCS ID format.	1994-10-27 04:14:23 +00:00
profile.h	new RCS ID format.	1994-10-27 04:14:23 +00:00
psl.h	As pointed out by Bruce, splsoftclock() needs to process pending interrupts	1994-11-06 01:37:47 +00:00
pte.h	new RCS ID format.	1994-10-27 04:14:23 +00:00
ptrace.h	new RCS ID format.	1994-10-27 04:14:23 +00:00
reg.h	new RCS ID format.	1994-10-27 04:14:23 +00:00
segments.h	Fully prototype ssdtosd() and sdtossd().	1994-11-05 03:20:36 +00:00
signal.h	new RCS ID format.	1994-10-27 04:14:23 +00:00
specialreg.h	new RCS ID format.	1994-10-27 04:14:23 +00:00
spkr.h	new RCS ID format.	1994-10-27 04:14:23 +00:00
stdarg.h	new RCS ID format.	1994-10-27 04:14:23 +00:00
sysarch.h	new RCS ID format.	1994-10-27 04:14:23 +00:00
trap.h	new RCS ID format.	1994-10-27 04:14:23 +00:00
tss.h	new RCS ID format.	1994-10-27 04:14:23 +00:00
types.h	new RCS ID format.	1994-10-27 04:14:23 +00:00
varargs.h	new RCS ID format.	1994-10-27 04:14:23 +00:00
vmparam.h	new RCS ID format.	1994-10-27 04:14:23 +00:00