K 10 svn:author V 3 jhb K 8 svn:date V 27 2002-05-21T20:21:53.000000Z K 7 svn:log V 69 Add an inline function cpu_pause() for the IA32 'pause' instruction. END