Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/panthor/panthor_gem.c panthor_gem_backing_cleanup_locked() -> bo_assert_locked_or_gone()

Type Parameter Key Value
PARAM_VALUE 0 bo 4096-ptr_max
PARAM_VALUE 0 bo->base.dev->anon_inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 bo->base.dev->anon_inode->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 bo->dmap.sgt 0
DATA_SOURCE 0 bo $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &bo->base.gpuva.lock

drivers/gpu/drm/panthor/panthor_gem.c panthor_gem_backing_unpin_locked() -> bo_assert_locked_or_gone()

Type Parameter Key Value
PARAM_VALUE 0 bo->base._resv.lock.ww_class->is_wait_die 0-1
BUF_SIZE 0 bo (-1),968
BUF_SIZE 0 bo (-1),968
BUF_SIZE 0 bo->base.dev (-1),3696
DATA_SOURCE 0 bo $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 bo->base.filp->f_flags 0-18433,32770
USER_DATA 0 bo->base.filp->f_mode 33554432,34078720-571342855[c]
USER_DATA 0 bo->base.size 0,4096-u64max[c]
USER_DATA 0 bo->base.vma_node.vm_node.size 1-s32max[c]
USER_DATA 0 bo->base.vma_node.vm_node.start 0-s32max[c]
USER_DATA 0 bo->flags 1[u]
NO_OVERFLOW_SIMPLE 0 bo->base.dev->mode_config.num_colorop
NO_OVERFLOW_SIMPLE 0 bo->base.dev->mode_config.num_crtc
NO_OVERFLOW_SIMPLE 0 bo->base.dev->mode_config.num_total_plane
NO_OVERFLOW_SIMPLE 0 bo->base.dev->num_crtcs
NO_OVERFLOW_SIMPLE 0 bo->dmap.sgt->nents
HALF_LOCKED2 obj->resv
HALF_LOCKED2 0 bo->base.resv

drivers/gpu/drm/panthor/panthor_gem.c panthor_gem_dev_map_cleanup_locked() -> bo_assert_locked_or_gone()

Type Parameter Key Value
PARAM_VALUE 0 bo 4096-ptr_max
PARAM_VALUE 0 bo->base.dev->anon_inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 bo->base.dev->anon_inode->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
DATA_SOURCE 0 bo $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &bo->base.gpuva.lock