K 10
svn:author
V 3
phk
K 8
svn:date
V 27
1996-04-19T07:28:04.000000Z
K 7
svn:log
V 142
savectx returns through cpu_switch in case of the child, so it must
return void just like cpu_switch.  Fix prototype and usage from machdep.c

END