0548d12369
currently necessary to acquire the `running in kernel mode' lock; pointed out by Bill Sommerfeld/Simon Gerraty. * remove reference to `cpu_set_kpc()' from comments, as we don't have it. |
||
---|---|---|
.. | ||
compile | ||
conf | ||
dev | ||
fpu | ||
include | ||
sparc | ||
stand | ||
Makefile |