pwrseq_pcie_m2_remove_serdev identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/power/sequencing/pwrseq-pcie-m2.c, line 363 (as a function)

Referenced in 1 files:

drivers/power/sequencing/pwrseq-pcie-m2.c

Smatch caller information:

drivers/power/sequencing/pwrseq-pcie-m2.c pwrseq_pcie_m2_create_serdev() -> pwrseq_pcie_m2_remove_serdev()

Type	Parameter	Key	Value
PARAM_VALUE	0	ctx	4096-ptr_max
PARAM_VALUE	0	ctx->dev	4096-ptr_max
PARAM_VALUE	0	ctx->dev->devres_head.prev	4096-ptr_max
PARAM_VALUE	0	ctx->list_lock.dep_map->name	0-255
PARAM_VALUE	0	ctx->list_lock.first_waiter	0
PARAM_VALUE	0	ctx->list_lock.magic	4096-ptr_max
PARAM_VALUE	0	ctx->list_lock.osq.tail.counter	0
PARAM_VALUE	0	ctx->list_lock.owner.counter	0
PARAM_VALUE	0	ctx->num_vregs	0-s32max
PARAM_VALUE	0	ctx->pci_devices.next	4096-ptr_max
PARAM_VALUE	0	ctx->pci_devices.next->next	4096-ptr_max
PARAM_VALUE	0	ctx->pci_devices.prev	4096-ptr_max
PARAM_VALUE	0	ctx->pci_devices.prev->next	4096-ptr_max
PARAM_VALUE	0	ctx->pci_devices.prev->prev	4096-ptr_max
PARAM_VALUE	0	ctx->pdata	4096-ptr_max
PARAM_VALUE	0	ctx->pdata->targets	4096-ptr_max
PARAM_VALUE	0	ctx->pwrseq	4096-ptr_max
PARAM_VALUE	0	ctx->pwrseq->dev.dma_io_tlb_mem->dyn_alloc.data.counter	9007199250546704
PARAM_VALUE	0	ctx->pwrseq->dev.dma_io_tlb_mem->dyn_alloc.entry.prev	1473117533515866344
PARAM_VALUE	0	ctx->pwrseq->dev.dma_io_tlb_mem->dyn_alloc.func	1583282886040592384
PARAM_VALUE	0	ctx->pwrseq->dev.dma_io_tlb_mem->pools.prev	1473117533515866320
PARAM_VALUE	0	ctx->pwrseq->dev.fwnode->dev->power.set_latency_tolerance	5740181548905971712
PARAM_VALUE	0	ctx->pwrseq->dev.kobj->name	0-255
PARAM_VALUE	0	ctx->pwrseq->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	ctx->pwrseq->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	ctx->pwrseq->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	ctx->pwrseq->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	ctx->pwrseq->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	ctx->pwrseq->dev.p->klist_children.get	2213798222526185472
PARAM_VALUE	0	ctx->pwrseq->dev.p->klist_children.put	3126867300421632000
PARAM_VALUE	0	ctx->pwrseq->dev.p->knode_class.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	ctx->pwrseq->dev.p->knode_parent.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	ctx->pwrseq->id	0-s32max
PARAM_VALUE	0	ctx->pwrseq->match	3706829035895140352
PARAM_VALUE	0	ctx->pwrseq->owner	0
PARAM_VALUE	0	ctx->pwrseq->rw_lock.count.counter	0
PARAM_VALUE	0	ctx->pwrseq->rw_lock.dep_map->name	0-255
PARAM_VALUE	0	ctx->pwrseq->rw_lock.first_waiter	0
PARAM_VALUE	0	ctx->pwrseq->rw_lock.osq.tail.counter	0
PARAM_VALUE	0	ctx->pwrseq->rw_lock.owner.counter	0
PARAM_VALUE	0	ctx->pwrseq->state_lock.dep_map->name	0-255
PARAM_VALUE	0	ctx->pwrseq->state_lock.first_waiter	0
PARAM_VALUE	0	ctx->pwrseq->state_lock.owner.counter	0
PARAM_VALUE	0	ctx->regs	0,4096-ptr_max
PARAM_VALUE	0	ctx->w_disable1_gpio	0,4096-ptr_max
PARAM_VALUE	0	ctx->w_disable2_gpio	0,4096-ptr_max
PARAM_VALUE	0	*ctx->dev->p->deferred_probe_reason	0-255
PARAM_VALUE	1	pdev	0
BUF_SIZE	0	ctx	256
BUF_SIZE	0	ctx->dev	1616
BUF_SIZE	0	ctx->pwrseq	1984
BUF_SIZE	0	ctx->w_disable1_gpio	s32min,(-1),1-s32max
BUF_SIZE	0	ctx->w_disable2_gpio	s32min,(-1),1-s32max
CAPPED_DATA	0	ctx->w_disable1_gpio	1
CAPPED_DATA	0	ctx->w_disable2_gpio	1
DATA_SOURCE	0	ctx	$0
MEM_ZERO	0	ctx
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	ctx->num_vregs

drivers/power/sequencing/pwrseq-pcie-m2.c pwrseq_pcie_m2_notify() -> pwrseq_pcie_m2_remove_serdev()

Type	Parameter	Key	Value
PARAM_VALUE	0	ctx	4096-ptr_max
PARAM_VALUE	1	pdev	4096-ptr_max
PARAM_VALUE	1	pdev->dev.parent	4096-ptr_max
PARAM_VALUE	1	pdev->dev.parent->of_node	4096-ptr_max
CAPPED_DATA	1	pdev->dev.parent->of_node	1
NOCHECK_CALL

