Little fixup around pthreads

[Adam Lackorzynski]

Hi Marc,

On Thu Aug 18, 2011 at 11:48:05 +0200, Marc CHALAND wrote:
> Symptoms are: sem_timedwait behaves quite like sem_wait after
> 0x80000000 usec system has been started.

Merci!


Adam
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/