Documented in 2 files:
Defined in 1 files as a prototype:
Defined in 2 files as a function:
- kernel/futex/requeue.c, line 382 (as a function)
- tools/testing/selftests/futex/include/futextest.h, line 184 (as a function)
Referenced in 2 files:
Smatch caller information:
kernel/futex/syscalls.c __do_sys_futex_requeue() -> futex_requeue()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 6 | cmpval | 7905320080587616256 |
| PARAM_VALUE | 7 | requeue_pi | 0 |
| DATA_SOURCE | 4 | nr_wake | $2 |
| DATA_SOURCE | 5 | nr_requeue | $3 |
| USER_DATA | 4 | nr_wake | s32min-s32max |
| USER_DATA | 5 | nr_requeue | s32min-s32max |
kernel/futex/syscalls.c __do_sys_futex_requeue() -> futex_requeue()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 6 | cmpval | 7905320080587616256 |
| PARAM_VALUE | 7 | requeue_pi | 0 |
| DATA_SOURCE | 4 | nr_wake | $2 |
| DATA_SOURCE | 5 | nr_requeue | $3 |
| USER_DATA | 4 | nr_wake | s32min-s32max |
| USER_DATA | 5 | nr_requeue | s32min-s32max |
kernel/futex/syscalls.c do_futex() -> futex_requeue()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | flags1 | 2,18,34,50,1026,1042,1058,1074,2050,2066,2082,2098,3074,3090,3106,3122 |
| PARAM_VALUE | 3 | flags2 | 2,18,34,50,1026,1042,1058,1074,2050,2066,2082,2098,3074,3090,3106,3122 |
| PARAM_VALUE | 6 | cmpval | 0 |
| PARAM_VALUE | 7 | requeue_pi | 0 |
| DATA_SOURCE | 0 | uaddr1 | $0 |
| DATA_SOURCE | 1 | flags1 | r futex_to_flags |
| DATA_SOURCE | 2 | uaddr2 | $4 |
| DATA_SOURCE | 3 | flags2 | r futex_to_flags |
| DATA_SOURCE | 4 | nr_wake | $2 |
| DATA_SOURCE | 5 | nr_requeue | $5 |
| BIT_INFO | 1 | flags1 | 0x0,0xbff |
| BIT_INFO | 3 | flags2 | 0x0,0xbff |
| USER_DATA | 0 | uaddr1 | 0-u64max |
| USER_DATA | 2 | uaddr2 | 0-u64max |
| USER_DATA | 4 | nr_wake | s32min-s32max |
| USER_DATA | 5 | nr_requeue | s32min-s32max |
kernel/futex/syscalls.c do_futex() -> futex_requeue()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | flags1 | 2,18,34,50,1026,1042,1058,1074,2050,2066,2082,2098,3074,3090,3106,3122 |
| PARAM_VALUE | 3 | flags2 | 2,18,34,50,1026,1042,1058,1074,2050,2066,2082,2098,3074,3090,3106,3122 |
| PARAM_VALUE | 7 | requeue_pi | 0 |
| DATA_SOURCE | 0 | uaddr1 | $0 |
| DATA_SOURCE | 1 | flags1 | r futex_to_flags |
| DATA_SOURCE | 2 | uaddr2 | $4 |
| DATA_SOURCE | 3 | flags2 | r futex_to_flags |
| DATA_SOURCE | 4 | nr_wake | $2 |
| DATA_SOURCE | 5 | nr_requeue | $5 |
| BIT_INFO | 1 | flags1 | 0x0,0xbff |
| BIT_INFO | 3 | flags2 | 0x0,0xbff |
| USER_DATA | 0 | uaddr1 | 0-u64max |
| USER_DATA | 2 | uaddr2 | 0-u64max |
| USER_DATA | 4 | nr_wake | s32min-s32max |
| USER_DATA | 5 | nr_requeue | s32min-s32max |
| USER_DATA | 6 | *cmpval | 0-u32max |
| USER_PTR | 6 | cmpval |
kernel/futex/syscalls.c do_futex() -> futex_requeue()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | flags1 | 2,18,34,50,1026,1042,1058,1074,2050,2066,2082,2098,3074,3090,3106,3122 |
| PARAM_VALUE | 3 | flags2 | 2,18,34,50,1026,1042,1058,1074,2050,2066,2082,2098,3074,3090,3106,3122 |
| PARAM_VALUE | 7 | requeue_pi | 1 |
| DATA_SOURCE | 0 | uaddr1 | $0 |
| DATA_SOURCE | 1 | flags1 | r futex_to_flags |
| DATA_SOURCE | 2 | uaddr2 | $4 |
| DATA_SOURCE | 3 | flags2 | r futex_to_flags |
| DATA_SOURCE | 4 | nr_wake | $2 |
| DATA_SOURCE | 5 | nr_requeue | $5 |
| BIT_INFO | 1 | flags1 | 0x0,0xbff |
| BIT_INFO | 3 | flags2 | 0x0,0xbff |
| USER_DATA | 0 | uaddr1 | 0-u64max |
| USER_DATA | 2 | uaddr2 | 0-u64max |
| USER_DATA | 4 | nr_wake | s32min-s32max |
| USER_DATA | 5 | nr_requeue | s32min-s32max |
| USER_DATA | 6 | *cmpval | 0-u32max |
| USER_PTR | 6 | cmpval |