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 |