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_adb_finish() -> ipc_mux_ul_encode_adth()

Type Parameter Key Value
PARAM_VALUE 0 ipc_mux->pcie->pci->dev.dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 0 ipc_mux->ul_adb.dest_skb 1-u64max
PARAM_VALUE 0 ipc_mux->ul_adb.next_table_index 4096-ptr_max
PARAM_VALUE 0 *ipc_mux->imem->ipc_protocol->p_ap_shm->head_array 0-4294967295
PARAM_VALUE 1 ul_adb 4096-ptr_max
PARAM_VALUE 1 ul_adb->dest_skb 1-u64max
PARAM_VALUE 1 ul_adb->next_table_index 4096-ptr_max
PARAM_VALUE 2 out_offset 6962213610866212864
BUF_SIZE 1 ul_adb 6688
DATA_SOURCE 0 ipc_mux $0
PARAM_COMPARE 0 &ipc_mux->ul_adb == $1
NOCHECK_CALL
USER_DATA 0 ipc_mux->ul_adb->buf 0-255
USER_DATA 0 *ipc_mux->ul_adb->next_table_index 0-u32max[u]
USER_DATA 0 *ipc_mux->ul_adb.buf 0-255
NO_OVERFLOW_SIMPLE 0 ipc_mux->ul_adb.dest_skb->end
NO_OVERFLOW_SIMPLE 0 ipc_mux->ul_adb.qlth_skb->end
USER_PTR 0 ipc_mux->ul_adb.buf
USER_PTR 1 ul_adb->buf