K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2000-11-15T19:44:38.000000Z
K 7
svn:log
V 133
Don't perform an mi_switch() when we release Giant during cpu_exit().  We
are about to call cpu_switch() anyways.

Found by:	witness

END