Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/spi/spi-fsl-dspi.c dspi_xspi_fifo_write() -> dspi_pushr_txdata_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dspi | 4096-ptr_max |
| PARAM_VALUE | 0 | dspi->cur_chip | 4096-ptr_max |
| PARAM_VALUE | 0 | dspi->cur_msg | 4096-ptr_max |
| PARAM_VALUE | 0 | dspi->cur_transfer | 4096-ptr_max |
| PARAM_VALUE | 0 | dspi->dev_to_host | 2515479184021200896,2564407381513302016,3291439456817700864,7262558691796418560 |
| PARAM_VALUE | 0 | dspi->devtype_data | 4096-ptr_max |
| PARAM_VALUE | 0 | dspi->dma->chan_rx | 0,4096-u64max |
| PARAM_VALUE | 0 | dspi->dma->chan_tx | 0,4096-u64max |
| PARAM_VALUE | 0 | dspi->dma->rx_desc | 0,16,4096-u64max |
| PARAM_VALUE | 0 | dspi->dma->tx_desc | 0,16,4096-u64max |
| PARAM_VALUE | 0 | dspi->host_to_dev | 3146102651758198784,4604773927929868288,5493374302113169408,8260859733932068864 |
| PARAM_VALUE | 0 | dspi->oper_bits_per_word | 0-255 |
| PARAM_VALUE | 0 | dspi->oper_word_size | 0-32 |
| PARAM_VALUE | 0 | dspi->regmap | 4096-ptr_max |
| PARAM_VALUE | 0 | dspi->regmap->async | 0-1 |
| PARAM_VALUE | 0 | dspi->regmap->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | dspi->regmap->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | dspi->regmap->cache->cached_rbnode->node.__rb_parent_color | 0-1,4096-s64max |
| PARAM_VALUE | 0 | dspi->regmap->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | dspi->regmap_pushr | 4096-ptr_max |
| PARAM_VALUE | 0 | dspi->regmap_pushr->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | dspi->regmap_pushr->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | dspi->regmap_pushr->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | *dspi->regmap_pushr->cache->data | 0-4294967295 |
| BUF_SIZE | 0 | dspi | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | dspi | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | dspi->cur_chip | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | dspi->rx | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | dspi->oper_word_size | 1 |
| CAPPED_DATA | 0 | dspi->words_in_flight | 1 |
| DATA_SOURCE | 0 | dspi | $0 |
| FUZZY_MAX | 0 | dspi->oper_word_size | 4 |
| STR_LEN | 0 | dspi->cur_msg->spi | (-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | dspi | unit_byte |
| HALF_LOCKED2 | &ctlr->io_mutex |
drivers/spi/spi-fsl-dspi.c dspi_xspi_fifo_write() -> dspi_pushr_txdata_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dspi | 4096-ptr_max |
| PARAM_VALUE | 0 | dspi->cur_chip | 4096-ptr_max |
| PARAM_VALUE | 0 | dspi->cur_msg | 4096-ptr_max |
| PARAM_VALUE | 0 | dspi->cur_transfer | 4096-ptr_max |
| PARAM_VALUE | 0 | dspi->dev_to_host | 2515479184021200896,2564407381513302016,3291439456817700864,7262558691796418560 |
| PARAM_VALUE | 0 | dspi->devtype_data | 4096-ptr_max |
| PARAM_VALUE | 0 | dspi->dma->chan_rx | 0,4096-u64max |
| PARAM_VALUE | 0 | dspi->dma->chan_tx | 0,4096-u64max |
| PARAM_VALUE | 0 | dspi->dma->rx_desc | 0,16,4096-u64max |
| PARAM_VALUE | 0 | dspi->dma->tx_desc | 0,16,4096-u64max |
| PARAM_VALUE | 0 | dspi->host_to_dev | 3146102651758198784,4604773927929868288,5493374302113169408,8260859733932068864 |
| PARAM_VALUE | 0 | dspi->oper_bits_per_word | 17-255 |
| PARAM_VALUE | 0 | dspi->oper_word_size | 0-32 |
| PARAM_VALUE | 0 | dspi->regmap | 4096-ptr_max |
| PARAM_VALUE | 0 | dspi->regmap->async | 0-1 |
| PARAM_VALUE | 0 | dspi->regmap->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | dspi->regmap->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | dspi->regmap->cache->cached_rbnode->node.__rb_parent_color | 0-1,4096-s64max |
| PARAM_VALUE | 0 | dspi->regmap->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | dspi->regmap_pushr | 4096-ptr_max |
| PARAM_VALUE | 0 | dspi->regmap_pushr->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | dspi->regmap_pushr->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | dspi->regmap_pushr->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | *dspi->regmap_pushr->cache->data | 0-4294967295 |
| BUF_SIZE | 0 | dspi | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | dspi | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | dspi->cur_chip | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | dspi->rx | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | dspi->oper_word_size | 1 |
| CAPPED_DATA | 0 | dspi->words_in_flight | 1 |
| DATA_SOURCE | 0 | dspi | $0 |
| FUZZY_MAX | 0 | dspi->oper_word_size | 4 |
| STR_LEN | 0 | dspi->cur_msg->spi | (-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | dspi | unit_byte |
| HALF_LOCKED2 | &ctlr->io_mutex |