Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/xen/swiotlb-xen.c xen_swiotlb_sync_sg_for_cpu() -> xen_swiotlb_sync_single_for_cpu()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 dev->dma_mask 4096-ptr_max
PARAM_VALUE 0 dev->flags 4096-ptr_max
PARAM_VALUE 3 dir 0-2
BUF_SIZE 0 dev (-1),1616
BUF_SIZE 0 dev (-1),1616
DATA_SOURCE 0 dev $0
DATA_SOURCE 3 dir $3
FUZZY_MAX 3 dir 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 dma_addr unit_byte
HALF_LOCKED2 &buffer->lock
HALF_LOCKED2 &ccdc->ioctl_lock
HALF_LOCKED2 &ctlr->io_mutex
HALF_LOCKED2 &host->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &sport->port.lock
HALF_LOCKED2 &stat->ioctl_lock
HALF_LOCKED2 flags
HALF_LOCKED2 obj->resv

kernel/dma/mapping.c __dma_sync_single_for_cpu() -> (struct dma_map_ops)->sync_single_for_cpu()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dma_mask 4096-ptr_max
PARAM_VALUE 0 dev->flags 4096-ptr_max
PARAM_VALUE 3 dir 0-2
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 dma_addr $1
DATA_SOURCE 2 size $2
DATA_SOURCE 3 dir $3
NOCHECK_CALL