Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/dma-buf/dma-buf.c dma_buf_map_attachment() -> (struct dma_buf_ops)->unmap_dma_buf()

Type Parameter Key Value
PARAM_VALUE 0 attach 4096-ptr_max
PARAM_VALUE 0 attach->dmabuf 4096-ptr_max
PARAM_VALUE 0 attach->dmabuf->ops 4096-ptr_max
PARAM_VALUE 1 sgb 1-ptr_max
BUF_SIZE 0 attach (-1),64
BUF_SIZE 0 attach (-1),64
DATA_SOURCE 0 attach $0
DATA_SOURCE 2 dir $1
CONTAINER 0 -40-32-0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 attach->dmabuf->size 0-u64max
HALF_LOCKED2 &bo->lock
HALF_LOCKED2 &dbc->ch_lock
HALF_LOCKED2 &qdev->dev_lock
HALF_LOCKED2 &usr->qddev_lock
HALF_LOCKED2 bo->base.base.resv
HALF_LOCKED2 dmabuf->resv
HALF_LOCKED2 resv
HALF_LOCKED2 0 attach->dmabuf->resv

drivers/dma-buf/dma-buf.c dma_buf_unmap_attachment() -> (struct dma_buf_ops)->unmap_dma_buf()

Type Parameter Key Value
PARAM_VALUE 0 attach 4096-ptr_max
PARAM_VALUE 0 attach->dmabuf 4096-ptr_max
PARAM_VALUE 0 attach->dmabuf->ops 4096-ptr_max
BUF_SIZE 0 attach (-1)-0,64
BUF_SIZE 0 attach (-1)-0,64
BUF_SIZE 0 attach->importer_priv (-1),72
DATA_SOURCE 0 attach $0
DATA_SOURCE 1 sgb $1 [m]
DATA_SOURCE 2 dir $2
CONTAINER 0 -40-32-0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 attach->dmabuf->size 0-u64max
USER_DATA 1 sgb->nents 2-s32max[c]
NO_OVERFLOW_SIMPLE 1 sgb->orig_nents
HALF_LOCKED2 &bo->lock
HALF_LOCKED2 &vdev->bo_list_lock
HALF_LOCKED2 bo->base.base.resv
HALF_LOCKED2 dmabuf->resv
HALF_LOCKED2 resv
HALF_LOCKED2 0 attach->dmabuf->resv