Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/wwan/iosm/iosm_ipc_devlink.c ipc_devlink_deinit() -> ipc_devlink_destroy_region()
| 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 |
drivers/net/wwan/iosm/iosm_ipc_devlink.c ipc_devlink_init() -> ipc_devlink_destroy_region()
| 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_ctx->lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| 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->ipc_regs_bar_nr | 0 |
| 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 |
| PARAM_VALUE | 0 | ipc_devlink->pcie->suspend | 0 |
| BUF_SIZE | 0 | ipc_devlink->cd_file_info | 264 |
| BUF_SIZE | 0 | ipc_devlink->dev | 1616 |
| BUF_SIZE | 0 | ipc_devlink->devlink_ctx | s32min-s32max |
| BUF_SIZE | 0 | ipc_devlink->pcie | 80 |
| DATA_SOURCE | 0 | ipc_devlink | r devlink_priv |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |