2 * Copyright (C) 2011 EfficiOS Inc.
3 * Copyright (C) 2011 Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
5 * SPDX-License-Identifier: GPL-2.0-only
12 void futex_wait_update(int32_t *futex, int active);
13 void futex_nto1_prepare(int32_t *futex);
14 void futex_nto1_wait(int32_t *futex);
15 void futex_nto1_wake(int32_t *futex);
17 #endif /* _LTT_FUTEX_H */