1 // Copyright (C) 2012 The SBCELT Developers. All rights reserved.
2 // Use of this source code is governed by a BSD-style license
3 // that can be found in the LICENSE-file.
4 
5 #ifndef __FUTEX_H__
6 #define __FUTEX_H__
7 
8 #define FUTEX_TIMEDOUT    -2
9 #define FUTEX_INTERRUPTED -3
10 
11 int futex_available();
12 int futex_wake(int *futex);
13 int futex_wait(int *futex, int val, struct timespec *ts);
14 
15 #endif
16