Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
kernel/rcu/tree.c rcu_preempt_deferred_qs_irqrestore() -> rt_mutex_futex_unlock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | lock | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &rnp->lock | ||
| HALF_LOCKED2 | &rnp->parent->lock | ||
| HALF_LOCKED2 | flags |
kernel/futex/core.c exit_pi_state_list() -> rt_mutex_futex_unlock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | lock | 4096-ptr_max |
| PARAM_VALUE | 0 | lock->wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | lock->wait_lock.owner_cpu | u32max |
| NOCHECK_CALL | |||
| LOCK2 | &curr->futex.exit_mutex | ||
| TYPE_LOCK | (struct futex_sched_data)->exit_mutex |