/* Versão sem time-out.
   Pode retornar EWOULDBLOCK */
int futex_wait(void *addr, int val1); 

/* Retorna o número de threads que foram acordadas */
int futex_wake(void *addr, int n);