Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/drm_gem.c drm_gem_handle_delete() -> drm_gem_object_release_handle()

Type Parameter Key Value
PARAM_VALUE 1 ptr 1-ptr_max
PARAM_VALUE 2 data 4096-ptr_max
BUF_SIZE 2 data s32min-(-1),1-s32max
CAPPED_DATA 0 id 1
DATA_SOURCE 0 id $1
DATA_SOURCE 1 ptr r idr_replace
DATA_SOURCE 2 data $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 id 0-s32max[c]
UNITS 0 id unit_bit
UNITS 2 data unit_byte
HALF_LOCKED2 &dev->clientlist_mutex
HALF_LOCKED2 &dev->object_name_lock
HALF_LOCKED2 &fb_helper->lock
HALF_LOCKED2 &helper->lock
HALF_LOCKED2 &p->mutex

lib/idr.c idr_for_each() -> idr_for_each param 1()

Type Parameter Key Value
PARAM_VALUE 0 id 0-s32max
BUF_SIZE 2 data s32min-s32max
DATA_SOURCE 2 data $2
RX_PATH
TASK_NOT_RUNNING
UNITS 2 data unit_byte
HALF_LOCKED2 &ab->core_lock
HALF_LOCKED2 &ah->hw->wiphy->mtx
HALF_LOCKED2 &ar->conf_mutex
HALF_LOCKED2 &ar->data_lock
HALF_LOCKED2 &dev->object_name_lock
HALF_LOCKED2 &fpriv->lock
HALF_LOCKED2 &m->lock
HALF_LOCKED2 &s->lock
HALF_LOCKED2 bh
HALF_LOCKED2 global &device_mutex
HALF_LOCKED2 global &nbd_index_mutex
HALF_LOCKED2 global &pernet_ops_rwsem
HALF_LOCKED2 global &sg_index_lock
HALF_LOCKED2 iflags
HALF_LOCKED2 rcu_read