Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/hsi/clients/cmt_speech.c cs_hsi_control_read_error() -> __cs_hsi_error_pre()

Type Parameter Key Value
PARAM_VALUE 0 hi 4096-ptr_max
PARAM_VALUE 0 hi->mmap_cfg->tstamp_rx_ctrl.tv_nsec 0-999999999
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 2 info 8436429274290110464
PARAM_VALUE 3 state 4096-ptr_max
BUF_SIZE 0 hi (-1)-s32max
BUF_SIZE 0 hi (-1)-s32max
BUF_SIZE 1 msg (-1)-s32max
BUF_SIZE 1 msg (-1)-s32max
BUF_SIZE 1 msg->context (-1)-s32max
BUF_SIZE 2 info 13
CAPPED_DATA 1 msg 1
DATA_SOURCE 0 hi $0
DATA_SOURCE 1 msg $1
STR_LEN 0 hi 12
TERMINATED 2 info 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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_control_write_error() -> __cs_hsi_error_pre()

Type Parameter Key Value
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->status 0-4
PARAM_VALUE 2 info 1625084588610744320
PARAM_VALUE 3 state 4096-ptr_max
BUF_SIZE 0 hi (-1)-s32max
BUF_SIZE 0 hi (-1)-s32max
BUF_SIZE 2 info 14
CAPPED_DATA 1 msg 1
DATA_SOURCE 0 hi $0
DATA_SOURCE 1 msg $1
STR_LEN 0 hi 13
TERMINATED 2 info 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 msg->sgt.orig_nents
HALF_LOCKED2 bh

drivers/hsi/clients/cmt_speech.c cs_hsi_data_read_error() -> __cs_hsi_error_pre()

Type Parameter Key Value
PARAM_VALUE 0 hi->mmap_cfg->rx_bufs 0-16
PARAM_VALUE 0 hi->mmap_cfg->rx_ptr_boundary 0,256-4096
PARAM_VALUE 0 hi->mmap_cfg->tx_bufs 0-16
PARAM_VALUE 0 *hi->mmap_cfg->rx_offsets 0-4294967295
PARAM_VALUE 0 *hi->mmap_cfg->tx_offsets 0-4294967295
PARAM_VALUE 0 *hi->rx_offsets 0-4294967295
PARAM_VALUE 0 *hi->tx_offsets 0-4294967295
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 2 info 7406012500447604736
PARAM_VALUE 3 state 4096-ptr_max
BUF_SIZE 0 hi (-1)-s32max
BUF_SIZE 0 hi (-1)-s32max
BUF_SIZE 1 msg (-1)-s32max
BUF_SIZE 1 msg (-1)-s32max
BUF_SIZE 1 msg->context (-1)-s32max
BUF_SIZE 2 info 10
CAPPED_DATA 1 msg 1
DATA_SOURCE 0 hi $0
DATA_SOURCE 1 msg $1
STR_LEN 0 hi 9
NOSPEC 1 msg->sgt.sgl->length
TERMINATED 2 info 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 hi->buf_size 1-u32max
USER_DATA 0 hi->flags 0-u32max
USER_DATA 0 hi->mmap_cfg->buf_size 1-u32max
USER_DATA 0 hi->mmap_cfg->rx_ptr_boundary 0,256-4096[c]
USER_DATA 0 hi->rx_bufs 0-16
USER_DATA 0 hi->rx_ptr_boundary 0-16,256-4096[c]
USER_DATA 0 hi->slot_size 0,64-u32max[c]
USER_DATA 0 hi->tx_bufs 0-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

drivers/hsi/clients/cmt_speech.c cs_hsi_data_write_error() -> __cs_hsi_error_pre()

Type Parameter Key Value
PARAM_VALUE 2 info 4755239413729325056
PARAM_VALUE 3 state 4096-ptr_max
BUF_SIZE 0 hi (-1)-s32max
BUF_SIZE 0 hi (-1)-s32max
BUF_SIZE 2 info 11
DATA_SOURCE 0 hi $0
DATA_SOURCE 1 msg $1
STR_LEN 0 hi 10
TERMINATED 2 info 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 hi->tx_slot 0-16777215[c]
NO_OVERFLOW_SIMPLE 1 msg->sgt.orig_nents
HALF_LOCKED2 bh