34c4c58685
used to be in cpu_switch(), but I don't see any difference between doing it here. |
||
---|---|---|
.. | ||
acpica | ||
amd64 | ||
conf | ||
include | ||
isa | ||
pci | ||
Makefile |
34c4c58685
used to be in cpu_switch(), but I don't see any difference between doing it here. |
||
---|---|---|
.. | ||
acpica | ||
amd64 | ||
conf | ||
include | ||
isa | ||
pci | ||
Makefile |