// SPDX-License-Identifier: MIT

#include <zinnia/futex.h>
#include <kernel/vdso.h>

zn_status_t zn_futex_wait(int32_t* addr, int32_t expected) {
    return zn_syscall2(addr, expected, ZN_SYSCALL_FUTEX_WAIT);
}

VDSO_SYMBOL(zn_futex_wait);

zn_status_t zn_futex_wake(int32_t* addr, int32_t count) {
    return zn_syscall2(addr, count, ZN_SYSCALL_FUTEX_WAKE);
}

VDSO_SYMBOL(zn_futex_wake);