Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

drivers/dma-buf/dma-buf.c dma_buf_detach() -> (struct dma_buf_ops)->detach()

Type Parameter Key Value
PARAM_VALUE 0 dma_buf 4096-ptr_max
PARAM_VALUE 0 dma_buf->ops 4096-ptr_max
PARAM_VALUE 0 dma_buf->ops->detach 1-u64max
PARAM_VALUE 0 dma_buf->resv 4096-ptr_max
PARAM_VALUE 0 dma_buf->resv->fences 0,4096-ptr_max
PARAM_VALUE 0 dma_buf->resv->fences->max_fences 0-4294967295
PARAM_VALUE 0 dma_buf->resv->lock.base.dep_map->name 0-255
PARAM_VALUE 0 dma_buf->resv->lock.base.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dma_buf->resv->lock.base.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 dma_buf->resv->lock.base.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 dma_buf->resv->lock.base.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 dma_buf->resv->lock.base.first_waiter->task->blocked_on 0
PARAM_VALUE 0 dma_buf->resv->lock.ctx 0
PARAM_VALUE 0 dma_buf->resv->lock.ww_class->is_wait_die 0-s32max
PARAM_VALUE 1 attach 4096-ptr_max
PARAM_VALUE 1 attach->dmabuf 1-u64max
BUF_SIZE 0 dma_buf s32min-(-1),1-s32max
BUF_SIZE 0 dma_buf s32min-(-1),1-s32max
BUF_SIZE 1 attach (-1)-0,64
BUF_SIZE 1 attach (-1)-0,64
BUF_SIZE 1 attach->importer_priv (-1),72
CAPPED_DATA 0 dma_buf 1
CAPPED_DATA 0 dma_buf->resv->fences 1
CAPPED_DATA 1 attach->dmabuf 1
DATA_SOURCE 0 dma_buf $0
DATA_SOURCE 1 attach $1
CONTAINER 0 -8-32+0 $(-1)
PARAM_COMPARE 0 dma_buf == $1->dmabuf
PARAM_COMPARE 1 attach->dmabuf == $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 dma_buf->file->f_flags 0-18433,32770
USER_DATA 0 dma_buf->file->f_mode 33554432,34078720-571342855[c]
USER_DATA 1 attach->dmabuf->size 0-u64max
NO_OVERFLOW_SIMPLE 0 dma_buf->size
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &dev->object_name_lock
HALF_LOCKED2 &drm->object_name_lock
HALF_LOCKED2 &file_priv->prime.lock
HALF_LOCKED2 &priv->lock
HALF_LOCKED2 &vde->map_lock