Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/dma/dw/core.c do_dma_probe() -> (struct dw_dma)->disable()

Type Parameter Key Value
PARAM_VALUE 0 dw 4096-ptr_max
PARAM_VALUE 0 dw->block2bytes 227534482313027584,4894585096862011392
PARAM_VALUE 0 dw->bytes2block 6896667867918192640,8225778518322356224
PARAM_VALUE 0 dw->chan 1-u64max
PARAM_VALUE 0 dw->disable 4122537398398103552,4533802465835503616
PARAM_VALUE 0 dw->enable 721888987623903232,5743619157550985216
PARAM_VALUE 0 dw->initialize_chan 2098851587559526400,4070115963792187392,8818389467024683008
PARAM_VALUE 0 dw->pdata 1-u64max
PARAM_VALUE 0 dw->pdata->chan_allocation_order 0
PARAM_VALUE 0 dw->pdata->chan_priority 0
PARAM_VALUE 0 dw->pdata->data_width 0,4096-ptr_max
PARAM_VALUE 0 dw->pdata->nr_channels 0-8
PARAM_VALUE 0 dw->pdata->nr_masters 0-4
PARAM_VALUE 0 dw->prepare_ctllo 821635834314199040,5473201653141569536
PARAM_VALUE 0 dw->resume_chan 2689451767091068928,6237260335886356480
PARAM_VALUE 0 dw->set_device_name 6438883439916249088,8855279114696155136
PARAM_VALUE 0 dw->suspend_chan 489564241086439424,2572900228522246144
BUF_SIZE 0 dw 640
BUF_SIZE 0 dw->chan 0-3392
BUF_SIZE 0 dw->pdata 108
FUZZY_MAX 0 dw->pdata->nr_masters 0
CONTAINER 0 -616+0 $(-1)
MEM_ZERO 0 dw->chan
MEM_ZERO 0 dw->pdata
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/dma/dw/core.c do_dw_dma_disable() -> (struct dw_dma)->disable()

Type Parameter Key Value
PARAM_VALUE 0 dw 4096-ptr_max
CONTAINER 0 -616+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex