Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 7 files:

Smatch caller information:

drivers/infiniband/core/ib_core_uverbs.c rdma_user_mmap_entry_remove() -> dma_buf_invalidate_mappings()

Type Parameter Key Value
PARAM_VALUE 0 dmabuf 4096-ptr_max
PARAM_VALUE 0 dmabuf->resv->lock.base.dep_map->name 0-255
PARAM_VALUE 0 dmabuf->resv->lock.base.first_waiter 0,4096-5159360019465732095,5159360019465732097-ptr_max
PARAM_VALUE 0 dmabuf->resv->lock.base.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dmabuf->resv->lock.base.osq.tail.counter 0-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &entry->dmabufs_lock
LOCK2 0 dmabuf->resv
HALF_LOCKED2 &dm->ops_xa_lock
HALF_LOCKED2 &file->hw_destroy_rwsem
HALF_LOCKED2 &file->ucontext_lock
HALF_LOCKED2 &ufile->hw_destroy_rwsem
TYPE_LOCK (struct rdma_user_mmap_entry)->dmabufs_lock

drivers/iommu/iommufd/selftest.c iommufd_test_dmabuf_revoke() -> dma_buf_invalidate_mappings()

Type Parameter Key Value
PARAM_VALUE 0 dmabuf 4096-ptr_max
PARAM_VALUE 0 dmabuf->ops 1943865959194644480
PARAM_VALUE 0 dmabuf->priv 4096-ptr_max
PARAM_VALUE 0 dmabuf->resv->lock.base.dep_map->name 0-255
PARAM_VALUE 0 dmabuf->resv->lock.base.first_waiter 0,4096-5159360019465732095,5159360019465732097-ptr_max
PARAM_VALUE 0 dmabuf->resv->lock.base.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dmabuf->resv->lock.base.osq.tail.counter 0-s32max
BUF_SIZE 0 dmabuf s32min-(-2),1-s32max
BUF_SIZE 0 dmabuf s32min-(-2),1-s32max
DATA_SOURCE 0 dmabuf r dma_buf_get
NOCHECK_CALL
LOCK2 0 dmabuf->resv

drivers/gpu/drm/amd/amdgpu/amdgpu_object.c amdgpu_bo_move_notify() -> dma_buf_invalidate_mappings()

Type Parameter Key Value
PARAM_VALUE 0 dmabuf 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bo->base.resv

drivers/infiniband/core/uverbs_std_types_dmabuf.c uverbs_dmabuf_fd_destroy_uobj() -> dma_buf_invalidate_mappings()

Type Parameter Key Value
PARAM_VALUE 0 dmabuf 4096-ptr_max
PARAM_VALUE 0 dmabuf->resv->lock.base.dep_map->name 0-255
PARAM_VALUE 0 dmabuf->resv->lock.base.first_waiter 0,4096-5159360019465732095,5159360019465732097-ptr_max
PARAM_VALUE 0 dmabuf->resv->lock.base.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dmabuf->resv->lock.base.osq.tail.counter 0-s32max
NOCHECK_CALL
LOCK2 &uverbs_dmabuf->mmap_entry->dmabufs_lock
LOCK2 0 dmabuf->resv
TYPE_LOCK (struct rdma_user_mmap_entry)->dmabufs_lock

drivers/gpu/drm/xe/xe_bo.c xe_bo_move_notify() -> dma_buf_invalidate_mappings()

Type Parameter Key Value
PARAM_VALUE 0 dmabuf 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &vm->lock

drivers/vfio/pci/vfio_pci_dmabuf.c vfio_pci_dma_buf_move() -> dma_buf_invalidate_mappings()

Type Parameter Key Value
PARAM_VALUE 0 dmabuf 4096-ptr_max
PARAM_VALUE 0 dmabuf->file 0,4096-ptr_max
PARAM_VALUE 0 dmabuf->file->f_cred->process_keyring->usage.refs.counter s32min-s32max
PARAM_VALUE 0 dmabuf->file->f_cred->request_key_auth->usage.refs.counter s32min-s32max
PARAM_VALUE 0 dmabuf->file->f_cred->session_keyring->usage.refs.counter s32min-s32max
PARAM_VALUE 0 dmabuf->file->f_cred->thread_keyring->usage.refs.counter s32min-s32max
PARAM_VALUE 0 dmabuf->resv->lock.base.dep_map->name 0-255
PARAM_VALUE 0 dmabuf->resv->lock.base.first_waiter 0,4096-5159360019465732095,5159360019465732097-ptr_max
PARAM_VALUE 0 dmabuf->resv->lock.base.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dmabuf->resv->lock.base.osq.tail.counter 0-s32max
CAPPED_DATA 0 dmabuf->file 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 dmabuf->resv
HALF_LOCKED2 &dev_set->lock
HALF_LOCKED2 &device->dev_set->lock
HALF_LOCKED2 &vdev->memory_lock