Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a macro:

Defined in 1 files as a function:

Referenced in 7 files:

Smatch caller information:

kernel/rcu/tree.c rcu_boost() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PARAM_VALUE 1 subclass 0
NOCHECK_CALL

drivers/i2c/busses/i2c-cht-wc.c cht_wc_i2c_adap_lock_bus() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PARAM_VALUE 1 subclass 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &attr->mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &priv->lock
HALF_LOCKED2 &sunrise->lock

drivers/i2c/i2c-core-base.c i2c_adapter_lock_bus() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &attr->mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &priv->lock
HALF_LOCKED2 &sunrise->lock

lib/locking-selftest.c AA_rtmutex() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 7035375020482228224
PARAM_VALUE 1 subclass 0
NOCHECK_CALL

lib/locking-selftest.c AA_rtmutex() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 8003910060241457152
PARAM_VALUE 1 subclass 0
NOCHECK_CALL

lib/locking-selftest.c ABBA_rtmutex() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 456177426807513088
PARAM_VALUE 1 subclass 0
NOCHECK_CALL

lib/locking-selftest.c ABBA_rtmutex() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 8261367327739834368
PARAM_VALUE 1 subclass 0
NOCHECK_CALL

lib/locking-selftest.c ABBA_rtmutex() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 8261367327739834368
PARAM_VALUE 0 lock->rtmutex.owner 0-1
PARAM_VALUE 1 subclass 0
NOCHECK_CALL

lib/locking-selftest.c ABBA_rtmutex() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 456177426807513088
PARAM_VALUE 0 lock->rtmutex.owner 0-1
PARAM_VALUE 1 subclass 0
NOCHECK_CALL

lib/locking-selftest.c ABBCCA_rtmutex() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 456177426807513088
PARAM_VALUE 1 subclass 0
NOCHECK_CALL

lib/locking-selftest.c ABBCCA_rtmutex() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 8261367327739834368
PARAM_VALUE 1 subclass 0
NOCHECK_CALL

lib/locking-selftest.c ABBCCA_rtmutex() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 8261367327739834368
PARAM_VALUE 0 lock->rtmutex.owner 0-1
PARAM_VALUE 1 subclass 0
NOCHECK_CALL

lib/locking-selftest.c ABBCCA_rtmutex() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 4658019732291170304
PARAM_VALUE 1 subclass 0
NOCHECK_CALL

lib/locking-selftest.c ABBCCA_rtmutex() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 4658019732291170304
PARAM_VALUE 0 lock->rtmutex.owner 0-1
PARAM_VALUE 1 subclass 0
NOCHECK_CALL

lib/locking-selftest.c ABBCCA_rtmutex() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 456177426807513088
PARAM_VALUE 0 lock->rtmutex.owner 0-1
PARAM_VALUE 1 subclass 0
NOCHECK_CALL

lib/locking-selftest.c ABBCCDDA_rtmutex() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 456177426807513088
PARAM_VALUE 1 subclass 0
NOCHECK_CALL

lib/locking-selftest.c ABBCCDDA_rtmutex() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 8261367327739834368
PARAM_VALUE 1 subclass 0
NOCHECK_CALL

lib/locking-selftest.c ABBCCDDA_rtmutex() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 8261367327739834368
PARAM_VALUE 0 lock->rtmutex.owner 0-1
PARAM_VALUE 1 subclass 0
NOCHECK_CALL

lib/locking-selftest.c ABBCCDDA_rtmutex() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 4658019732291170304
PARAM_VALUE 1 subclass 0
NOCHECK_CALL

lib/locking-selftest.c ABBCCDDA_rtmutex() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 4658019732291170304
PARAM_VALUE 0 lock->rtmutex.owner 0-1
PARAM_VALUE 1 subclass 0
NOCHECK_CALL

lib/locking-selftest.c ABBCCDDA_rtmutex() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 1327712566916571136
PARAM_VALUE 1 subclass 0
NOCHECK_CALL

lib/locking-selftest.c ABBCCDDA_rtmutex() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 1327712566916571136
PARAM_VALUE 0 lock->rtmutex.owner 0-1
PARAM_VALUE 1 subclass 0
NOCHECK_CALL

lib/locking-selftest.c ABBCCDDA_rtmutex() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 456177426807513088
PARAM_VALUE 0 lock->rtmutex.owner 0-1
PARAM_VALUE 1 subclass 0
NOCHECK_CALL

lib/locking-selftest.c ABCABC_rtmutex() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 456177426807513088
PARAM_VALUE 1 subclass 0
NOCHECK_CALL

lib/locking-selftest.c ABCABC_rtmutex() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 8261367327739834368
PARAM_VALUE 1 subclass 0
NOCHECK_CALL

lib/locking-selftest.c ABCABC_rtmutex() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 4658019732291170304
PARAM_VALUE 1 subclass 0
NOCHECK_CALL

lib/locking-selftest.c ABCABC_rtmutex() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 456177426807513088
PARAM_VALUE 0 lock->rtmutex.owner 0-1
PARAM_VALUE 1 subclass 0
NOCHECK_CALL

lib/locking-selftest.c ABCABC_rtmutex() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 8261367327739834368
PARAM_VALUE 0 lock->rtmutex.owner 0-1
PARAM_VALUE 1 subclass 0
NOCHECK_CALL

lib/locking-selftest.c ABCABC_rtmutex() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 4658019732291170304
PARAM_VALUE 0 lock->rtmutex.owner 0-1
PARAM_VALUE 1 subclass 0
NOCHECK_CALL

lib/locking-selftest.c ABCDBCDA_rtmutex() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 456177426807513088
PARAM_VALUE 1 subclass 0
NOCHECK_CALL

lib/locking-selftest.c ABCDBCDA_rtmutex() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 8261367327739834368
PARAM_VALUE 1 subclass 0
NOCHECK_CALL

lib/locking-selftest.c ABCDBCDA_rtmutex() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 4658019732291170304
PARAM_VALUE 1 subclass 0
NOCHECK_CALL

lib/locking-selftest.c ABCDBCDA_rtmutex() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 1327712566916571136
PARAM_VALUE 1 subclass 0
NOCHECK_CALL

lib/locking-selftest.c ABCDBCDA_rtmutex() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 8261367327739834368
PARAM_VALUE 0 lock->rtmutex.owner 0-1
PARAM_VALUE 1 subclass 0
NOCHECK_CALL

lib/locking-selftest.c ABCDBCDA_rtmutex() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 4658019732291170304
PARAM_VALUE 0 lock->rtmutex.owner 0-1
PARAM_VALUE 1 subclass 0
NOCHECK_CALL

lib/locking-selftest.c ABCDBCDA_rtmutex() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 1327712566916571136
PARAM_VALUE 0 lock->rtmutex.owner 0-1
PARAM_VALUE 1 subclass 0
NOCHECK_CALL

lib/locking-selftest.c ABCDBCDA_rtmutex() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 456177426807513088
PARAM_VALUE 0 lock->rtmutex.owner 0-1
PARAM_VALUE 1 subclass 0
NOCHECK_CALL

lib/locking-selftest.c ABCDBDDA_rtmutex() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 456177426807513088
PARAM_VALUE 1 subclass 0
NOCHECK_CALL

lib/locking-selftest.c ABCDBDDA_rtmutex() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 8261367327739834368
PARAM_VALUE 1 subclass 0
NOCHECK_CALL

lib/locking-selftest.c ABCDBDDA_rtmutex() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 4658019732291170304
PARAM_VALUE 1 subclass 0
NOCHECK_CALL

lib/locking-selftest.c ABCDBDDA_rtmutex() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 1327712566916571136
PARAM_VALUE 1 subclass 0
NOCHECK_CALL

lib/locking-selftest.c ABCDBDDA_rtmutex() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 8261367327739834368
PARAM_VALUE 0 lock->rtmutex.owner 0-1
PARAM_VALUE 1 subclass 0
NOCHECK_CALL

lib/locking-selftest.c ABCDBDDA_rtmutex() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 1327712566916571136
PARAM_VALUE 0 lock->rtmutex.owner 0-1
PARAM_VALUE 1 subclass 0
NOCHECK_CALL

lib/locking-selftest.c ABCDBDDA_rtmutex() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 1327712566916571136
PARAM_VALUE 0 lock->rtmutex.owner 0-1
PARAM_VALUE 1 subclass 0
NOCHECK_CALL

lib/locking-selftest.c ABCDBDDA_rtmutex() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 456177426807513088
PARAM_VALUE 0 lock->rtmutex.owner 0-1
PARAM_VALUE 1 subclass 0
NOCHECK_CALL

lib/locking-selftest.c double_unlock_rtmutex() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 456177426807513088
PARAM_VALUE 1 subclass 0
NOCHECK_CALL

lib/locking-selftest.c init_held_rtmutex() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 456177426807513088
PARAM_VALUE 1 subclass 0
NOCHECK_CALL

drivers/i2c/i2c-mux.c i2c_mux_lock_bus() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &attr->mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &priv->lock
HALF_LOCKED2 &sunrise->lock

drivers/i2c/i2c-mux.c i2c_parent_lock_bus() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &attr->mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &priv->lock
HALF_LOCKED2 &sunrise->lock

kernel/locking/locktorture.c torture_rtmutex_lock() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 685124785983090688
PARAM_VALUE 1 subclass 0
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 global &torture_mutex
HALF_LOCKED2 global &torture_raw_spinlock
HALF_LOCKED2 global &torture_rwlock
HALF_LOCKED2 global &torture_rwsem
HALF_LOCKED2 global &torture_spinlock

kernel/locking/locktorture.c torture_rtmutex_nested_lock() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PARAM_VALUE 1 subclass 0
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 global &torture_mutex
HALF_LOCKED2 global &torture_raw_spinlock
HALF_LOCKED2 global &torture_rwlock
HALF_LOCKED2 global &torture_rwsem
HALF_LOCKED2 global &torture_spinlock

drivers/gpu/drm/amd/amdgpu/../display/amdgpu_dm/tests/amdgpu_dm_helpers_test.c dm_test_i2c_lock_bus() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PARAM_VALUE 1 subclass 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &attr->mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &priv->lock
HALF_LOCKED2 &sunrise->lock

drivers/i2c/busses/i2c-gpio.c i2c_gpio_lock_bus() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &attr->mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &priv->lock
HALF_LOCKED2 &sunrise->lock

drivers/i2c/busses/i2c-gpio.c i2c_gpio_lock_bus() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PARAM_VALUE 1 subclass 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &attr->mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &priv->lock
HALF_LOCKED2 &sunrise->lock

drivers/i2c/busses/i2c-designware-amdpsp.c i2c_adapter_dw_psp_lock_bus() -> rt_mutex_lock_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &attr->mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &priv->lock
HALF_LOCKED2 &sunrise->lock