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_ul_adb_encode() -> mux_ul_dg_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 0,2-u32max
PARAM_VALUE 0 ipc_mux->rr_next_session s32min-7
PARAM_VALUE 0 ipc_mux->session 4096-ptr_max
PARAM_VALUE 0 ipc_mux->size_needed 16,52
PARAM_VALUE 0 ipc_mux->state 1
PARAM_VALUE 0 ipc_mux->ul_data_pend_bytes s64min-112639
PARAM_VALUE 0 *ipc_mux->imem->ipc_protocol->p_ap_shm->head_array 0-4294967295
PARAM_VALUE 0 *ipc_mux->ul_adb.dg_count 0-4294967295
PARAM_VALUE 0 *ipc_mux->ul_adb.qlt_updated 0-4294967295
PARAM_VALUE 1 adb 4096-ptr_max
PARAM_VALUE 1 adb->adbh 4096-ptr_max
PARAM_VALUE 1 adb->adbh->block_length 16
PARAM_VALUE 1 adb->adbh->first_table_index 0
PARAM_VALUE 1 adb->adbh->reserved 0
PARAM_VALUE 1 adb->adbh->sequence_nr 0
PARAM_VALUE 1 adb->adbh->signature 1212302401
PARAM_VALUE 1 adb->adgh->if_id 0
PARAM_VALUE 1 adb->adgh->length 0
PARAM_VALUE 1 adb->adgh->next_count 0
PARAM_VALUE 1 adb->adgh->opt_ipv4v6 0
PARAM_VALUE 1 adb->adgh->service_class 0
PARAM_VALUE 1 adb->adgh->signature 0
PARAM_VALUE 1 adb->dest_skb->next 0
PARAM_VALUE 1 adb->dest_skb->prev 0
PARAM_VALUE 1 adb->dg 4096-ptr_max
PARAM_VALUE 1 adb->dg_cnt_total 0
PARAM_VALUE 1 adb->dg_count 4096-ptr_max
PARAM_VALUE 1 adb->if_cnt 0
PARAM_VALUE 1 adb->next_table_index 4096-ptr_max
PARAM_VALUE 1 adb->payload_size 0
PARAM_VALUE 1 adb->qlth_skb 4096-ptr_max
PARAM_VALUE 1 adb->qlth_skb->next 0
PARAM_VALUE 1 adb->qlth_skb->prev 0
PARAM_VALUE 1 adb->size s32min-(-2),0-s32max
PARAM_VALUE 1 *adb->dg_count 0
PARAM_VALUE 1 *adb->qlt_updated 0
PARAM_VALUE 2 dg 4096-ptr_max
PARAM_VALUE 3 ul_list 4096-ptr_max
PARAM_VALUE 4 src_skb 0
PARAM_VALUE 6 pkt_to_send s32min-(-1),1-100
PARAM_VALUE 7 qlth_n_ql_size 20
PARAM_VALUE 8 out_offset 2144450740549750784
PARAM_VALUE 8 *out_offset 16
BUF_SIZE 3 ul_list 96
BUF_SIZE 4 src_skb 0
DATA_SOURCE 0 ipc_mux $0
DATA_SOURCE 1 adb $4
DATA_SOURCE 3 ul_list $3
DATA_SOURCE 5 session_id $1
DATA_SOURCE 6 pkt_to_send $5
FUZZY_MAX 0 ipc_mux->rr_next_session 0
FUZZY_MAX 6 pkt_to_send 100
HARD_MAX 0 ipc_mux->rr_next_session 7
HARD_MAX 0 ipc_mux->ul_data_pend_bytes 112639
USER_DATA 0 ipc_mux->ul_adb->buf 0-255
USER_DATA 0 *ipc_mux->ul_adb.buf 0-255
USER_DATA 1 *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 1 adb->buf