1// SPDX-License-Identifier: GPL-3.0-or-later
2
3#pragma once
4
5#include <mos/types.h>
6
7bool futex_wait(futex_word_t *futex, futex_word_t expected);
8bool futex_wake(futex_word_t *lock, size_t num_to_wake);
9