futex_requeue 2012 kernel/futex.c ret = futex_requeue(uaddr, fshared, uaddr2, val, val2, NULL); futex_requeue 2015 kernel/futex.c ret = futex_requeue(uaddr, fshared, uaddr2, val, val2, &val3);