Documented in 1 files:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/hsi/clients/hsi_char.c hsc_break_send() -> hsi_async_write()

Type Parameter Key Value
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->break_frame 1
PARAM_VALUE 1 msg->complete 8494882927137021952
PARAM_VALUE 1 msg->destructor 8494882927137021952
BUF_SIZE 1 msg 80
DATA_SOURCE 0 cl $0
DATA_SOURCE 1 msg r hsi_alloc_msg

drivers/hsi/clients/hsi_char.c hsc_write() -> hsi_async_write()

Type Parameter Key Value
PARAM_VALUE 0 cl 4096-ptr_max
PARAM_VALUE 0 cl->tx_cfg.num_hw_channels 1-u32max
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->complete 6171389533536141312
PARAM_VALUE 1 msg->destructor 3396165250724040704
PARAM_VALUE 1 msg->sgt.sgl 4096-ptr_max
PARAM_VALUE 1 msg->sgt.sgl->length 0-2147479552
DATA_SOURCE 1 msg r hsc_get_first_msg
NOSPEC 1 msg->sgt.sgl->length
USER_DATA 1 msg->sgt.sgl->length 1-1000000000[c]

drivers/hsi/clients/ssi_protocol.c ssip_rx_bootinforeq() -> hsi_async_write()

Type Parameter Key Value
PARAM_VALUE 0 cl 4096-ptr_max
PARAM_VALUE 0 cl->device.bus 0,4096-ptr_max
PARAM_VALUE 0 cl->device.class 0,4096-ptr_max
PARAM_VALUE 0 cl->device.driver 0,4096-ptr_max
PARAM_VALUE 0 cl->device.driver_data 4096-ptr_max
PARAM_VALUE 0 cl->device.driver_data->flags 0
PARAM_VALUE 0 cl->device.driver_data->keep_alive.flags 0-4194302
PARAM_VALUE 0 cl->device.driver_data->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cl->device.driver_data->main_state 0
PARAM_VALUE 0 cl->device.driver_data->netdev->carrier_down_count.counter s32min-s32max
PARAM_VALUE 0 cl->device.driver_data->netdev->refcnt_tracker.untracked.refs.counter s32min-s32max
PARAM_VALUE 0 cl->device.driver_data->recv_state 0
PARAM_VALUE 0 cl->device.driver_data->rx_wd.flags 0-4194302
PARAM_VALUE 0 cl->device.driver_data->rx_wd.function 0
PARAM_VALUE 0 cl->device.driver_data->rxid 0
PARAM_VALUE 0 cl->device.driver_data->send_state 0
PARAM_VALUE 0 cl->device.driver_data->tx_wd.flags 0-4194302
PARAM_VALUE 0 cl->device.driver_data->tx_wd.function 0
PARAM_VALUE 0 cl->device.driver_data->txid 0
PARAM_VALUE 0 cl->device.driver_data->txqueue_len 0
PARAM_VALUE 0 cl->device.driver_data->work.lockdep_map->name 0-255
PARAM_VALUE 0 *cl->device.driver_data->netdev->pcpu_refcnt s32min-s32max
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->complete 6343856754010722304
PARAM_VALUE 1 msg->destructor 6343856754010722304
PARAM_VALUE 1 msg->sgt.sgl 4096-ptr_max
DATA_SOURCE 0 cl $0
DATA_SOURCE 1 msg r ssip_claim_cmd
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 cl->rx_cfg.flow 0
USER_DATA 0 cl->rx_cfg.num_hw_channels 1-16
UNITS 0 cl unit_byte

drivers/hsi/clients/ssi_protocol.c ssip_send_bootinfo_req_cmd() -> hsi_async_write()

Type Parameter Key Value
PARAM_VALUE 0 cl 4096-ptr_max
PARAM_VALUE 0 cl->ehandler 1093795440216612864
PARAM_VALUE 0 cl->nb.next 0,4096-ptr_max
PARAM_VALUE 0 cl->nb.notifier_call 968275473279819776
PARAM_VALUE 0 cl->pclaimed 1
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->complete 6343856754010722304
PARAM_VALUE 1 msg->destructor 6343856754010722304
PARAM_VALUE 1 msg->sgt.sgl 4096-ptr_max
CAPPED_DATA 0 cl 1
DATA_SOURCE 0 cl $0
DATA_SOURCE 1 msg r ssip_claim_cmd
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 cl unit_byte
HALF_LOCKED2 global &rtnl_mutex

drivers/hsi/clients/ssi_protocol.c ssip_start_rx() -> hsi_async_write()

Type Parameter Key Value
PARAM_VALUE 0 cl 4096-ptr_max
PARAM_VALUE 0 cl->ehandler 4096-ptr_max
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->complete 6343856754010722304
PARAM_VALUE 1 msg->destructor 6343856754010722304
PARAM_VALUE 1 msg->sgt.sgl 4096-ptr_max
DATA_SOURCE 0 cl $0
DATA_SOURCE 1 msg r ssip_claim_cmd
NOCHECK_CALL

drivers/hsi/clients/ssi_protocol.c ssip_strans_complete() -> hsi_async_write()

Type Parameter Key Value
PARAM_VALUE 0 cl 4096-ptr_max
BUF_SIZE 1 msg (-1)-s32max
BUF_SIZE 1 msg (-1)-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 cl->rx_cfg.flow 0
USER_DATA 0 cl->rx_cfg.num_hw_channels 1-16
UNITS 0 cl unit_byte

drivers/hsi/clients/ssi_protocol.c ssip_tx_data_complete() -> hsi_async_write()

Type Parameter Key Value
PARAM_VALUE 0 cl 4096-ptr_max
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->complete 1502902410021314560
PARAM_VALUE 1 msg->destructor 6343856754010722304
PARAM_VALUE 1 msg->sgt.sgl 4096-ptr_max
DATA_SOURCE 1 msg r ssip_claim_cmd
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 cl->rx_cfg.flow 0
USER_DATA 0 cl->rx_cfg.num_hw_channels 1-16
UNITS 0 cl unit_byte

drivers/hsi/clients/ssi_protocol.c ssip_xmit() -> hsi_async_write()

Type Parameter Key Value
PARAM_VALUE 0 cl 4096-ptr_max
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->complete 3912684243043917824
PARAM_VALUE 1 msg->context 4096-ptr_max
PARAM_VALUE 1 msg->destructor 4836739484000382976
PARAM_VALUE 1 msg->sgt.sgl 4096-ptr_max
DATA_SOURCE 0 cl $0
DATA_SOURCE 1 msg r ssip_claim_cmd
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 cl->rx_cfg.flow 0
USER_DATA 0 cl->rx_cfg.num_hw_channels 1-16
UNITS 0 cl unit_byte

drivers/hsi/clients/cmt_speech.c cs_hsi_write_on_control() -> hsi_async_write()

Type Parameter Key Value
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->complete 1540705766576603136
PARAM_VALUE 1 msg->destructor 7637121795579170816
PARAM_VALUE 1 msg->sgt.nents 1
PARAM_VALUE 1 msg->sgt.sgl 4096-ptr_max
DATA_SOURCE 1 msg r cs_claim_cmd
PREEMPT_ADD
LOCK2 bh

drivers/hsi/clients/cmt_speech.c cs_hsi_write_on_data() -> hsi_async_write()

Type Parameter Key Value
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->complete 8436637722426667008
PARAM_VALUE 1 msg->sgt.sgl 4096-ptr_max
PARAM_VALUE 1 msg->sgt.sgl->dma_address 0
PARAM_VALUE 1 msg->sgt.sgl->dma_flags 0
PARAM_VALUE 1 msg->sgt.sgl->dma_length 0
PARAM_VALUE 1 msg->sgt.sgl->offset 0-4095
PREEMPT_ADD
LOCK2 bh