Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 11 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
NOCHECK_CALL

drivers/i2c/busses/i2c-cht-wc.c cht_wc_i2c_adap_unlock_bus() -> rt_mutex_unlock()

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

drivers/i2c/i2c-core-base.c i2c_adapter_unlock_bus() -> rt_mutex_unlock()

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

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

Type Parameter Key Value
PARAM_VALUE 0 lock 8261367327739834368
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 lock 456177426807513088
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 lock 456177426807513088
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 lock 8261367327739834368
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 lock 8261367327739834368
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 lock 456177426807513088
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 lock 4658019732291170304
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 lock 8261367327739834368
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 lock 456177426807513088
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 lock 4658019732291170304
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 lock 8261367327739834368
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 lock 456177426807513088
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 lock 4658019732291170304
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 lock 8261367327739834368
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 lock 1327712566916571136
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 lock 4658019732291170304
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 lock 456177426807513088
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 lock 1327712566916571136
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 lock 8261367327739834368
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 lock 456177426807513088
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 lock 456177426807513088
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 lock 4658019732291170304
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 lock 4658019732291170304
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 lock 8261367327739834368
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 lock 8261367327739834368
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 lock 456177426807513088
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 lock 1327712566916571136
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 lock 4658019732291170304
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 lock 4658019732291170304
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 lock 8261367327739834368
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 lock 456177426807513088
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 lock 1327712566916571136
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 lock 8261367327739834368
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 lock 456177426807513088
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 lock 1327712566916571136
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 lock 4658019732291170304
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 lock 1327712566916571136
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 lock 8261367327739834368
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 lock 456177426807513088
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 lock 1327712566916571136
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 lock 456177426807513088
NOCHECK_CALL

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

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

drivers/i2c/i2c-mux.c i2c_mux_trylock_bus() -> rt_mutex_unlock()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PARAM_VALUE 0 lock->rtmutex.waiters.rb_root.rb_node 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/i2c/i2c-mux.c i2c_mux_unlock_bus() -> rt_mutex_unlock()

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

drivers/i2c/i2c-mux.c i2c_parent_trylock_bus() -> rt_mutex_unlock()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PARAM_VALUE 0 lock->rtmutex.waiters.rb_root.rb_node 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/i2c/i2c-mux.c i2c_parent_unlock_bus() -> rt_mutex_unlock()

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

kernel/locking/locktorture.c torture_rtmutex_nested_unlock() -> rt_mutex_unlock()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
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_unlock() -> rt_mutex_unlock()

Type Parameter Key Value
PARAM_VALUE 0 lock 685124785983090688
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_unlock_bus() -> rt_mutex_unlock()

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

drivers/i2c/busses/i2c-gpio.c i2c_gpio_trylock_bus() -> rt_mutex_unlock()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PARAM_VALUE 0 lock->rtmutex.waiters.rb_root.rb_node 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/i2c/busses/i2c-gpio.c i2c_gpio_unlock_bus() -> rt_mutex_unlock()

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

drivers/i2c/busses/i2c-gpio.c i2c_gpio_unlock_bus() -> rt_mutex_unlock()

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

drivers/i2c/busses/i2c-designware-amdpsp.c i2c_adapter_dw_psp_unlock_bus() -> rt_mutex_unlock()

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

drivers/media/usb/em28xx/em28xx-i2c.c em28xx_i2c_xfer() -> rt_mutex_unlock()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PARAM_VALUE 0 lock->rtmutex.waiters.rb_root.rb_node 4096-ptr_max
NOCHECK_CALL

drivers/media/usb/em28xx/em28xx-i2c.c em28xx_i2c_xfer() -> rt_mutex_unlock()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PARAM_VALUE 0 lock->rtmutex.waiters.rb_root.rb_node 4096-ptr_max
NOCHECK_CALL