K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2000-10-20T07:43:55.000000Z
K 7
svn:log
V 143
- machine/mutex.h -> sys/mutex.h
- Use cpu_throw() instead of cpu_switch() during cpu_exit() since we don't
  need to save our previous state.

END