drivers/power/sequencing/pwrseq-pcie-m2.c pwrseq_pcie_m2_probe() -> pwrseq_pcie_m2_remove_serdev()

Type	Parameter	Key	Value
PARAM_VALUE	0	ctx	4096-ptr_max
PARAM_VALUE	0	ctx->dev	4096-ptr_max
PARAM_VALUE	0	ctx->dev->devres_head.prev	4096-ptr_max
PARAM_VALUE	0	ctx->list_lock.dep_map->name	0-255
PARAM_VALUE	0	ctx->list_lock.first_waiter	0
PARAM_VALUE	0	ctx->list_lock.magic	4096-ptr_max
PARAM_VALUE	0	ctx->list_lock.osq.tail.counter	0
PARAM_VALUE	0	ctx->list_lock.owner.counter	0
PARAM_VALUE	0	ctx->num_vregs	0-s32max
PARAM_VALUE	0	ctx->pci_devices.next	4096-ptr_max
PARAM_VALUE	0	ctx->pci_devices.next->next	4096-ptr_max
PARAM_VALUE	0	ctx->pci_devices.prev	4096-ptr_max
PARAM_VALUE	0	ctx->pci_devices.prev->next	4096-ptr_max
PARAM_VALUE	0	ctx->pci_devices.prev->prev	4096-ptr_max
PARAM_VALUE	0	ctx->pdata	4096-ptr_max
PARAM_VALUE	0	ctx->pdata->targets	4096-ptr_max
PARAM_VALUE	0	ctx->pwrseq	4096-ptr_max
PARAM_VALUE	0	ctx->pwrseq->dev.dma_io_tlb_mem->dyn_alloc.data.counter	9007199250546704
PARAM_VALUE	0	ctx->pwrseq->dev.dma_io_tlb_mem->dyn_alloc.entry.prev	1473117533515866344
PARAM_VALUE	0	ctx->pwrseq->dev.dma_io_tlb_mem->dyn_alloc.func	1583282886040592384
PARAM_VALUE	0	ctx->pwrseq->dev.dma_io_tlb_mem->pools.prev	1473117533515866320
PARAM_VALUE	0	ctx->pwrseq->dev.fwnode->dev->power.set_latency_tolerance	5740181548905971712
PARAM_VALUE	0	ctx->pwrseq->dev.kobj->name	0-255
PARAM_VALUE	0	ctx->pwrseq->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	ctx->pwrseq->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	ctx->pwrseq->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	ctx->pwrseq->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	ctx->pwrseq->dev.kobj.sd->active.counter	(-2147483647)
PARAM_VALUE	0	ctx->pwrseq->dev.kobj.sd->attr.notify_next	0,426918848001064960
PARAM_VALUE	0	ctx->pwrseq->dev.p->klist_children.get	2213798222526185472
PARAM_VALUE	0	ctx->pwrseq->dev.p->klist_children.put	3126867300421632000
PARAM_VALUE	0	ctx->pwrseq->dev.p->knode_bus.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	ctx->pwrseq->dev.p->knode_class.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	ctx->pwrseq->dev.p->knode_parent.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	ctx->pwrseq->dev.parent->kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	ctx->pwrseq->dev.parent->kobj.release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	ctx->pwrseq->dev.parent->kobj.release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	ctx->pwrseq->id	0-s32max
PARAM_VALUE	0	ctx->pwrseq->match	3706829035895140352
PARAM_VALUE	0	ctx->pwrseq->owner	0
PARAM_VALUE	0	ctx->pwrseq->rw_lock.count.counter	0
PARAM_VALUE	0	ctx->pwrseq->rw_lock.dep_map->name	0-255
PARAM_VALUE	0	ctx->pwrseq->rw_lock.first_waiter	0
PARAM_VALUE	0	ctx->pwrseq->rw_lock.osq.tail.counter	0
PARAM_VALUE	0	ctx->pwrseq->rw_lock.owner.counter	0
PARAM_VALUE	0	ctx->pwrseq->state_lock.dep_map->name	0-255
PARAM_VALUE	0	ctx->pwrseq->state_lock.first_waiter	0
PARAM_VALUE	0	ctx->pwrseq->state_lock.owner.counter	0
PARAM_VALUE	0	ctx->regs	0,4096-ptr_max
PARAM_VALUE	0	ctx->w_disable1_gpio	0,4096-ptr_max
PARAM_VALUE	0	ctx->w_disable2_gpio	0,4096-ptr_max
PARAM_VALUE	1	pdev	0
BUF_SIZE	0	ctx	256
BUF_SIZE	0	ctx->dev	1616
BUF_SIZE	0	ctx->pwrseq	1984
BUF_SIZE	0	ctx->w_disable1_gpio	s32min-(-1),1-s32max
BUF_SIZE	0	ctx->w_disable2_gpio	s32min-(-1),1-s32max
CAPPED_DATA	0	ctx->w_disable1_gpio	1
CAPPED_DATA	0	ctx->w_disable2_gpio	1
DATA_SOURCE	0	ctx	r devm_kzalloc
MEM_ZERO	0	ctx
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	ctx->num_vregs

drivers/power/sequencing/pwrseq-pcie-m2.c pwrseq_pcie_m2_remove() -> pwrseq_pcie_m2_remove_serdev()

Type	Parameter	Key	Value
PARAM_VALUE	1	pdev	0
BUF_SIZE	0	ctx	s32min-(-2),1-s32max
BUF_SIZE	0	ctx	s32min-(-2),1-s32max
CAPPED_DATA	0	&ctx->nb	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	ctx	unit_byte
HALF_LOCKED2		&_dev->mutex