Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wwan/iosm/iosm_ipc_mux_codec.c ipc_mux_dl_acb_decode() -> ipc_mux_dl_acbcmd_decode()

Type Parameter Key Value
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->imem->ipc_protocol->p_ap_shm->head_array 0-4294967295
PARAM_VALUE 1 cmdh 4096-ptr_max
PARAM_VALUE 1 cmdh->command_type 0-1,3,5-u32max
PARAM_VALUE 2 size 24
DATA_SOURCE 0 ipc_mux $0
NOCHECK_CALL
USER_DATA 1 cmdh->cmd_len 0-u16max[u]
USER_DATA 1 cmdh->command_type 0-1,3,5-u32max[u]
USER_DATA 1 cmdh->if_id 0-255[u]
USER_DATA 1 cmdh->next_cmd_index 0-u32max[u]
USER_DATA 1 cmdh->param.flow_ctl.mask 0-u32max[u]
USER_DATA 1 cmdh->reserved 0-255[u]
USER_DATA 1 cmdh->signature 0-u32max[u]
USER_DATA 1 cmdh->transaction_id 0-u32max[u]
NO_OVERFLOW_SIMPLE 0 ipc_mux->acc_payload_size
NO_OVERFLOW_SIMPLE 0 ipc_mux->ul_data_pend_bytes
UNITS 2 size unit_byte
USER_PTR 1 cmdh