Documented in 1 files:

Defined in 1 files as a function:

Referenced in 10 files:

Smatch caller information:

net/qrtr/af_qrtr.c qrtr_node_release() -> kref_put_mutex()

Type Parameter Key Value
PARAM_VALUE 0 kref 4096-ptr_max
PARAM_VALUE 2 mutex 6494806661699817472
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 sk

drivers/gpu/host1x/syncpt.c host1x_syncpt_put() -> kref_put_mutex()

Type Parameter Key Value
PARAM_VALUE 0 kref 1-u64max
PARAM_VALUE 2 mutex 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &device->clients_lock
HALF_LOCKED2 &file->lock

net/can/j1939/main.c j1939_netdev_stop() -> kref_put_mutex()

Type Parameter Key Value
PARAM_VALUE 0 kref 4096-ptr_max
PARAM_VALUE 2 mutex 3673383663677685760
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 sk
HALF_LOCKED2 sock->sk

fs/lockd/svclock.c nlmsvc_release_block() -> kref_put_mutex()

Type Parameter Key Value
PARAM_VALUE 0 kref 1-u64max
PARAM_VALUE 2 mutex 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/tee/amdtee/core.c amdtee_close_session() -> kref_put_mutex()

Type Parameter Key Value
PARAM_VALUE 0 kref 4096-ptr_max
PARAM_VALUE 2 mutex 8213426055265841152
PARAM_VALUE 2 mutex->osq.tail.counter 0-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/tee/amdtee/core.c amdtee_open_session() -> kref_put_mutex()

Type Parameter Key Value
PARAM_VALUE 0 kref 4096-ptr_max
PARAM_VALUE 2 mutex 8213426055265841152
PARAM_VALUE 2 mutex->osq.tail.counter 0-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/tee/amdtee/core.c amdtee_open_session() -> kref_put_mutex()

Type Parameter Key Value
PARAM_VALUE 0 kref 4096-ptr_max
PARAM_VALUE 2 mutex 8213426055265841152
PARAM_VALUE 2 mutex->osq.tail.counter 0-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/pse-pd/pse_core.c pse_flush_pw_ds() -> kref_put_mutex()

Type Parameter Key Value
PARAM_VALUE 0 kref 4096-ptr_max
PARAM_VALUE 2 mutex 3172319655459680256
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 global &pse_pw_d_mutex

drivers/net/phy/sfp-bus.c sfp_bus_put() -> kref_put_mutex()

Type Parameter Key Value
PARAM_VALUE 0 kref 4096-ptr_max
PARAM_VALUE 2 mutex 5268778645702705152
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/opp/core.c dev_pm_opp_put() -> kref_put_mutex()

Type Parameter Key Value
PARAM_VALUE 0 kref 4096-ptr_max
PARAM_VALUE 2 mutex 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &a6xx_gpu->gmu.lock
HALF_LOCKED2 &core->lock
HALF_LOCKED2 &devfreq->lock
HALF_LOCKED2 &drv->reg_lock
HALF_LOCKED2 &first_bridge->encoder->bridge_chain_mutex
HALF_LOCKED2 &info->reg_lock
HALF_LOCKED2 &inst->lock
HALF_LOCKED2 &m->lock
HALF_LOCKED2 &policy->rwsem
HALF_LOCKED2 &tz->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &gpd_list_lock
HALF_LOCKED2 mutex

drivers/opp/core.c dev_pm_opp_put_opp_table() -> kref_put_mutex()

Type Parameter Key Value
PARAM_VALUE 0 kref 4096-ptr_max
PARAM_VALUE 2 mutex 8524886669525913600
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &gpd_list_lock
HALF_LOCKED2 global &of_genpd_mutex

drivers/gpu/drm/drm_gpuvm.c drm_gpuvm_bo_put_deferred() -> kref_put_mutex()

Type Parameter Key Value
PARAM_VALUE 0 kref 4096-ptr_max
PARAM_VALUE 2 mutex 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING