Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/spi/spi-imx.c spi_imx_dma_submit() -> (struct spi_imx_devtype_data)->disable()

Type Parameter Key Value
PARAM_VALUE 0 spi_imx 4096-ptr_max
PARAM_VALUE 0 spi_imx->bits_per_word 0-255
PARAM_VALUE 0 spi_imx->controller 4096-ptr_max
PARAM_VALUE 0 spi_imx->controller->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 spi_imx->controller->dma_rx 4096-ptr_max
PARAM_VALUE 0 spi_imx->controller->dma_rx->device 4096-ptr_max
PARAM_VALUE 0 spi_imx->controller->dma_rx->device->dev->dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 spi_imx->controller->dma_rx->device->dev->dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 spi_imx->controller->dma_rx->device->dev->dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 spi_imx->controller->dma_rx->device->dev->dma_uses_io_tlb 1
PARAM_VALUE 0 spi_imx->controller->dma_rx->device->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 spi_imx->controller->dma_rx->device->device_config 1-u64max
PARAM_VALUE 0 spi_imx->controller->dma_rx->device->device_issue_pending 4096-ptr_max
PARAM_VALUE 0 spi_imx->controller->dma_tx 4096-ptr_max
PARAM_VALUE 0 spi_imx->controller->dma_tx->device 4096-ptr_max
PARAM_VALUE 0 spi_imx->controller->dma_tx->device->dev->dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 spi_imx->controller->dma_tx->device->dev->dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 spi_imx->controller->dma_tx->device->dev->dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 spi_imx->controller->dma_tx->device->dev->dma_uses_io_tlb 1
PARAM_VALUE 0 spi_imx->controller->dma_tx->device->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 spi_imx->controller->dma_tx->device->device_config 1-u64max
PARAM_VALUE 0 spi_imx->controller->dma_tx->device->device_issue_pending 4096-ptr_max
PARAM_VALUE 0 spi_imx->count 1-u32max
PARAM_VALUE 0 spi_imx->devtype_data 4096-ptr_max
PARAM_VALUE 0 spi_imx->devtype_data->disable 1-u64max
PARAM_VALUE 0 spi_imx->devtype_data->setup_wml 1-u64max
PARAM_VALUE 0 spi_imx->dma_data 4096-ptr_max
PARAM_VALUE 0 spi_imx->dma_package_num 1-2
PARAM_VALUE 0 spi_imx->dma_rx_completion.done 0-4294967293,u32max
PARAM_VALUE 0 spi_imx->dma_rx_completion.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 spi_imx->dma_rx_completion.wait.lock.owner (-1)
PARAM_VALUE 0 spi_imx->dma_rx_completion.wait.lock.owner_cpu u32max
PARAM_VALUE 0 spi_imx->dma_rx_completion.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 spi_imx->dma_rx_completion.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 spi_imx->dma_tx_completion.done 0-4294967293,u32max
PARAM_VALUE 0 spi_imx->dma_tx_completion.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 spi_imx->dma_tx_completion.wait.lock.owner (-1)
PARAM_VALUE 0 spi_imx->dma_tx_completion.wait.lock.owner_cpu u32max
PARAM_VALUE 0 spi_imx->dma_tx_completion.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 spi_imx->dma_tx_completion.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 spi_imx->dynamic_burst 0-1
PARAM_VALUE 0 spi_imx->rx 42342777452650496,113465671552167936,462074568686665728,4659679021030215680,6599172078914756608
PARAM_VALUE 0 spi_imx->target_aborted 0
PARAM_VALUE 0 spi_imx->target_burst 1-u32max
PARAM_VALUE 0 spi_imx->target_mode 1
PARAM_VALUE 0 spi_imx->tx 111164812599615488,1973180455362531328,4613384052067262464,4807103415222149120,7782709079490289664
PARAM_VALUE 0 spi_imx->usedma 1
PARAM_VALUE 0 spi_imx->wml 1-u32max
BUF_SIZE 0 spi_imx s32min-(-2),1-s32max
BUF_SIZE 0 spi_imx s32min-(-2),1-s32max
CAPPED_DATA 0 spi_imx->dma_data 1
DATA_SOURCE 0 spi_imx $0
CONTAINER 0 -56-448+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 spi_imx->dma_package_num
LOCK2 &controller->io_mutex
HALF_LOCKED2 &controller->dev.driver_data->op_lock
TYPE_LOCK (struct spi_controller)->io_mutex

drivers/spi/spi-imx.c spi_imx_pio_transfer_target() -> (struct spi_imx_devtype_data)->disable()

Type Parameter Key Value
PARAM_VALUE 0 spi_imx 4096-ptr_max
PARAM_VALUE 0 spi_imx->devtype_data 4096-ptr_max
PARAM_VALUE 0 spi_imx->devtype_data->disable 1-u64max
PARAM_VALUE 0 spi_imx->remainder 1-512
PARAM_VALUE 0 spi_imx->target_aborted 0
PARAM_VALUE 0 spi_imx->xfer_done.done 0-4294967293,u32max
PARAM_VALUE 0 spi_imx->xfer_done.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 spi_imx->xfer_done.wait.lock.owner (-1)
PARAM_VALUE 0 spi_imx->xfer_done.wait.lock.owner_cpu u32max
PARAM_VALUE 0 spi_imx->xfer_done.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 spi_imx->xfer_done.wait.task_list.prev->next->next 4096-ptr_max
BUF_SIZE 0 spi_imx s32min-(-2),1-s32max
BUF_SIZE 0 spi_imx s32min-(-2),1-s32max
BUF_SIZE 0 spi_imx->rx_buf s32min-(-2),1-s32max
CAPPED_DATA 0 spi_imx->devtype_data->fifo_size 1
CONTAINER 0 -56-448+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &controller->io_mutex
HALF_LOCKED2 &controller->dev.driver_data->op_lock
TYPE_LOCK (struct spi_controller)->io_mutex