#include "linux/futex.h" #include "syscall.h" int futex(uint32_t* uaddr, int op, uint32_t val) { return _syscall3(SYS_FUTEX, (int)uaddr, op, (int)val); }