Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/locking/mutex.c __mutex_lock() -> __mutex_lock_common()

Type Parameter Key Value
PARAM_VALUE 1 state 1-2,258
PARAM_VALUE 5 ww_ctx 0
PARAM_VALUE 6 use_ww_ctx 0
DATA_SOURCE 0 lock $0
DATA_SOURCE 1 state $1
DATA_SOURCE 2 subclass $2
DATA_SOURCE 3 nest_lock $3
DATA_SOURCE 4 ip $4
HARD_MAX 1 state 258
RX_PATH
TASK_NOT_RUNNING

kernel/locking/mutex.c __ww_mutex_lock() -> __mutex_lock_common()

Type Parameter Key Value
PARAM_VALUE 1 state 1-2
PARAM_VALUE 2 subclass 0
PARAM_VALUE 3 nest_lock 0
PARAM_VALUE 5 ww_ctx->ww_class->acquire_name 0,4096-ptr_max
PARAM_VALUE 5 ww_ctx->ww_class->is_wait_die 0-s32max
PARAM_VALUE 5 ww_ctx->ww_class->mutex_name 0,4096-ptr_max
PARAM_VALUE 6 use_ww_ctx 1
BUF_SIZE 5 ww_ctx (-1)-0,152
BUF_SIZE 5 ww_ctx (-1)-0,152
DATA_SOURCE 0 lock $0
DATA_SOURCE 1 state $1
DATA_SOURCE 2 subclass $2
DATA_SOURCE 4 ip $3
DATA_SOURCE 5 ww_ctx $4
HARD_MAX 1 state 2
RX_PATH
TASK_NOT_RUNNING

kernel/locking/mutex.c mutex_lock_io_nested() -> __mutex_lock_common()

Type Parameter Key Value
PARAM_VALUE 1 state 2
PARAM_VALUE 2 subclass 0
PARAM_VALUE 3 nest_lock 0
PARAM_VALUE 5 ww_ctx 0
PARAM_VALUE 6 use_ww_ctx 0
DATA_SOURCE 0 lock $0
DATA_SOURCE 2 subclass $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL