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