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