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