K 10
svn:author
V 8
jchandra
K 8
svn:date
V 27
2011-03-01T03:25:18.074279Z
K 7
svn:log
V 167
Use new thread's stack to invoke pmap_activate in cpu_switch()

Restore the SP from the new thread's PCB before calling pmap_activate.
Remove some old FIXME comments.

END