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_prepare()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | q | 4096-ptr_max |
| PARAM_VALUE | 0 | q->pi_state | 0 |
| PARAM_VALUE | 1 | pi_state | 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 |
| DATA_SOURCE | 0 | q | r futex_top_waiter |
| RX_PATH |
kernel/futex/requeue.c futex_requeue() -> futex_requeue_pi_prepare()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | q | 4096-ptr_max |
| PARAM_VALUE | 0 | q->pi_state | 0 |
| PARAM_VALUE | 1 | pi_state | 4096-ptr_max |
| 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->list.node_list | 1 |
| RX_PATH |