_edac_mc_free identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/edac/edac_mc.c, line 173 (as a function)

Referenced in 1 files:

drivers/edac/edac_mc.c
- line 395
- line 405

Smatch caller information:

drivers/edac/edac_mc.c edac_mc_alloc() -> _edac_mc_free()

Type	Parameter	Key	Value
PARAM_VALUE	0	mci	4096-ptr_max
PARAM_VALUE	0	mci->dev.devres_head.next	4096-ptr_max
PARAM_VALUE	0	mci->dev.devres_head.next->next	4096-ptr_max
PARAM_VALUE	0	mci->dev.devres_head.prev	4096-ptr_max
PARAM_VALUE	0	mci->dev.devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	mci->dev.devres_head.prev->prev	4096-ptr_max
PARAM_VALUE	0	mci->dev.dma_io_tlb_mem	1473117533515866112
PARAM_VALUE	0	mci->dev.dma_io_tlb_mem->defpool.nareas	0-s32max
PARAM_VALUE	0	mci->dev.dma_io_tlb_mem->dyn_alloc.data.counter	0,9007199250546704
PARAM_VALUE	0	mci->dev.dma_io_tlb_mem->pools.next	0
PARAM_VALUE	0	mci->dev.dma_io_tlb_mem->pools.prev	0,1473117533515866408
PARAM_VALUE	0	mci->dev.dma_io_tlb_pools.next	4096-ptr_max
PARAM_VALUE	0	mci->dev.dma_io_tlb_pools.next->next	4096-ptr_max
PARAM_VALUE	0	mci->dev.dma_io_tlb_pools.prev	4096-ptr_max
PARAM_VALUE	0	mci->dev.dma_io_tlb_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	mci->dev.dma_io_tlb_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	mci->dev.dma_pools.next	4096-ptr_max
PARAM_VALUE	0	mci->dev.dma_pools.next->next	4096-ptr_max
PARAM_VALUE	0	mci->dev.dma_pools.prev	4096-ptr_max
PARAM_VALUE	0	mci->dev.dma_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	mci->dev.dma_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	mci->dev.dma_uses_io_tlb	0
PARAM_VALUE	0	mci->dev.flags	4096-ptr_max
PARAM_VALUE	0	mci->dev.kobj.entry.next	4096-ptr_max
PARAM_VALUE	0	mci->dev.kobj.entry.next->next	4096-ptr_max
PARAM_VALUE	0	mci->dev.kobj.entry.prev	4096-ptr_max
PARAM_VALUE	0	mci->dev.kobj.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	mci->dev.kobj.entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	mci->dev.kobj.kref.refcount.refs.counter	1
PARAM_VALUE	0	mci->dev.kobj.kset	0,4096-ptr_max
PARAM_VALUE	0	mci->dev.kobj.ktype	5399513539053756416
PARAM_VALUE	0	mci->dev.kobj.state_add_uevent_sent	0
PARAM_VALUE	0	mci->dev.kobj.state_in_sysfs	0
PARAM_VALUE	0	mci->dev.kobj.state_initialized	1
PARAM_VALUE	0	mci->dev.kobj.state_remove_uevent_sent	0
PARAM_VALUE	0	mci->dev.links.consumers.next	4096-ptr_max
PARAM_VALUE	0	mci->dev.links.consumers.next->next	4096-ptr_max
PARAM_VALUE	0	mci->dev.links.consumers.prev	4096-ptr_max
PARAM_VALUE	0	mci->dev.links.consumers.prev->next	4096-ptr_max
PARAM_VALUE	0	mci->dev.links.consumers.prev->prev	4096-ptr_max
PARAM_VALUE	0	mci->dev.links.defer_sync.next	4096-ptr_max
PARAM_VALUE	0	mci->dev.links.defer_sync.next->next	4096-ptr_max
PARAM_VALUE	0	mci->dev.links.defer_sync.prev	4096-ptr_max
PARAM_VALUE	0	mci->dev.links.defer_sync.prev->next	4096-ptr_max
PARAM_VALUE	0	mci->dev.links.defer_sync.prev->prev	4096-ptr_max
PARAM_VALUE	0	mci->dev.links.status	0
PARAM_VALUE	0	mci->dev.links.suppliers.next	4096-ptr_max
PARAM_VALUE	0	mci->dev.links.suppliers.next->next	4096-ptr_max
PARAM_VALUE	0	mci->dev.links.suppliers.prev	4096-ptr_max
PARAM_VALUE	0	mci->dev.links.suppliers.prev->next	4096-ptr_max
PARAM_VALUE	0	mci->dev.links.suppliers.prev->prev	4096-ptr_max
PARAM_VALUE	0	mci->dev.numa_node	(-1)
PARAM_VALUE	0	mci->dev.power.child_count.counter	0
PARAM_VALUE	0	mci->dev.power.deferred_resume	0
PARAM_VALUE	0	mci->dev.power.disable_depth	1
PARAM_VALUE	0	mci->dev.power.early_init	1
PARAM_VALUE	0	mci->dev.power.entry.next	4096-ptr_max
PARAM_VALUE	0	mci->dev.power.entry.next->next	4096-ptr_max
PARAM_VALUE	0	mci->dev.power.entry.prev	4096-ptr_max
PARAM_VALUE	0	mci->dev.power.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	mci->dev.power.entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	mci->dev.power.idle_notification	0
PARAM_VALUE	0	mci->dev.power.ignore_children	0
PARAM_VALUE	0	mci->dev.power.is_late_suspended	0
PARAM_VALUE	0	mci->dev.power.is_noirq_suspended	0
PARAM_VALUE	0	mci->dev.power.is_prepared	0
PARAM_VALUE	0	mci->dev.power.is_suspended	0
PARAM_VALUE	0	mci->dev.power.last_status	(-1)
PARAM_VALUE	0	mci->dev.power.needs_force_resume	0
PARAM_VALUE	0	mci->dev.power.qos	0
PARAM_VALUE	0	mci->dev.power.request	0
PARAM_VALUE	0	mci->dev.power.request_pending	0
PARAM_VALUE	0	mci->dev.power.runtime_auto	1
PARAM_VALUE	0	mci->dev.power.runtime_error	0
PARAM_VALUE	0	mci->dev.power.runtime_status	2
PARAM_VALUE	0	mci->dev.power.timer_expires	0
PARAM_VALUE	0	mci->dev.power.usage_count.counter	0
PARAM_VALUE	0	mci->dev.power.wait_queue.head.next	4096-ptr_max
PARAM_VALUE	0	mci->dev.power.wait_queue.head.next->next	4096-ptr_max
PARAM_VALUE	0	mci->dev.power.wait_queue.head.prev	4096-ptr_max
PARAM_VALUE	0	mci->dev.power.wait_queue.head.prev->next	4096-ptr_max
PARAM_VALUE	0	mci->dev.power.wait_queue.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	mci->dev.release	8938871512794509312
PARAM_VALUE	0	mci->n_layers	1-3
PARAM_VALUE	0	mci->pvt_info	0,16,4096-ptr_max
BUF_SIZE	0	mci	2772-2796
BUF_SIZE	0	mci	2772-2796
BUF_SIZE	0	mci->pvt_info	0,8,32,56,88,160,256,288,424,488,920,1008,1664
CAPPED_DATA	0	mci->n_layers	1
DATA_SOURCE	0	mci	r _kzalloc_noprof
HARD_MAX	0	mci->n_layers	3
MEM_ZERO	0	&mci->dev.power.suspend_timer
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	mci->tot_dimms
HALF_LOCKED2		global &ghes_reg_mutex
HALF_LOCKED2		global &i7core_edac_lock

