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_flash.c ipc_flash_link_establish() -> ipc_imem_sys_devlink_close()

Type Parameter Key Value
PARAM_VALUE 0 ipc_devlink 4096-ptr_max
PARAM_VALUE 0 ipc_devlink->cd_file_info 6300806483648299008
PARAM_VALUE 0 ipc_devlink->dev 4096-ptr_max
PARAM_VALUE 0 ipc_devlink->dev->dma_mask 4096-ptr_max
PARAM_VALUE 0 ipc_devlink->devlink_ctx 4096-ptr_max
PARAM_VALUE 0 ipc_devlink->devlink_ctx->lock.dep_map->name 0-255
PARAM_VALUE 0 ipc_devlink->devlink_ctx->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ipc_devlink->devlink_ctx->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 ipc_devlink->devlink_sio.channel 4096-ptr_max
PARAM_VALUE 0 ipc_devlink->devlink_sio.channel_id 0-7
PARAM_VALUE 0 ipc_devlink->devlink_sio.devlink_read_pend 0-1
PARAM_VALUE 0 ipc_devlink->devlink_sio.read_sem.done 0-4294967293,u32max
PARAM_VALUE 0 ipc_devlink->devlink_sio.read_sem.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 ipc_devlink->devlink_sio.read_sem.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 ipc_devlink->devlink_sio.read_sem.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 ipc_devlink->devlink_sio.read_sem.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 ipc_devlink->devlink_sio.read_sem.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 ipc_devlink->devlink_sio.read_sem.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 ipc_devlink->devlink_sio.rx_list.next 4096-ptr_max
PARAM_VALUE 0 ipc_devlink->devlink_sio.rx_list.prev 4096-ptr_max
PARAM_VALUE 0 ipc_devlink->iosm_devlink_mdm_coredump 4096-ptr_max
PARAM_VALUE 0 ipc_devlink->pcie 4096-ptr_max
PARAM_VALUE 0 ipc_devlink->pcie->d3l2_support 0-1
PARAM_VALUE 0 ipc_devlink->pcie->dev 4096-ptr_max
PARAM_VALUE 0 ipc_devlink->pcie->doorbell_capture 8
PARAM_VALUE 0 ipc_devlink->pcie->doorbell_reg_offset 32
PARAM_VALUE 0 ipc_devlink->pcie->doorbell_write 16
PARAM_VALUE 0 ipc_devlink->pcie->ipc_regs 4096-ptr_max
PARAM_VALUE 0 ipc_devlink->pcie->nvec 1-s32max
PARAM_VALUE 0 ipc_devlink->pcie->pci 4096-ptr_max
PARAM_VALUE 0 ipc_devlink->pcie->scratchpad 4096-ptr_max
PARAM_VALUE 0 ipc_devlink->pcie->scratchpad_bar_nr 2
BUF_SIZE 0 ipc_devlink->dev 1616
BUF_SIZE 0 ipc_devlink->pcie 80
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/net/wwan/iosm/iosm_ipc_devlink.c ipc_devlink_deinit() -> ipc_imem_sys_devlink_close()

Type Parameter Key Value
PARAM_VALUE 0 ipc_devlink 4096-ptr_max
PARAM_VALUE 0 ipc_devlink->devlink_ctx 4096-ptr_max
PARAM_VALUE 0 ipc_devlink->devlink_ctx->index 0-4294967295
PARAM_VALUE 0 ipc_devlink->devlink_ctx->lock->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 ipc_devlink->devlink_ctx->lock.dep_map->name 0-255
PARAM_VALUE 0 ipc_devlink->devlink_ctx->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ipc_devlink->devlink_ctx->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 ipc_devlink->devlink_ctx->nested_rels.xa_flags 0-4294967295
PARAM_VALUE 0 ipc_devlink->devlink_ctx->params.xa_flags 0-4294967295
PARAM_VALUE 0 ipc_devlink->devlink_ctx->ports.xa_flags 0-4294967295
PARAM_VALUE 0 ipc_devlink->devlink_ctx->refcount.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 ipc_devlink->devlink_ctx->rel 0
PARAM_VALUE 0 ipc_devlink->devlink_ctx->reload_failed 0-1
PARAM_VALUE 0 ipc_devlink->devlink_ctx->snapshot_ids.xa_flags 0-4294967295
PARAM_VALUE 0 ipc_devlink->devlink_sio.channel_id 0-s32max
PARAM_VALUE 0 ipc_devlink->devlink_sio.devlink_read_pend 0-1
PARAM_VALUE 0 ipc_devlink->pcie->imem->ipc_devlink->devlink_sio.channel->state 0-3
PARAM_VALUE 0 *ipc_devlink->devlink_ctx->_net.net->netns_ids.idr_rt.xa_head (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *ipc_devlink->pcie->imem->ipc_protocol->p_ap_shm->head_array 0-4294967295
PARAM_VALUE 0 *ipc_devlink->pcie->imem->ipc_protocol->p_ap_shm->tail_array 0-4294967295
BUF_SIZE 0 ipc_devlink->dev (-1),1616
BUF_SIZE 0 ipc_devlink->pcie (-1),80
DATA_SOURCE 0 ipc_devlink $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL