Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/spi/spi-atmel.c atmel_spi_pdc_next_xfer() -> atmel_spi_next_xfer_data()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 1 xfer 4096-ptr_max
PARAM_VALUE 1 xfer->len 1-u32max
PARAM_VALUE 1 xfer->rx_dma 0-18446744073709551614
PARAM_VALUE 1 xfer->tx_dma 0-18446744073709551614
PARAM_VALUE 2 tx_dma 2931964935114555392
PARAM_VALUE 3 rx_dma 6316252277172903936
PARAM_VALUE 4 plen 3640662034981576704
CAPPED_DATA 0 host->dummy_rx 1
CAPPED_DATA 0 host->dummy_tx 1
DATA_SOURCE 0 host $0
DATA_SOURCE 1 xfer $1
STR_LEN 0 host (-1)
STR_LEN 0 host (-1)
STR_LEN 0 host->cur_msg->spi (-1)
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &as->lock
LOCK2 as->flags
LOCK2 0 &host->io_mutex
HALF_LOCKED2 0 &host->dev.driver_data->op_lock
TYPE_LOCK (struct atmel_spi)->lock
TYPE_LOCK (struct spi_controller)->io_mutex

drivers/spi/spi-atmel.c atmel_spi_pdc_next_xfer() -> atmel_spi_next_xfer_data()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 1 xfer 4096-ptr_max
PARAM_VALUE 1 xfer->len 1-u32max
PARAM_VALUE 1 xfer->rx_dma 0-18446744073709551614
PARAM_VALUE 1 xfer->tx_dma 0-18446744073709551614
PARAM_VALUE 2 tx_dma 2931964935114555392
PARAM_VALUE 3 rx_dma 6316252277172903936
PARAM_VALUE 4 plen 3640662034981576704
PARAM_VALUE 4 *plen 1-u32max
CAPPED_DATA 0 host->dummy_rx 1
CAPPED_DATA 0 host->dummy_tx 1
DATA_SOURCE 0 host $0
DATA_SOURCE 1 xfer $1
STR_LEN 0 host (-1)
STR_LEN 0 host (-1)
STR_LEN 0 host->cur_msg->spi (-1)
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &as->lock
LOCK2 as->flags
LOCK2 0 &host->io_mutex
HALF_LOCKED2 0 &host->dev.driver_data->op_lock
TYPE_LOCK (struct atmel_spi)->lock
TYPE_LOCK (struct spi_controller)->io_mutex