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_received() -> hsi_async_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cl | 4096-ptr_max |
| PARAM_VALUE | 1 | msg | 4096-ptr_max |
| PARAM_VALUE | 1 | msg->cl | 4096-ptr_max |
| BUF_SIZE | 1 | msg | (-1)-s32max |
| BUF_SIZE | 1 | msg | (-1)-s32max |
| BUF_SIZE | 1 | msg->context | (-1)-s32max |
| DATA_SOURCE | 1 | msg | $0 |
| NOSPEC | 1 | msg->sgt.sgl->length | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | cl->rx_cfg.flow | 0 |
| USER_DATA | 0 | cl->rx_cfg.num_hw_channels | 1-16 |
| USER_DATA | 1 | msg->cl->rx_cfg.flow | 0 |
| USER_DATA | 1 | msg->cl->rx_cfg.num_hw_channels | 1-16 |
| USER_DATA | 1 | msg->sgt.sgl->length | 1-1000000000[c] |
| NO_OVERFLOW_SIMPLE | 1 | msg->sgt.orig_nents | |
| UNITS | 0 | cl | unit_byte |
drivers/hsi/clients/hsi_char.c hsc_break_request() -> hsi_async_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cl | 4096-ptr_max |
| PARAM_VALUE | 0 | cl->pclaimed | 1 |
| PARAM_VALUE | 0 | cl->rx_cfg.arb_mode | 0-1 |
| PARAM_VALUE | 0 | cl->rx_cfg.flow | 0-1 |
| PARAM_VALUE | 0 | cl->rx_cfg.mode | 2 |
| PARAM_VALUE | 0 | cl->rx_cfg.num_hw_channels | 1-16 |
| PARAM_VALUE | 1 | msg | 4096-ptr_max |
| PARAM_VALUE | 1 | msg->break_frame | 1 |
| PARAM_VALUE | 1 | msg->complete | 7676027598830370816 |
| PARAM_VALUE | 1 | msg->destructor | 8375931900487196672 |
| BUF_SIZE | 1 | msg | 80 |
| CAPPED_DATA | 0 | cl | 1 |
| DATA_SOURCE | 0 | cl | $0 |
| DATA_SOURCE | 1 | msg | r hsi_alloc_msg |
| POWER_OF_TWO | 0 | cl->rx_cfg | |
| RX_PATH | |||
| USER_DATA | 0 | cl->rx_cfg.flow | 0 |
| USER_DATA | 0 | cl->rx_cfg.num_hw_channels | 1-16 |
drivers/hsi/clients/hsi_char.c hsc_read() -> hsi_async_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cl | 4096-ptr_max |
| PARAM_VALUE | 0 | cl->rx_cfg.num_hw_channels | 1-u32max |
| PARAM_VALUE | 1 | msg | 4096-ptr_max |
| PARAM_VALUE | 1 | msg->complete | 8911691600300339200 |
| PARAM_VALUE | 1 | msg->destructor | 7375609451289640960 |
| 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_error() -> hsi_async_read()
| 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 | 4096-ptr_max |
| 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 | 6804185090683068416 |
| PARAM_VALUE | 1 | msg->destructor | 6343856754010722304 |
| 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_rx_strans() -> hsi_async_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cl | 4096-ptr_max |
| PARAM_VALUE | 1 | msg | 4096-ptr_max |
| PARAM_VALUE | 1 | msg->complete | 4567707461865316352 |
| PARAM_VALUE | 1 | msg->context | 4096-ptr_max |
| PARAM_VALUE | 1 | msg->destructor | 5169019702649528320 |
| PARAM_VALUE | 1 | msg->sgt.nents | 1-256 |
| PARAM_VALUE | 1 | msg->sgt.sgl | 4096-ptr_max |
| BUF_SIZE | 1 | msg | 80 |
| BUF_SIZE | 1 | msg->context | (-1)-s32max |
| CAPPED_DATA | 1 | msg | 1 |
| CAPPED_DATA | 1 | msg->sgt.nents | 1 |
| DATA_SOURCE | 0 | cl | $0 |
| DATA_SOURCE | 1 | msg | r ssip_alloc_data |
| 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_rxcmd_complete() -> hsi_async_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | msg | 4096-ptr_max |
| PARAM_VALUE | 1 | msg->sgt.sgl | 4096-ptr_max |
| PARAM_VALUE | 1 | msg->status | s32min-3,5-s32max |
| BUF_SIZE | 1 | msg | (-1)-s32max |
| BUF_SIZE | 1 | msg | (-1)-s32max |
| BUF_SIZE | 1 | msg->context | (-1)-s32max |
| DATA_SOURCE | 1 | msg | $0 |
| FUZZY_MAX | 1 | msg->status | 1 |
| NOSPEC | 1 | msg->sgt.sgl->length | |
| 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 |
| USER_DATA | 1 | msg->cl->rx_cfg.flow | 0 |
| USER_DATA | 1 | msg->cl->rx_cfg.num_hw_channels | 1-16 |
| USER_DATA | 1 | msg->sgt.sgl->length | 1-1000000000[c] |
| NO_OVERFLOW_SIMPLE | 1 | msg->sgt.orig_nents | |
| UNITS | 0 | cl | unit_byte |
drivers/hsi/clients/ssi_protocol.c ssip_send_bootinfo_req_cmd() -> hsi_async_read()
| 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->cl->pclaimed | 1 |
| PARAM_VALUE | 1 | msg->complete | 6804185090683068416 |
| PARAM_VALUE | 1 | msg->destructor | 6343856754010722304 |
| 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/cmt_speech.c cs_hsi_peek_on_control_complete() -> hsi_async_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | msg | 4096-ptr_max |
| PARAM_VALUE | 1 | msg->complete | 6376014294450720768 |
| PARAM_VALUE | 1 | msg->context | 4096-ptr_max |
| PARAM_VALUE | 1 | msg->sgt.nents | 1 |
| PARAM_VALUE | 1 | msg->status | s32min-3,5-s32max |
| BUF_SIZE | 1 | msg | (-1)-s32max |
| BUF_SIZE | 1 | msg | (-1)-s32max |
| BUF_SIZE | 1 | msg->context | (-1)-s32max |
| DATA_SOURCE | 1 | msg | $0 |
| FUZZY_MAX | 1 | msg->status | 1 |
| NOSPEC | 1 | msg->sgt.sgl->length | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | msg->cl->rx_cfg.flow | 0 |
| USER_DATA | 1 | msg->cl->rx_cfg.num_hw_channels | 1-16 |
| USER_DATA | 1 | msg->sgt.sgl->length | 1-1000000000[c] |
| NO_OVERFLOW_SIMPLE | 1 | msg->sgt.orig_nents |
drivers/hsi/clients/cmt_speech.c cs_hsi_peek_on_data_complete() -> hsi_async_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | msg | 4096-ptr_max |
| PARAM_VALUE | 1 | msg->complete | 3292427714314952704 |
| PARAM_VALUE | 1 | msg->context | 4096-ptr_max |
| PARAM_VALUE | 1 | msg->sgt.nents | 1 |
| 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 |
| PARAM_VALUE | 1 | msg->status | s32min-3,5-s32max |
| BUF_SIZE | 1 | msg | (-1)-s32max |
| BUF_SIZE | 1 | msg | (-1)-s32max |
| BUF_SIZE | 1 | msg->context | (-1)-s32max |
| DATA_SOURCE | 1 | msg | $0 |
| FUZZY_MAX | 1 | msg->status | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | msg->cl->rx_cfg.flow | 0 |
| USER_DATA | 1 | msg->cl->rx_cfg.num_hw_channels | 1-16 |
| NO_OVERFLOW_SIMPLE | 1 | msg->sgt.orig_nents |
drivers/hsi/clients/cmt_speech.c cs_hsi_read_on_control() -> hsi_async_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | msg | 4096-ptr_max |
| PARAM_VALUE | 1 | msg->complete | 8115597478921637888 |
| PARAM_VALUE | 1 | msg->destructor | 7637121795579170816 |
| PARAM_VALUE | 1 | msg->sgt.nents | 0 |
| DATA_SOURCE | 1 | msg | r cs_claim_cmd |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | bh |
drivers/hsi/clients/cmt_speech.c cs_hsi_read_on_data() -> hsi_async_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | msg | 4096-ptr_max |
| PARAM_VALUE | 1 | msg->complete | 3361766608020115456 |
| PARAM_VALUE | 1 | msg->sgt.nents | 0 |
| 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 | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | bh |