Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/hsi/clients/ssi_protocol.c ssip_pn_xmit() -> ssip_set_txstate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ssi | 4096-ptr_max |
| PARAM_VALUE | 0 | ssi->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ssi->main_state | 2 |
| PARAM_VALUE | 0 | ssi->send_state | 0 |
| PARAM_VALUE | 0 | ssi->txqueue.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ssi->txqueue.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ssi->txqueue.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | state | 1 |
| BUF_SIZE | 0 | ssi | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | ssi | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | ssi->txqueue_len | 1 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | ssi | unit_byte |
| LOCK2 | bh | ||
| LOCK2 | 0 | &ssi->lock | |
| HALF_LOCKED2 | &txq->_xmit_lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read | ||
| TYPE_LOCK | (struct ssi_protocol)->lock |
drivers/hsi/clients/ssi_protocol.c ssip_rx_ready() -> ssip_set_txstate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ssi | 4096-ptr_max |
| PARAM_VALUE | 0 | ssi->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ssi->main_state | 2 |
| PARAM_VALUE | 0 | ssi->send_state | 1 |
| PARAM_VALUE | 1 | state | 2 |
| BUF_SIZE | 0 | ssi | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | ssi | s32min-(-2),1-s32max |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | ssi | unit_byte |
| LOCK2 | bh | ||
| LOCK2 | 0 | &ssi->lock | |
| TYPE_LOCK | (struct ssi_protocol)->lock |
drivers/hsi/clients/ssi_protocol.c ssip_slave_start_tx() -> ssip_set_txstate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ssi | 4096-ptr_max |
| PARAM_VALUE | 0 | ssi->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ssi->send_state | 0 |
| PARAM_VALUE | 1 | state | 1 |
| BUF_SIZE | 0 | ssi | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | ssi | s32min-(-2),1-s32max |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| NOCHECK_CALL | |||
| UNITS | 0 | ssi | unit_byte |
| LOCK2 | bh | ||
| LOCK2 | 0 | &ssi->lock | |
| TYPE_LOCK | (struct ssi_protocol)->lock |
drivers/hsi/clients/ssi_protocol.c ssip_slave_stop_tx() -> ssip_set_txstate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ssi | 4096-ptr_max |
| PARAM_VALUE | 0 | ssi->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ssi->send_state | 1-2 |
| PARAM_VALUE | 1 | state | 0 |
| BUF_SIZE | 0 | ssi | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | ssi | s32min-(-2),1-s32max |
| FUZZY_MAX | 0 | ssi->send_state | 2 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | ssi | unit_byte |
| LOCK2 | bh | ||
| LOCK2 | 0 | &ssi->lock | |
| TYPE_LOCK | (struct ssi_protocol)->lock |
drivers/hsi/clients/ssi_protocol.c ssip_strans_complete() -> ssip_set_txstate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ssi | 4096-ptr_max |
| PARAM_VALUE | 0 | ssi->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | state | 3 |
| BUF_SIZE | 0 | ssi | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | ssi | s32min-(-2),1-s32max |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | ssi | unit_byte |
| LOCK2 | bh | ||
| LOCK2 | 0 | &ssi->lock | |
| TYPE_LOCK | (struct ssi_protocol)->lock |
drivers/hsi/clients/ssi_protocol.c ssip_swbreak_complete() -> ssip_set_txstate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ssi | 4096-ptr_max |
| PARAM_VALUE | 0 | ssi->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ssi->tx_usecnt.counter | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | ssi->txqueue.next | 4096-ptr_max |
| PARAM_VALUE | 1 | state | 2 |
| BUF_SIZE | 0 | ssi | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | ssi | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | &ssi->txqueue | 1 |
| PARAM_COMPARE | 0 | &ssi->txqueue | == $0->txqueue.next |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | ssi | unit_byte |
| LOCK2 | bh | ||
| LOCK2 | 0 | &ssi->lock | |
| TYPE_LOCK | (struct ssi_protocol)->lock |
drivers/hsi/clients/ssi_protocol.c ssip_swbreak_complete() -> ssip_set_txstate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ssi | 4096-ptr_max |
| PARAM_VALUE | 0 | ssi->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ssi->tx_usecnt.counter | 0 |
| PARAM_VALUE | 0 | ssi->txqueue.next | 4096-ptr_max |
| PARAM_VALUE | 1 | state | 0 |
| BUF_SIZE | 0 | ssi | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | ssi | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | &ssi->txqueue | 1 |
| PARAM_COMPARE | 0 | &ssi->txqueue | == $0->txqueue.next |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | ssi | unit_byte |
| LOCK2 | bh | ||
| LOCK2 | 0 | &ssi->lock | |
| TYPE_LOCK | (struct ssi_protocol)->lock |
drivers/hsi/clients/ssi_protocol.c ssip_tx_data_complete() -> ssip_set_txstate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ssi | 4096-ptr_max |
| PARAM_VALUE | 0 | ssi->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ssi->txqueue.next | 4096-ptr_max |
| PARAM_VALUE | 1 | state | 4 |
| BUF_SIZE | 0 | ssi | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | ssi | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | &ssi->txqueue | 1 |
| PARAM_COMPARE | 0 | &ssi->txqueue | == $0->txqueue.next |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | ssi | unit_byte |
| LOCK2 | bh | ||
| LOCK2 | 0 | &ssi->lock | |
| TYPE_LOCK | (struct ssi_protocol)->lock |
drivers/hsi/clients/ssi_protocol.c ssip_xmit() -> ssip_set_txstate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ssi | 4096-ptr_max |
| PARAM_VALUE | 0 | ssi->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | state | 3 |
| BUF_SIZE | 0 | ssi | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | ssi | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | &ssi->txqueue | 1 |
| PARAM_COMPARE | 0 | &ssi->cmdqueue | != $0->cmdqueue.next |
| PARAM_COMPARE | 0 | &ssi->txqueue | != $0->txqueue.next |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | ssi | unit_byte |
| LOCK2 | bh | ||
| LOCK2 | 0 | &ssi->lock | |
| TYPE_LOCK | (struct ssi_protocol)->lock |