Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
- kernel/futex/pi.c, line 1003
- kernel/futex/requeue.c, line 806
- kernel/futex/syscalls.c, line 288
- kernel/futex/waitwake.c, line 747
Smatch caller information:
kernel/futex/waitwake.c futex_wait() -> futex_setup_timer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | time | 0,4096-ptr_max |
| PARAM_VALUE | 1 | timeout | 1737414225000210432 |
| BUF_SIZE | 0 | time | 0,8 |
| BUF_SIZE | 0 | time | 0,8 |
| DATA_SOURCE | 0 | time | $3 |
| DATA_SOURCE | 2 | flags | $1 |
| RX_PATH | |||
| USER_DATA | 0 | *time | 0-9223372035999999999[c] |
| USER_PTR | 0 | time |
kernel/futex/pi.c futex_lock_pi() -> futex_setup_timer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | time | 0,558351418170736640,7120372615748767744 |
| PARAM_VALUE | 1 | timeout | 7279306262414782464 |
| PARAM_VALUE | 2 | flags | 2,18,34,50,1026,1042,1058,1074,2050,2066,2082,2098,3074,3090,3106,3122 |
| PARAM_VALUE | 3 | range_ns | 0 |
| BUF_SIZE | 0 | time | (-1)-0,8 |
| BUF_SIZE | 0 | time | (-1)-0,8 |
| DATA_SOURCE | 0 | time | $2 |
| DATA_SOURCE | 2 | flags | $1 |
| BIT_INFO | 0 | time | 0x0,0x67ffadab3fffd000 |
| BIT_INFO | 0 | time | 0x0,0x67ffadab3fffd000 |
| BIT_INFO | 2 | flags | 0x0,0xbff |
| RX_PATH | |||
| USER_DATA | 0 | *time | 0-9223372035999999999[c] |
| USER_PTR | 0 | time |
kernel/futex/syscalls.c futex2_setup_timeout() -> futex_setup_timer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | time | 8859416995587780608 |
| PARAM_VALUE | 1 | timeout | 1464062181396357120,1908912304835444736 |
| PARAM_VALUE | 2 | flags | 0,32 |
| PARAM_VALUE | 3 | range_ns | 0 |
| DATA_SOURCE | 1 | timeout | $2 |
| FUZZY_MAX | 2 | flags | 32 |
| BIT_INFO | 2 | flags | 0x0,0x20 |
| HARD_MAX | 2 | flags | 32 |
| NOCHECK_CALL |
kernel/futex/requeue.c futex_wait_requeue_pi() -> futex_setup_timer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | time | 0,558351418170736640,7120372615748767744 |
| PARAM_VALUE | 1 | timeout | 600911181894369280 |
| PARAM_VALUE | 2 | flags | 2,18,34,50,1026,1042,1058,1074,2050,2066,2082,2098,3074,3090,3106,3122 |
| BUF_SIZE | 0 | time | 0,8 |
| BUF_SIZE | 0 | time | 0,8 |
| DATA_SOURCE | 0 | time | $3 |
| DATA_SOURCE | 2 | flags | $1 |
| BIT_INFO | 0 | time | 0x0,0x67ffadab3fffd000 |
| BIT_INFO | 0 | time | 0x0,0x67ffadab3fffd000 |
| BIT_INFO | 2 | flags | 0x0,0xbff |
| RX_PATH | |||
| USER_DATA | 0 | *time | 0-9223372035999999999[c] |
| USER_PTR | 0 | time |