futex_addl
DEFINE_IFUNC(, int, futex_addl, (int, uint32_t *, int *))
DEFINE_IFUNC(, int, futex_addl, (int, uint32_t *, int *))
ret = futex_addl(oparg, uaddr, &oldval);
int futex_addl(int oparg, uint32_t *uaddr, int *oldval);