drivers/edac/edac_mc.c edac_mc_free() -> _edac_mc_free()

Type	Parameter	Key	Value
PARAM_VALUE	0	mci->debugfs->d_inode->i_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	mci->debugfs->d_inode->i_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	mci->debugfs->d_op->d_automount	0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016
PARAM_VALUE	0	mci->debugfs->d_op->d_init	0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE	0	mci->debugfs->d_op->d_iput	0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE	0	mci->debugfs->d_op->d_manage	0,1859587847549206528
PARAM_VALUE	0	mci->debugfs->d_op->d_prune	0,2225594340392566784,7225953709177749504
PARAM_VALUE	0	mci->debugfs->d_op->d_real	0,4509355519306412032
PARAM_VALUE	0	mci->debugfs->d_op->d_unalias_trylock	0,6635409759016140800
PARAM_VALUE	0	mci->debugfs->d_op->d_unalias_unlock	0,6336447517789900800
PARAM_VALUE	0	mci->debugfs->d_op->d_weak_revalidate	0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328
PARAM_VALUE	0	mci->debugfs->d_parent->d_sb->__s_d_op->d_init	0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE	0	mci->debugfs->d_parent->d_sb->__s_d_op->d_iput	0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE	0	mci->debugfs->d_parent->d_sb->__s_d_op->d_manage	0,1859587847549206528
PARAM_VALUE	0	mci->debugfs->d_parent->d_sb->__s_d_op->d_prune	0,2225594340392566784,7225953709177749504
PARAM_VALUE	0	mci->debugfs->d_parent->d_sb->__s_d_op->d_real	0,4509355519306412032
PARAM_VALUE	0	mci->debugfs->d_sb->__s_d_op->d_automount	0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016
PARAM_VALUE	0	mci->debugfs->d_sb->__s_d_op->d_init	0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE	0	mci->debugfs->d_sb->__s_d_op->d_iput	0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE	0	mci->debugfs->d_sb->__s_d_op->d_manage	0,1859587847549206528
PARAM_VALUE	0	mci->debugfs->d_sb->__s_d_op->d_prune	0,2225594340392566784,7225953709177749504
PARAM_VALUE	0	mci->debugfs->d_sb->__s_d_op->d_real	0,4509355519306412032
PARAM_VALUE	0	mci->debugfs->d_sb->__s_d_op->d_unalias_trylock	0,6635409759016140800
PARAM_VALUE	0	mci->debugfs->d_sb->__s_d_op->d_unalias_unlock	0,6336447517789900800
PARAM_VALUE	0	mci->debugfs->d_sb->__s_d_op->d_weak_revalidate	0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328
PARAM_VALUE	0	mci->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	mci->dev.power.wakeirq->status	0-4294967295
BUF_SIZE	0	mci	s32min-(-1),1-s32max
BUF_SIZE	0	mci	s32min-(-1),1-s32max
BUF_SIZE	0	mci->ctl_name	(-1)-s32max
BUF_SIZE	0	mci->dev_name	s32min,(-10),(-1),1-s32max
BUF_SIZE	0	mci->mod_name	(-1),8-14
BUF_SIZE	0	mci->pdev	(-1),1616
BUF_SIZE	0	mci->pvt_info	(-1),312
DATA_SOURCE	0	mci	$0
STR_LEN	0	mci->ctl_name	(-1),5,9,12,17,19
STR_LEN	0	mci->dev_name	(-1),4,17
STR_LEN	0	mci->mod_name	(-1),7-13
STR_LEN	0	mci->pdev	(-1),8,10
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	mci->tot_dimms
UNITS	0	mci	unit_byte
HALF_LOCKED2		&_dev->mutex
HALF_LOCKED2		global &ghes_reg_mutex
HALF_LOCKED2		global &i7core_edac_lock