Skip to content

SYS_futex

Man Page

x86_64 ARM64 RV64

Signature

(import "wali" "SYS_futex" (func (param $uaddr i32) (param $futex_op i32) (param $val i32) (param $timeout i32) (param $uaddr2 i32) (param $val3 i32) (result i64)))
long futex(int* uaddr, int futex_op, int val, struct timespec* timeout, int* uaddr2, int val3);