Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
drivers/spi/spi-pxa2xx-dma.c clear_SSCR1_bits() -> pxa2xx_spi_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drv_data | 4096-ptr_max |
| PARAM_VALUE | 0 | drv_data->ssp | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 4 |
| BUF_SIZE | 0 | drv_data | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | drv_data | s32min-(-1),1-s32max |
| CAPPED_DATA | 2 | val | 1 |
| DATA_SOURCE | 0 | drv_data | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 2 | val | 0-u32max |
| UNITS | 0 | drv_data | unit_byte |
drivers/spi/spi-pxa2xx-dma.c pxa2xx_spi_dma_transfer_complete() -> pxa2xx_spi_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drv_data | 4096-ptr_max |
| PARAM_VALUE | 0 | drv_data->ssp | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 40 |
| PARAM_VALUE | 2 | val | 0 |
| BUF_SIZE | 0 | drv_data | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | drv_data | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | drv_data | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | drv_data | unit_byte |
drivers/spi/spi-pxa2xx-dma.c write_SSSR_CS() -> pxa2xx_spi_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drv_data | 4096-ptr_max |
| PARAM_VALUE | 0 | drv_data->ssp | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 8 |
| BUF_SIZE | 0 | drv_data | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | drv_data | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | drv_data | $0 |
| DATA_SOURCE | 2 | val | $1 [m] |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 2 | val | 0-u32max[c] |
| UNITS | 0 | drv_data | unit_byte |
drivers/spi/spi-pxa2xx.c cs_assert() -> pxa2xx_spi_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drv_data | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 8 |
| PARAM_VALUE | 2 | val | 0-255 |
| BUF_SIZE | 0 | drv_data | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | drv_data | s32min-(-2),1-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | drv_data | unit_byte |
| HALF_LOCKED2 | &ctlr->io_mutex | ||
| HALF_LOCKED2 | &spi->controller->bus_lock_mutex | ||
| HALF_LOCKED2 | &spi->controller->io_mutex | ||
| TYPE_LOCK | (struct spi_controller)->io_mutex |
drivers/spi/spi-pxa2xx.c int_stop_and_reset() -> pxa2xx_spi_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drv_data | 4096-ptr_max |
| PARAM_VALUE | 0 | drv_data->ssp | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 40 |
| PARAM_VALUE | 2 | val | 0 |
| BUF_SIZE | 0 | drv_data | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | drv_data | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | drv_data | $0 |
| STR_LEN | 0 | drv_data | (-1),16,32-33 |
| STR_LEN | 0 | drv_data | (-1),16,32-33 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | drv_data | unit_byte |
| HALF_LOCKED2 | &controller->io_mutex |
drivers/spi/spi-pxa2xx.c interrupt_transfer() -> pxa2xx_spi_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drv_data | 4096-ptr_max |
| PARAM_VALUE | 0 | drv_data->ssp | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 8 |
| PARAM_VALUE | 2 | val | 524288 |
| DATA_SOURCE | 0 | drv_data | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq |
drivers/spi/spi-pxa2xx.c interrupt_transfer() -> pxa2xx_spi_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drv_data | 4096-ptr_max |
| PARAM_VALUE | 0 | drv_data->ssp | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 4 |
| CAPPED_DATA | 0 | drv_data->tx | 1 |
| CAPPED_DATA | 0 | drv_data->tx_end | 1 |
| DATA_SOURCE | 0 | drv_data | $0 |
| PARAM_COMPARE | 0 | drv_data->tx | == $0->tx_end |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 2 | val | 0-u32max[c] |
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq |
drivers/spi/spi-pxa2xx.c null_writer() -> pxa2xx_spi_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drv_data | 4096-ptr_max |
| PARAM_VALUE | 0 | drv_data->ssp | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 16 |
| PARAM_VALUE | 2 | val | 0 |
| BUF_SIZE | 0 | drv_data | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | drv_data | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | drv_data->rx | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | drv_data->tx | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | drv_data | $0 |
| PARAM_COMPARE | 0 | drv_data->tx | != $0->tx_end |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &controller->io_mutex |
drivers/spi/spi-pxa2xx.c pxa2xx_spi_probe() -> pxa2xx_spi_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drv_data | 4096-ptr_max |
| PARAM_VALUE | 0 | drv_data->ssp | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 4 |
| PARAM_VALUE | 2 | val | 960 |
| BUF_SIZE | 0 | drv_data | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | drv_data | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | drv_data->controller | 2888-5752 |
| BUF_SIZE | 0 | drv_data->controller_info | 1-s32max |
| BUF_SIZE | 0 | drv_data->ssp | (-1),80 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | drv_data->controller_info->ssp.port_id | s32min-s32max |
| USER_DATA | 0 | drv_data->ssp->port_id | s32min-s32max |
| UNITS | 0 | drv_data | unit_byte |
drivers/spi/spi-pxa2xx.c pxa2xx_spi_probe() -> pxa2xx_spi_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drv_data | 4096-ptr_max |
| PARAM_VALUE | 0 | drv_data->ssp | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 0 |
| PARAM_VALUE | 2 | val | 7 |
| BUF_SIZE | 0 | drv_data | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | drv_data | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | drv_data->controller | 2888-5752 |
| BUF_SIZE | 0 | drv_data->controller_info | 1-s32max |
| BUF_SIZE | 0 | drv_data->ssp | (-1),80 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | drv_data->controller_info->ssp.port_id | s32min-s32max |
| USER_DATA | 0 | drv_data->ssp->port_id | s32min-s32max |
| UNITS | 0 | drv_data | unit_byte |
drivers/spi/spi-pxa2xx.c pxa2xx_spi_probe() -> pxa2xx_spi_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drv_data | 4096-ptr_max |
| PARAM_VALUE | 0 | drv_data->ssp | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 4 |
| PARAM_VALUE | 2 | val | 1088 |
| BUF_SIZE | 0 | drv_data | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | drv_data | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | drv_data->controller | 2888-5752 |
| BUF_SIZE | 0 | drv_data->controller_info | 1-s32max |
| BUF_SIZE | 0 | drv_data->ssp | (-1),80 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | drv_data->controller_info->ssp.port_id | s32min-s32max |
| USER_DATA | 0 | drv_data->ssp->port_id | s32min-s32max |
| UNITS | 0 | drv_data | unit_byte |
drivers/spi/spi-pxa2xx.c pxa2xx_spi_probe() -> pxa2xx_spi_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drv_data | 4096-ptr_max |
| PARAM_VALUE | 0 | drv_data->ssp | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 0 |
| PARAM_VALUE | 2 | val | 519 |
| BUF_SIZE | 0 | drv_data | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | drv_data | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | drv_data->controller | 2888-5752 |
| BUF_SIZE | 0 | drv_data->controller_info | 1-s32max |
| BUF_SIZE | 0 | drv_data->ssp | (-1),80 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | drv_data->controller_info->ssp.port_id | s32min-s32max |
| USER_DATA | 0 | drv_data->ssp->port_id | s32min-s32max |
| UNITS | 0 | drv_data | unit_byte |
drivers/spi/spi-pxa2xx.c pxa2xx_spi_probe() -> pxa2xx_spi_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drv_data | 4096-ptr_max |
| PARAM_VALUE | 0 | drv_data->ssp | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 4 |
| PARAM_VALUE | 2 | val | 7616,318768144 |
| BUF_SIZE | 0 | drv_data | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | drv_data | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | drv_data->controller | 2888-5752 |
| BUF_SIZE | 0 | drv_data->controller_info | 1-s32max |
| BUF_SIZE | 0 | drv_data->ssp | (-1),80 |
| FUZZY_MAX | 2 | val | 318768144 |
| BIT_INFO | 0 | drv_data->clear_sr | 0x80,0xffffffffffffffff |
| BIT_INFO | 0 | drv_data->dma_cr1 | 0x0,0x700000 |
| BIT_INFO | 0 | drv_data->int_cr1 | 0x3,0xffffffffffffffff |
| BIT_INFO | 0 | drv_data->mask_sr | 0xe0,0xffffffffffffffff |
| BIT_INFO | 2 | val | 0x400,0x13001dd0 |
| HARD_MAX | 2 | val | 318768144 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | drv_data->controller_info->ssp.port_id | s32min-s32max |
| USER_DATA | 0 | drv_data->ssp->port_id | s32min-s32max |
| UNITS | 0 | drv_data | unit_byte |
drivers/spi/spi-pxa2xx.c pxa2xx_spi_probe() -> pxa2xx_spi_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drv_data | 4096-ptr_max |
| PARAM_VALUE | 0 | drv_data->ssp | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 0 |
| PARAM_VALUE | 2 | val | 7,519 |
| BUF_SIZE | 0 | drv_data | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | drv_data | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | drv_data->controller | 2888-5752 |
| BUF_SIZE | 0 | drv_data->controller_info | 1-s32max |
| BUF_SIZE | 0 | drv_data->ssp | (-1),80 |
| FUZZY_MAX | 2 | val | 7 |
| BIT_INFO | 0 | drv_data->clear_sr | 0x80,0xffffffffffffffff |
| BIT_INFO | 0 | drv_data->dma_cr1 | 0x0,0x700000 |
| BIT_INFO | 0 | drv_data->int_cr1 | 0x3,0xffffffffffffffff |
| BIT_INFO | 0 | drv_data->mask_sr | 0xe0,0xffffffffffffffff |
| BIT_INFO | 2 | val | 0x7,0x207 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | drv_data->controller_info->ssp.port_id | s32min-s32max |
| USER_DATA | 0 | drv_data->ssp->port_id | s32min-s32max |
| UNITS | 0 | drv_data | unit_byte |
drivers/spi/spi-pxa2xx.c pxa2xx_spi_probe() -> pxa2xx_spi_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drv_data | 4096-ptr_max |
| PARAM_VALUE | 0 | drv_data->ssp | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 40 |
| PARAM_VALUE | 2 | val | 0 |
| BUF_SIZE | 0 | drv_data | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | drv_data | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | drv_data->controller | 2888-5752 |
| BUF_SIZE | 0 | drv_data->controller_info | 1-s32max |
| BUF_SIZE | 0 | drv_data->ssp | (-1),80 |
| BIT_INFO | 0 | drv_data->clear_sr | 0x80,0xffffffffffffffff |
| BIT_INFO | 0 | drv_data->dma_cr1 | 0x0,0x700000 |
| BIT_INFO | 0 | drv_data->int_cr1 | 0x3,0xffffffffffffffff |
| BIT_INFO | 0 | drv_data->mask_sr | 0xe0,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | drv_data->controller_info->ssp.port_id | s32min-s32max |
| USER_DATA | 0 | drv_data->ssp->port_id | s32min-s32max |
| UNITS | 0 | drv_data | unit_byte |
drivers/spi/spi-pxa2xx.c pxa2xx_spi_probe() -> pxa2xx_spi_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drv_data | 4096-ptr_max |
| PARAM_VALUE | 0 | drv_data->ssp | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 44 |
| PARAM_VALUE | 2 | val | 0 |
| BUF_SIZE | 0 | drv_data | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | drv_data | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | drv_data->controller | 2888-5752 |
| BUF_SIZE | 0 | drv_data->controller_info | 1-s32max |
| BUF_SIZE | 0 | drv_data->ssp | (-1),80 |
| BIT_INFO | 0 | drv_data->clear_sr | 0x80,0xffffffffffffffff |
| BIT_INFO | 0 | drv_data->dma_cr1 | 0x0,0x700000 |
| BIT_INFO | 0 | drv_data->int_cr1 | 0x3,0xffffffffffffffff |
| BIT_INFO | 0 | drv_data->mask_sr | 0xe0,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | drv_data->controller_info->ssp.port_id | s32min-s32max |
| USER_DATA | 0 | drv_data->ssp->port_id | s32min-s32max |
| UNITS | 0 | drv_data | unit_byte |
drivers/spi/spi-pxa2xx.c pxa2xx_spi_transfer_one() -> pxa2xx_spi_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drv_data | 4096-ptr_max |
| PARAM_VALUE | 0 | drv_data->ssp | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 8 |
| BUF_SIZE | 0 | drv_data | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | drv_data | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | drv_data->rx | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | drv_data->tx | s32min-(-2),1-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | drv_data | unit_byte |
| LOCK2 | &controller->io_mutex | ||
| HALF_LOCKED2 | &controller->dev.driver_data->op_lock | ||
| TYPE_LOCK | (struct spi_controller)->io_mutex |
drivers/spi/spi-pxa2xx.c pxa2xx_spi_transfer_one() -> pxa2xx_spi_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drv_data | 4096-ptr_max |
| PARAM_VALUE | 0 | drv_data->ssp | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 40 |
| PARAM_VALUE | 2 | val | 1000 |
| BUF_SIZE | 0 | drv_data | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | drv_data | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | drv_data->rx | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | drv_data->tx | s32min-(-2),1-s32max |
| BIT_INFO | 0 | drv_data->transfer_handler | 0x482b00014c900000,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | drv_data | unit_byte |
| LOCK2 | &controller->io_mutex | ||
| HALF_LOCKED2 | &controller->dev.driver_data->op_lock | ||
| TYPE_LOCK | (struct spi_controller)->io_mutex |
drivers/spi/spi-pxa2xx.c pxa2xx_spi_transfer_one() -> pxa2xx_spi_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drv_data | 4096-ptr_max |
| PARAM_VALUE | 0 | drv_data->ssp | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 4 |
| BUF_SIZE | 0 | drv_data | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | drv_data | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | drv_data->rx | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | drv_data->tx | s32min-(-1),1-s32max |
| BIT_INFO | 0 | drv_data->transfer_handler | 0x482b00014c900000,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | drv_data | unit_byte |
| LOCK2 | &controller->io_mutex | ||
| HALF_LOCKED2 | &controller->dev.driver_data->op_lock | ||
| TYPE_LOCK | (struct spi_controller)->io_mutex |
drivers/spi/spi-pxa2xx.c pxa2xx_spi_update() -> pxa2xx_spi_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drv_data | 4096-ptr_max |
| PARAM_VALUE | 0 | drv_data->ssp | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 0,4,40,68,72,108 |
| BUF_SIZE | 0 | drv_data | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | drv_data | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | drv_data->rx | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | drv_data->tx | s32min-(-1),1-s32max |
| CAPPED_DATA | 2 | val | 1 |
| DATA_SOURCE | 0 | drv_data | $0 |
| DATA_SOURCE | 1 | reg | $1 |
| STR_LEN | 0 | drv_data | (-1),16,32-33 |
| STR_LEN | 0 | drv_data | (-1),16,32-33 |
| HARD_MAX | 1 | reg | 108 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | drv_data | unit_byte |
| HALF_LOCKED2 | &controller->io_mutex |
drivers/spi/spi-pxa2xx.c ssp_int() -> pxa2xx_spi_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drv_data | 4096-ptr_max |
| PARAM_VALUE | 0 | drv_data->ssp | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 4 |
| CAPPED_DATA | 2 | val | 1 |
| DATA_SOURCE | 0 | drv_data | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 2 | val | 0-u32max |
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | flags |
drivers/spi/spi-pxa2xx.c ssp_int() -> pxa2xx_spi_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drv_data | 4096-ptr_max |
| PARAM_VALUE | 0 | drv_data->ssp | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 4 |
| DATA_SOURCE | 0 | drv_data | $1 |
| DATA_SOURCE | 2 | val | r pxa2xx_spi_read |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 2 | val | 0-u32max |
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | flags |
drivers/spi/spi-pxa2xx.c u16_writer() -> pxa2xx_spi_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drv_data | 4096-ptr_max |
| PARAM_VALUE | 0 | drv_data->ssp | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 16 |
| PARAM_VALUE | 2 | val | 0-u16max |
| BUF_SIZE | 0 | drv_data | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | drv_data | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | drv_data->rx | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | drv_data->tx | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | drv_data | $0 |
| PARAM_COMPARE | 0 | drv_data->tx | != $0->tx_end |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &controller->io_mutex |
drivers/spi/spi-pxa2xx.c u32_writer() -> pxa2xx_spi_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drv_data | 4096-ptr_max |
| PARAM_VALUE | 0 | drv_data->ssp | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 16 |
| BUF_SIZE | 0 | drv_data | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | drv_data | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | drv_data->rx | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | drv_data->tx | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | drv_data | $0 |
| PARAM_COMPARE | 0 | drv_data->tx | != $0->tx_end |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &controller->io_mutex |
drivers/spi/spi-pxa2xx.c u8_writer() -> pxa2xx_spi_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drv_data | 4096-ptr_max |
| PARAM_VALUE | 0 | drv_data->ssp | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 16 |
| PARAM_VALUE | 2 | val | 0-255 |
| BUF_SIZE | 0 | drv_data | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | drv_data | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | drv_data->rx | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | drv_data->tx | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | drv_data | $0 |
| PARAM_COMPARE | 0 | drv_data->tx | != $0->tx_end |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &controller->io_mutex |
drivers/spi/spi-pxa2xx.c write_SSSR_CS() -> pxa2xx_spi_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drv_data | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 8 |
| BUF_SIZE | 0 | drv_data | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | drv_data | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | drv_data->rx | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | drv_data->tx | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | drv_data | $0 |
| DATA_SOURCE | 2 | val | $1 [m] |
| STR_LEN | 0 | drv_data | (-1),16,32-33 |
| STR_LEN | 0 | drv_data | (-1),16,32-33 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 2 | val | 0-u32max[c] |
| UNITS | 0 | drv_data | unit_byte |
| HALF_LOCKED2 | &controller->io_mutex |