K 10
svn:author
V 6
marcel
K 8
svn:date
V 27
2003-07-31T01:05:34.000000Z
K 7
svn:log
V 165
In cpu_thread_setup(), set md_pcbpaddr to the physical address of
the pcb. We use the physical address for context switching.
While here, fix a nearby style(9) bug.

END