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