#ifndef MANGO_FUTEX_H_
#define MANGO_FUTEX_H_

#include <mango/status.h>
#include <mango/types.h>

extern kern_status_t futex_wait(
	kern_futex_t *futex,
	kern_futex_t new_val,
	unsigned int flags);
extern kern_status_t futex_wake(
	kern_futex_t *futex,
	unsigned int nr_waiters,
	unsigned int flags);

#endif