Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/futex/requeue.c futex_proxy_trylock_atomic() -> futex_requeue_pi_complete()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | q | 4096-ptr_max |
| PARAM_VALUE | 0 | q->requeue_state.counter | 0-s32max |
| PARAM_VALUE | 1 | locked | s32min-(-1) |
| CAPPED_DATA | 0 | q->key.both.offset | 1 |
| CAPPED_DATA | 0 | q->key.both.ptr | 1 |
| CAPPED_DATA | 0 | q->key.both.word | 1 |
| CAPPED_DATA | 0 | q->requeue_pi_key->both.offset | 1 |
| CAPPED_DATA | 0 | q->requeue_pi_key->both.ptr | 1 |
| CAPPED_DATA | 0 | q->requeue_pi_key->both.word | 1 |
| DATA_SOURCE | 0 | q | r futex_top_waiter |
| DATA_SOURCE | 1 | locked | r futex_lock_pi_atomic |
| BIT_INFO | 1 | locked | 0x0,0x7fffffff |
| RX_PATH | |||
| NOCHECK_CALL |
kernel/futex/requeue.c futex_requeue() -> futex_requeue_pi_complete()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | q | 4096-ptr_max |
| PARAM_VALUE | 1 | locked | 0 |
| CAPPED_DATA | 0 | q->key.both.offset | 1 |
| CAPPED_DATA | 0 | q->key.both.ptr | 1 |
| CAPPED_DATA | 0 | q->key.both.word | 1 |
| CAPPED_DATA | 0 | q->requeue_pi_key->both.offset | 1 |
| CAPPED_DATA | 0 | q->requeue_pi_key->both.ptr | 1 |
| CAPPED_DATA | 0 | q->requeue_pi_key->both.word | 1 |
| CAPPED_DATA | 0 | q->task | 1 |
| CAPPED_DATA | 0 | &q->list.node_list | 1 |
| RX_PATH | |||
| NOCHECK_CALL |
kernel/futex/requeue.c futex_requeue() -> futex_requeue_pi_complete()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | q | 4096-ptr_max |
| PARAM_VALUE | 1 | locked | (-35) |
| CAPPED_DATA | 0 | q->key.both.offset | 1 |
| CAPPED_DATA | 0 | q->key.both.ptr | 1 |
| CAPPED_DATA | 0 | q->key.both.word | 1 |
| CAPPED_DATA | 0 | q->requeue_pi_key->both.offset | 1 |
| CAPPED_DATA | 0 | q->requeue_pi_key->both.ptr | 1 |
| CAPPED_DATA | 0 | q->requeue_pi_key->both.word | 1 |
| CAPPED_DATA | 0 | q->task | 1 |
| CAPPED_DATA | 0 | &q->list.node_list | 1 |
| DATA_SOURCE | 1 | locked | r rt_mutex_start_proxy_lock |
| RX_PATH | |||
| NOCHECK_CALL |
kernel/futex/requeue.c requeue_pi_wake_futex() -> futex_requeue_pi_complete()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | q | 4096-ptr_max |
| PARAM_VALUE | 1 | locked | 1 |
| BUF_SIZE | 0 | q->lock_ptr | 72 |
| CAPPED_DATA | 0 | q->requeue_pi_key->both.offset | 1 |
| CAPPED_DATA | 0 | q->requeue_pi_key->both.ptr | 1 |
| CAPPED_DATA | 0 | q->requeue_pi_key->both.word | 1 |
| DATA_SOURCE | 0 | q | $0 |
| RX_PATH | |||
| NOCHECK_CALL |