Open Menu /

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wwan/iosm/iosm_ipc_imem.c ipc_imem_cleanup() -> ipc_debugfs_deinit()

Type Parameter Key Value
PARAM_VALUE 0 ipc_imem 4096-ptr_max
PARAM_VALUE 0 ipc_imem->mux 4096-ptr_max
PARAM_VALUE 0 ipc_imem->mux->channel->state 0-3
PARAM_VALUE 0 ipc_imem->mux->initialized 0
PARAM_VALUE 0 ipc_imem->phase 1
PARAM_VALUE 0 ipc_imem->run_state_worker.lockdep_map->name 0-255
PARAM_VALUE 0 *ipc_imem->mux->imem->ipc_protocol->p_ap_shm->head_array 0-4294967295
PARAM_VALUE 0 *ipc_imem->mux->imem->ipc_protocol->p_ap_shm->tail_array 0-4294967295
CAPPED_DATA 0 ipc_imem->fast_update_timer.base 1
CAPPED_DATA 0 ipc_imem->mux 1
CAPPED_DATA 0 ipc_imem->startup_timer.base 1
CAPPED_DATA 0 ipc_imem->td_alloc_timer.base 1
CAPPED_DATA 0 ipc_imem->tdupdate_timer.base 1
CAPPED_DATA 0 &ipc_imem->fast_update_timer 1
CAPPED_DATA 0 &ipc_imem->run_state_worker 1
CAPPED_DATA 0 &ipc_imem->startup_timer 1
CAPPED_DATA 0 &ipc_imem->td_alloc_timer 1
CAPPED_DATA 0 &ipc_imem->tdupdate_timer 1
DATA_SOURCE 0 ipc_imem $0
PARAM_COMPARE 0 &ipc_imem->fast_update_timer != $0->fast_update_timer.base->running
PARAM_COMPARE 0 &ipc_imem->startup_timer != $0->startup_timer.base->running
PARAM_COMPARE 0 &ipc_imem->td_alloc_timer != $0->td_alloc_timer.base->running
PARAM_COMPARE 0 &ipc_imem->tdupdate_timer != $0->tdupdate_timer.base->running
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL