Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
kernel/futex/waitwake.c futex_wait_multiple_setup() -> futex_get_value_locked()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dest | 6356897087483723776 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | *dest | 0-u32max |
| USER_PTR | 0 | dest | |
| LOCK2 | &hb->lock | ||
| TYPE_LOCK | (struct futex_hash_bucket)->lock |
kernel/futex/waitwake.c futex_wait_setup() -> futex_get_value_locked()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dest | 7657292742769446912 |
| CAPPED_DATA | 1 | from | 1 |
| DATA_SOURCE | 1 | from | $0 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | *dest | 0-u32max |
| USER_DATA | 1 | from | 0-u64max[c] |
| USER_PTR | 0 | dest | |
| LOCK2 | &hb->lock | ||
| TYPE_LOCK | (struct futex_hash_bucket)->lock |
kernel/futex/pi.c __fixup_pi_state_owner() -> futex_get_value_locked()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dest | 7307335589531901952 |
| DATA_SOURCE | 1 | from | $0 |
| RX_PATH | |||
| USER_DATA | 1 | from | 0-u64max[c] |
| LOCK2 | &pi_state->pi_mutex.wait_lock | ||
| LOCK2 | irq | ||
| HALF_LOCKED2 | &hb->lock | ||
| HALF_LOCKED2 | &pi_state->pi_mutex.wait_lock | ||
| TYPE_LOCK | (struct rt_mutex_base)->wait_lock |
kernel/futex/pi.c attach_to_pi_state() -> futex_get_value_locked()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dest | 2137609581092265984 |
| DATA_SOURCE | 1 | from | $0 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| USER_DATA | 1 | from | 0-u64max[c] |
| LOCK2 | &pi_state->pi_mutex.wait_lock | ||
| LOCK2 | irq | ||
| HALF_LOCKED2 | &hb->lock | ||
| TYPE_LOCK | (struct rt_mutex_base)->wait_lock |
kernel/futex/pi.c futex_lock_pi_atomic() -> futex_get_value_locked()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dest | 7451542355950624768 |
| CAPPED_DATA | 1 | from | 1 |
| DATA_SOURCE | 1 | from | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| USER_DATA | 1 | from | 0-u64max[c] |
| HALF_LOCKED2 | &hb->lock |
kernel/futex/pi.c handle_exit_race() -> futex_get_value_locked()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dest | 6283431807054163968 |
| DATA_SOURCE | 1 | from | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| USER_DATA | 1 | from | 0-u64max[c] |
| HALF_LOCKED2 | &hb->lock | ||
| HALF_LOCKED2 | &p->pi_lock | ||
| HALF_LOCKED2 | irq |
kernel/futex/requeue.c futex_proxy_trylock_atomic() -> futex_get_value_locked()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dest | 1274218902822879232 |
| CAPPED_DATA | 1 | from | 1 |
| DATA_SOURCE | 1 | from | $0 |
| RX_PATH | |||
| USER_DATA | 1 | from | 0-u64max[c] |
kernel/futex/requeue.c futex_requeue() -> futex_get_value_locked()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dest | 6559971165007810560 |
| CAPPED_DATA | 1 | from | 1 |
| DATA_SOURCE | 1 | from | $0 |
| RX_PATH | |||
| USER_DATA | 1 | from | 0-u64max[c] |