Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/wwan/iosm/iosm_ipc_imem.c ipc_imem_dl_pipe_process() -> ipc_protocol_get_head_tail_index()

Type Parameter Key Value
PARAM_VALUE 0 ipc_protocol 4096-ptr_max
PARAM_VALUE 0 ipc_protocol->p_ap_shm 4096-ptr_max
PARAM_VALUE 1 pipe 4096-ptr_max
PARAM_VALUE 2 head 1203295736513802240
PARAM_VALUE 2 *head 0
PARAM_VALUE 3 tail 107159741105569792
PARAM_VALUE 3 *tail 0
BUF_SIZE 1 pipe 80
DATA_SOURCE 1 pipe $1
NOCHECK_CALL

drivers/net/wwan/iosm/iosm_ipc_imem.c ipc_imem_ul_pipe_process() -> ipc_protocol_get_head_tail_index()

Type Parameter Key Value
PARAM_VALUE 0 ipc_protocol 4096-ptr_max
PARAM_VALUE 0 ipc_protocol->p_ap_shm 4096-ptr_max
PARAM_VALUE 1 pipe 4096-ptr_max
PARAM_VALUE 2 head 6662911968348561408
PARAM_VALUE 2 *head 0
PARAM_VALUE 3 tail 885145945140813824
PARAM_VALUE 3 *tail 0
BUF_SIZE 1 pipe 80
DATA_SOURCE 1 pipe $1
NOCHECK_CALL

drivers/net/wwan/iosm/iosm_ipc_imem_ops.c ipc_imem_sys_devlink_close() -> ipc_protocol_get_head_tail_index()

Type Parameter Key Value
PARAM_VALUE 1 pipe 4096-ptr_max
PARAM_VALUE 2 head 0
PARAM_VALUE 3 tail 7385415825963667456
PARAM_VALUE 3 *tail 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/wwan/iosm/iosm_ipc_imem_ops.c ipc_imem_sys_port_close() -> ipc_protocol_get_head_tail_index()

Type Parameter Key Value
PARAM_VALUE 1 pipe 4096-ptr_max
PARAM_VALUE 2 head 0
PARAM_VALUE 3 tail 7590489508938145792
PARAM_VALUE 3 *tail 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ipc_trace->trc_mutex
HALF_LOCKED2 &port->ops_lock