Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/dma/dmaengine.c dma_async_device_register() -> dmaengine_debug_register()

Type Parameter Key Value
PARAM_VALUE 0 dma_dev 4096-ptr_max
PARAM_VALUE 0 dma_dev->cap_mask.bits 4096-ptr_max
PARAM_VALUE 0 dma_dev->chan_ida.xa.xa_flags 33554437
PARAM_VALUE 0 dma_dev->chan_ida.xa.xa_head 0
PARAM_VALUE 0 dma_dev->dev 4096-ptr_max
PARAM_VALUE 0 dma_dev->dev->driver 4096-ptr_max
PARAM_VALUE 0 dma_dev->dev_id 0-s32max
PARAM_VALUE 0 dma_dev->device_issue_pending 1-u64max
PARAM_VALUE 0 dma_dev->device_tx_status 1-u64max
PARAM_VALUE 0 dma_dev->ref.refcount.refs.counter 1
BUF_SIZE 0 dma_dev (-1),464
BUF_SIZE 0 dma_dev (-1),464
BUF_SIZE 0 dma_dev->dev (-1),1616
CAPPED_DATA 0 &dma_dev->channels 1
DATA_SOURCE 0 dma_dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dma_dev->chan_ida.xa.xa_flags 33554437
HOST_DATA 0 dma_dev->chancnt 0-u32max
HOST_DATA 0 dma_dev->copy_align 0-u32max
HOST_DATA 0 dma_dev->desc_metadata_modes 0-u32max
HOST_DATA 0 dma_dev->descriptor_reuse 0-1
HOST_DATA 0 dma_dev->directions 0-u32max
HOST_DATA 0 dma_dev->dst_addr_widths 0-u32max
HOST_DATA 0 dma_dev->fill_align 0-u32max
HOST_DATA 0 dma_dev->filter.mapcnt s32min-s32max
HOST_DATA 0 dma_dev->max_burst 0-u32max
HOST_DATA 0 dma_dev->max_pq 0-u16max
HOST_DATA 0 dma_dev->max_sg_burst 0-u32max
HOST_DATA 0 dma_dev->max_xor 0-u16max
HOST_DATA 0 dma_dev->min_burst 0-u32max
HOST_DATA 0 dma_dev->pq_align 0-u32max
HOST_DATA 0 dma_dev->privatecnt 0-u32max
HOST_DATA 0 dma_dev->ref.refcount.refs.counter 1
HOST_DATA 0 dma_dev->residue_granularity 0-u32max
HOST_DATA 0 dma_dev->src_addr_widths 0-u32max
HOST_DATA 0 dma_dev->xor_align 0-u32max