Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wwan/iosm/iosm_ipc_mux_codec.c mux_dl_adb_decode() -> mux_dl_process_dg()

Type Parameter Key Value
PARAM_VALUE 0 ipc_mux 4096-ptr_max
PARAM_VALUE 0 ipc_mux->imem->ipc_protocol->pm.ap_state 0-1,4
PARAM_VALUE 0 ipc_mux->pcie->pci->dev.dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 0 ipc_mux->pcie->pci->dev.kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 ipc_mux->pcie->pci->dev.kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 ipc_mux->pcie->pci->dev.kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 ipc_mux->session 4096-ptr_max
PARAM_VALUE 0 *ipc_mux->imem->ipc_protocol->p_ap_shm->head_array 0-4294967295
PARAM_VALUE 1 adbh 4096-ptr_max
PARAM_VALUE 1 adbh->first_table_index 1-u32max
PARAM_VALUE 3 skb 4096-ptr_max
PARAM_VALUE 3 skb->cb 4096-ptr_max
PARAM_VALUE 3 skb->data 4096-ptr_max
PARAM_VALUE 4 if_id 0-7
PARAM_VALUE 5 nr_of_dg 1-8189
BUF_SIZE 1 adbh 1-s32max
BUF_SIZE 1 adbh 1-s32max
CAPPED_DATA 4 if_id 1
CAPPED_DATA 5 nr_of_dg 1
DATA_SOURCE 0 ipc_mux $0
DATA_SOURCE 3 skb $1
FUZZY_MAX 5 nr_of_dg 1
NOSPEC 4 if_id
NOSPEC 4 if_id
USER_DATA 1 adbh->block_length 0-u32max[u]
USER_DATA 1 adbh->first_table_index 1-u32max[u]
USER_DATA 1 adbh->reserved 0-u16max[u]
USER_DATA 1 adbh->sequence_nr 0-u16max[u]
USER_DATA 1 adbh->signature 0-u32max[u]
USER_DATA 2 dg->datagram_index 0-u32max[u]
USER_DATA 2 dg->datagram_length 0-u16max[u]
USER_DATA 2 dg->reserved 0-255[u]
USER_DATA 2 dg->service_class 0-255[u]
USER_DATA 4 if_id 0-7[c]
NO_OVERFLOW_SIMPLE 0 ipc_mux->acc_payload_size
NO_OVERFLOW_SIMPLE 0 ipc_mux->ul_data_pend_bytes
UNITS 1 adbh unit_byte
USER_PTR 1 adbh
USER_PTR 2 dg