Defined in 2 files as a function:
- kernel/locking/rtmutex.c, line 50 (as a function)
- kernel/locking/ww_mutex.h, line 216 (as a function)
Referenced in 3 files:
Smatch caller information:
kernel/locking/mutex.c __mutex_lock_common() -> ww_mutex_lock_acquired()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ww | 4096-ptr_max |
| PARAM_VALUE | 1 | ww_ctx | 4096-ptr_max |
| PARAM_VALUE | 1 | ww_ctx->ww_class->acquire_name | 0,4096-ptr_max |
| PARAM_VALUE | 1 | ww_ctx->ww_class->is_wait_die | 0-s32max |
| PARAM_VALUE | 1 | ww_ctx->ww_class->mutex_name | 0,4096-ptr_max |
| BUF_SIZE | 1 | ww_ctx | (-1)-0,152 |
| BUF_SIZE | 1 | ww_ctx | (-1)-0,152 |
| DATA_SOURCE | 1 | ww_ctx | $5 |
| PARAM_COMPARE | 0 | ww->ctx | != $1 |
| PARAM_COMPARE | 1 | ww_ctx | != $0->ctx |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &lock->wait_lock | ||
| LOCK2 | flags | ||
| TYPE_LOCK | (struct mutex)->wait_lock |
kernel/locking/mutex.c ww_mutex_set_context_fastpath() -> ww_mutex_lock_acquired()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ww | 4096-ptr_max |
| PARAM_VALUE | 1 | ww_ctx | 4096-ptr_max |
| PARAM_VALUE | 1 | ww_ctx->ww_class->acquire_name | 0,4096-ptr_max |
| PARAM_VALUE | 1 | ww_ctx->ww_class->is_wait_die | 0-s32max |
| PARAM_VALUE | 1 | ww_ctx->ww_class->mutex_name | 0,4096-ptr_max |
| BUF_SIZE | 1 | ww_ctx | (-1)-0,152 |
| BUF_SIZE | 1 | ww_ctx | (-1)-0,152 |
| DATA_SOURCE | 0 | ww | $0 |
| DATA_SOURCE | 1 | ww_ctx | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | ww_ctx->deadlock_inject_countdown | |
| NO_OVERFLOW_SIMPLE | 1 | ww_ctx->deadlock_inject_interval |