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 ipc_mux_ul_data_encode() -> ipc_mux_ul_adgh_encode()

Type Parameter Key Value
PARAM_VALUE 0 ipc_mux 4096-ptr_max
PARAM_VALUE 0 ipc_mux->adb_prep_ongoing 1
PARAM_VALUE 0 ipc_mux->protocol 1
PARAM_VALUE 0 ipc_mux->rr_next_session s32min-7
PARAM_VALUE 0 ipc_mux->session 4096-ptr_max
PARAM_VALUE 0 ipc_mux->state 1
PARAM_VALUE 0 *ipc_mux->imem->ipc_protocol->p_ap_shm->head_array 0-4294967295
PARAM_VALUE 2 session 4096-ptr_max
PARAM_VALUE 2 session->flow_ctl_mask 0
PARAM_VALUE 2 session->net_tx_stop 0
PARAM_VALUE 2 session->wwan 1-u64max
PARAM_VALUE 3 ul_list 4096-ptr_max
PARAM_VALUE 4 adb 4096-ptr_max
PARAM_VALUE 5 nr_of_pkts s32min-(-1),1-100
BUF_SIZE 3 ul_list 96
DATA_SOURCE 0 ipc_mux $0
FUZZY_MAX 0 ipc_mux->rr_next_session 0
FUZZY_MAX 5 nr_of_pkts 100
PARAM_COMPARE 2 &session->ul_list == $3
HARD_MAX 0 ipc_mux->rr_next_session 7
USER_DATA 0 ipc_mux->ul_adb->buf 0-255
USER_DATA 0 *ipc_mux->ul_adb.buf 0-255
NO_OVERFLOW_SIMPLE 0 ipc_mux->acc_payload_size
NO_OVERFLOW_SIMPLE 0 ipc_mux->ul_data_pend_bytes
USER_PTR 0 ipc_mux->ul_adb.buf
USER_PTR 4 adb->buf