K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2002-05-22T20:32:39.000000Z
K 7
svn:log
V 203
Rename pause() to ia32_pause() so it doesn't conflict with the pause()
function defined in <unistd.h>.  I didn't #ifdef _KERNEL it because the
mutex implementation in libpthread will probably need this.

END