Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 14 files:

Smatch caller information:

drivers/edac/zynqmp_edac.c edac_probe() -> edac_device_free_ctl_info()

Type Parameter Key Value
PARAM_VALUE 0 ctl_info 4096-ptr_max
PARAM_VALUE 0 ctl_info->blocks 4096-ptr_max
PARAM_VALUE 0 ctl_info->ctl_name 3312775999101825024
PARAM_VALUE 0 ctl_info->dev 4096-ptr_max
PARAM_VALUE 0 ctl_info->dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 ctl_info->dev->driver_data 4096-ptr_max
PARAM_VALUE 0 ctl_info->edac_subsys 4612183972459032576
PARAM_VALUE 0 ctl_info->edac_subsys->bus_groups 0
PARAM_VALUE 0 ctl_info->edac_subsys->dev_groups 0
PARAM_VALUE 0 ctl_info->edac_subsys->dev_name 2826297064502763520
PARAM_VALUE 0 ctl_info->edac_subsys->dma_cleanup 0
PARAM_VALUE 0 ctl_info->edac_subsys->dma_configure 0
PARAM_VALUE 0 ctl_info->edac_subsys->driver_override 0
PARAM_VALUE 0 ctl_info->edac_subsys->drv_groups 0
PARAM_VALUE 0 ctl_info->edac_subsys->irq_get_affinity 0
PARAM_VALUE 0 ctl_info->edac_subsys->match 0
PARAM_VALUE 0 ctl_info->edac_subsys->name 2826297064502763520
PARAM_VALUE 0 ctl_info->edac_subsys->need_parent_lock 0
PARAM_VALUE 0 ctl_info->edac_subsys->num_vf 0
PARAM_VALUE 0 ctl_info->edac_subsys->offline 0
PARAM_VALUE 0 ctl_info->edac_subsys->online 0
PARAM_VALUE 0 ctl_info->edac_subsys->pm 0
PARAM_VALUE 0 ctl_info->edac_subsys->probe 0
PARAM_VALUE 0 ctl_info->edac_subsys->remove 0
PARAM_VALUE 0 ctl_info->edac_subsys->resume 0
PARAM_VALUE 0 ctl_info->edac_subsys->shutdown 0
PARAM_VALUE 0 ctl_info->edac_subsys->suspend 0
PARAM_VALUE 0 ctl_info->edac_subsys->sync_state 0
PARAM_VALUE 0 ctl_info->edac_subsys->uevent 0
PARAM_VALUE 0 ctl_info->instances 4096-ptr_max
PARAM_VALUE 0 ctl_info->kobj.sd->active.counter (-2147483647)
PARAM_VALUE 0 ctl_info->kobj.sd->attr.notify_next 0,426918848001064960
PARAM_VALUE 0 ctl_info->log_ce 1
PARAM_VALUE 0 ctl_info->log_ue 1
PARAM_VALUE 0 ctl_info->nr_instances 1
PARAM_VALUE 0 ctl_info->op_state 256
PARAM_VALUE 0 ctl_info->owner 0
PARAM_VALUE 0 ctl_info->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 ctl_info->pvt_info 4096-ptr_max
BUF_SIZE 0 ctl_info 632
BUF_SIZE 0 ctl_info->ctl_name 11
BUF_SIZE 0 ctl_info->dev 1616
BUF_SIZE 0 ctl_info->dev_name 1-s32max
BUF_SIZE 0 ctl_info->mod_name 4-25,28-29,32
CAPPED_DATA 0 ctl_info->dev 1
DATA_SOURCE 0 ctl_info r edac_device_alloc_ctl_info
STR_LEN 0 ctl_info->ctl_name 10
TERMINATED 0 ctl_info->ctl_name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ctl_info->nr_instances

drivers/edac/zynqmp_edac.c edac_remove() -> edac_device_free_ctl_info()

Type Parameter Key Value
PARAM_VALUE 0 ctl_info 4096-ptr_max
PARAM_VALUE 0 ctl_info->pvt_info 4096-ptr_max
BUF_SIZE 0 ctl_info s32min-(-2),1-s32max
BUF_SIZE 0 ctl_info s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 ctl_info unit_byte
HALF_LOCKED2 &_dev->mutex

drivers/edac/xgene_edac.c xgene_edac_l3_add() -> edac_device_free_ctl_info()

Type Parameter Key Value
PARAM_VALUE 0 ctl_info 4096-ptr_max
PARAM_VALUE 0 ctl_info->blocks 4096-ptr_max
PARAM_VALUE 0 ctl_info->ctl_name 4248599935372730368
PARAM_VALUE 0 ctl_info->dev 4096-ptr_max
PARAM_VALUE 0 ctl_info->dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 ctl_info->dev_name 4248599935372730368
PARAM_VALUE 0 ctl_info->edac_subsys 4612183972459032576
PARAM_VALUE 0 ctl_info->edac_subsys->bus_groups 0
PARAM_VALUE 0 ctl_info->edac_subsys->dev_groups 0
PARAM_VALUE 0 ctl_info->edac_subsys->dev_name 2826297064502763520
PARAM_VALUE 0 ctl_info->edac_subsys->dma_cleanup 0
PARAM_VALUE 0 ctl_info->edac_subsys->dma_configure 0
PARAM_VALUE 0 ctl_info->edac_subsys->driver_override 0
PARAM_VALUE 0 ctl_info->edac_subsys->drv_groups 0
PARAM_VALUE 0 ctl_info->edac_subsys->irq_get_affinity 0
PARAM_VALUE 0 ctl_info->edac_subsys->match 0
PARAM_VALUE 0 ctl_info->edac_subsys->name 2826297064502763520
PARAM_VALUE 0 ctl_info->edac_subsys->need_parent_lock 0
PARAM_VALUE 0 ctl_info->edac_subsys->num_vf 0
PARAM_VALUE 0 ctl_info->edac_subsys->offline 0
PARAM_VALUE 0 ctl_info->edac_subsys->online 0
PARAM_VALUE 0 ctl_info->edac_subsys->pm 0
PARAM_VALUE 0 ctl_info->edac_subsys->probe 0
PARAM_VALUE 0 ctl_info->edac_subsys->remove 0
PARAM_VALUE 0 ctl_info->edac_subsys->resume 0
PARAM_VALUE 0 ctl_info->edac_subsys->shutdown 0
PARAM_VALUE 0 ctl_info->edac_subsys->suspend 0
PARAM_VALUE 0 ctl_info->edac_subsys->sync_state 0
PARAM_VALUE 0 ctl_info->edac_subsys->uevent 0
PARAM_VALUE 0 ctl_info->instances 4096-ptr_max
PARAM_VALUE 0 ctl_info->kobj.entry.next 4096-ptr_max
PARAM_VALUE 0 ctl_info->kobj.release.cpu 0
PARAM_VALUE 0 ctl_info->kobj.release.timer.entry.next 0
PARAM_VALUE 0 ctl_info->kobj.release.timer.expires 0
PARAM_VALUE 0 ctl_info->kobj.release.timer.flags 0
PARAM_VALUE 0 ctl_info->kobj.release.timer.function 0
PARAM_VALUE 0 ctl_info->kobj.release.work.entry.next 0
PARAM_VALUE 0 ctl_info->kobj.release.work.entry.prev 0
PARAM_VALUE 0 ctl_info->kobj.release.work.func 0
PARAM_VALUE 0 ctl_info->kobj.release.wq 0
PARAM_VALUE 0 ctl_info->kobj.sd->__parent 0
PARAM_VALUE 0 ctl_info->kobj.sd->active.counter (-2147483647)
PARAM_VALUE 0 ctl_info->kobj.sd->attr.notify_next 0,426918848001064960
PARAM_VALUE 0 ctl_info->link.next->prev 4096-ptr_max
PARAM_VALUE 0 ctl_info->log_ce 1
PARAM_VALUE 0 ctl_info->log_ue 1
PARAM_VALUE 0 ctl_info->mod_name 7865686862107209728
PARAM_VALUE 0 ctl_info->nr_instances 1
PARAM_VALUE 0 ctl_info->op_state 256
PARAM_VALUE 0 ctl_info->owner 0
PARAM_VALUE 0 ctl_info->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 ctl_info->pvt_info 4096-ptr_max
PARAM_VALUE 0 ctl_info->pvt_info->edac->dfs->d_inode->i_rwsem.dep_map->name 0-255
PARAM_VALUE 0 ctl_info->pvt_info->edac->dfs->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ctl_info->pvt_info->edac->dfs->d_inode->i_rwsem.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 ctl_info->pvt_info->edac->dfs->d_inode->i_rwsem.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 ctl_info->pvt_info->edac->dfs->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 ctl_info->pvt_info->edac->dfs->d_inode->i_rwsem.osq.tail.counter 0-s32max
PARAM_VALUE 0 ctl_info->pvt_info->edac->dfs->d_lockref.count s32min-s32max
PARAM_VALUE 0 ctl_info->pvt_info->edac->dfs->d_sb->s_fs_info->s_bmap_bits 0-4294967295
PARAM_VALUE 0 ctl_info->pvt_info->edac->dfs->d_sb->s_fs_info->s_bmap_count 0-4294967295
PARAM_VALUE 0 ctl_info->pvt_info->edac->dfs->d_sb->s_fs_info->s_data_blksize 0-4294967295
PARAM_VALUE 0 ctl_info->pvt_info->edac->dfs->d_sb->s_fs_info->s_hashsize s32min-s32max
PARAM_VALUE 0 ctl_info->pvt_info->edac->dfs->d_sb->s_fs_info->s_last_bmap 0-4294967295
PARAM_VALUE 0 ctl_info->pvt_info->edac->dfs->d_sb->s_fs_info->s_mode 0-u16max
PARAM_VALUE 0 ctl_info->pvt_info->edac->dfs->d_sb->s_fs_info->s_partition_size s32min-s32max
PARAM_VALUE 0 ctl_info->pvt_info->edac->dfs->d_sb->s_fs_info->s_reserved s32min-s32max
PARAM_VALUE 0 ctl_info->pvt_info->edac->dfs->d_sb->s_fs_info->s_root_block 0-4294967295
PARAM_VALUE 0 ctl_info->pvt_info->edac->dfs->d_sb->s_fs_info->work_queued s32min-s32max
PARAM_VALUE 0 ctl_info->sysfs_attributes 0,4096-ptr_max
BUF_SIZE 0 ctl_info 632
BUF_SIZE 0 ctl_info->ctl_name 13
BUF_SIZE 0 ctl_info->dev 1616
BUF_SIZE 0 ctl_info->dev_name 13
BUF_SIZE 0 ctl_info->mod_name 11
CAPPED_DATA 0 ctl_info->dev 1
DATA_SOURCE 0 ctl_info r edac_device_alloc_ctl_info
STR_LEN 0 ctl_info->ctl_name 12
STR_LEN 0 ctl_info->dev_name 12
STR_LEN 0 ctl_info->mod_name 10
TERMINATED 0 ctl_info->ctl_name 1
TERMINATED 0 ctl_info->dev_name 1
TERMINATED 0 ctl_info->mod_name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ctl_info->nr_instances

drivers/edac/xgene_edac.c xgene_edac_l3_remove() -> edac_device_free_ctl_info()

Type Parameter Key Value
PARAM_VALUE 0 ctl_info 4096-ptr_max
PARAM_VALUE 0 ctl_info->pvt_info 4096-ptr_max
PARAM_VALUE 0 ctl_info->pvt_info->edac->lock.rlock.dep_map->name 0-255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &_dev->mutex
TYPE_LOCK (struct device)->mutex

drivers/edac/xgene_edac.c xgene_edac_pmd_add() -> edac_device_free_ctl_info()

Type Parameter Key Value
PARAM_VALUE 0 ctl_info 4096-ptr_max
PARAM_VALUE 0 ctl_info->blocks 4096-ptr_max
PARAM_VALUE 0 ctl_info->ctl_name 6448868018003456000
PARAM_VALUE 0 ctl_info->dev 4096-ptr_max
PARAM_VALUE 0 ctl_info->dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 ctl_info->dev_name 6448868018003456000
PARAM_VALUE 0 ctl_info->edac_subsys 4612183972459032576
PARAM_VALUE 0 ctl_info->edac_subsys->bus_groups 0
PARAM_VALUE 0 ctl_info->edac_subsys->dev_groups 0
PARAM_VALUE 0 ctl_info->edac_subsys->dev_name 2826297064502763520
PARAM_VALUE 0 ctl_info->edac_subsys->dma_cleanup 0
PARAM_VALUE 0 ctl_info->edac_subsys->dma_configure 0
PARAM_VALUE 0 ctl_info->edac_subsys->driver_override 0
PARAM_VALUE 0 ctl_info->edac_subsys->drv_groups 0
PARAM_VALUE 0 ctl_info->edac_subsys->irq_get_affinity 0
PARAM_VALUE 0 ctl_info->edac_subsys->match 0
PARAM_VALUE 0 ctl_info->edac_subsys->name 2826297064502763520
PARAM_VALUE 0 ctl_info->edac_subsys->need_parent_lock 0
PARAM_VALUE 0 ctl_info->edac_subsys->num_vf 0
PARAM_VALUE 0 ctl_info->edac_subsys->offline 0
PARAM_VALUE 0 ctl_info->edac_subsys->online 0
PARAM_VALUE 0 ctl_info->edac_subsys->pm 0
PARAM_VALUE 0 ctl_info->edac_subsys->probe 0
PARAM_VALUE 0 ctl_info->edac_subsys->remove 0
PARAM_VALUE 0 ctl_info->edac_subsys->resume 0
PARAM_VALUE 0 ctl_info->edac_subsys->shutdown 0
PARAM_VALUE 0 ctl_info->edac_subsys->suspend 0
PARAM_VALUE 0 ctl_info->edac_subsys->sync_state 0
PARAM_VALUE 0 ctl_info->edac_subsys->uevent 0
PARAM_VALUE 0 ctl_info->instances 4096-ptr_max
PARAM_VALUE 0 ctl_info->kobj.sd->active.counter (-2147483647)
PARAM_VALUE 0 ctl_info->kobj.sd->attr.notify_next 0,426918848001064960
PARAM_VALUE 0 ctl_info->log_ce 1
PARAM_VALUE 0 ctl_info->log_ue 1
PARAM_VALUE 0 ctl_info->mod_name 7865686862107209728
PARAM_VALUE 0 ctl_info->nr_instances 1
PARAM_VALUE 0 ctl_info->op_state 256
PARAM_VALUE 0 ctl_info->owner 0
PARAM_VALUE 0 ctl_info->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 ctl_info->pvt_info 4096-ptr_max
BUF_SIZE 0 ctl_info 632
BUF_SIZE 0 ctl_info->ctl_name 14
BUF_SIZE 0 ctl_info->dev 1616
BUF_SIZE 0 ctl_info->dev_name 14
BUF_SIZE 0 ctl_info->mod_name 11
CAPPED_DATA 0 ctl_info->dev 1
DATA_SOURCE 0 ctl_info r edac_device_alloc_ctl_info
STR_LEN 0 ctl_info->ctl_name 13
STR_LEN 0 ctl_info->dev_name 13
STR_LEN 0 ctl_info->mod_name 10
TERMINATED 0 ctl_info->ctl_name 1
TERMINATED 0 ctl_info->dev_name 1
TERMINATED 0 ctl_info->mod_name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ctl_info->nr_instances

drivers/edac/xgene_edac.c xgene_edac_pmd_remove() -> edac_device_free_ctl_info()

Type Parameter Key Value
PARAM_VALUE 0 ctl_info 4096-ptr_max
PARAM_VALUE 0 ctl_info->pvt_info->edac->lock.rlock.dep_map->name 0-255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &_dev->mutex
TYPE_LOCK (struct device)->mutex

drivers/edac/xgene_edac.c xgene_edac_soc_add() -> edac_device_free_ctl_info()

Type Parameter Key Value
PARAM_VALUE 0 ctl_info 4096-ptr_max
PARAM_VALUE 0 ctl_info->blocks 4096-ptr_max
PARAM_VALUE 0 ctl_info->ctl_name 7929588713870802944
PARAM_VALUE 0 ctl_info->dev 4096-ptr_max
PARAM_VALUE 0 ctl_info->dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 ctl_info->dev_name 7929588713870802944
PARAM_VALUE 0 ctl_info->edac_subsys 4612183972459032576
PARAM_VALUE 0 ctl_info->edac_subsys->bus_groups 0
PARAM_VALUE 0 ctl_info->edac_subsys->dev_groups 0
PARAM_VALUE 0 ctl_info->edac_subsys->dev_name 2826297064502763520
PARAM_VALUE 0 ctl_info->edac_subsys->dma_cleanup 0
PARAM_VALUE 0 ctl_info->edac_subsys->dma_configure 0
PARAM_VALUE 0 ctl_info->edac_subsys->driver_override 0
PARAM_VALUE 0 ctl_info->edac_subsys->drv_groups 0
PARAM_VALUE 0 ctl_info->edac_subsys->irq_get_affinity 0
PARAM_VALUE 0 ctl_info->edac_subsys->match 0
PARAM_VALUE 0 ctl_info->edac_subsys->name 2826297064502763520
PARAM_VALUE 0 ctl_info->edac_subsys->need_parent_lock 0
PARAM_VALUE 0 ctl_info->edac_subsys->num_vf 0
PARAM_VALUE 0 ctl_info->edac_subsys->offline 0
PARAM_VALUE 0 ctl_info->edac_subsys->online 0
PARAM_VALUE 0 ctl_info->edac_subsys->pm 0
PARAM_VALUE 0 ctl_info->edac_subsys->probe 0
PARAM_VALUE 0 ctl_info->edac_subsys->remove 0
PARAM_VALUE 0 ctl_info->edac_subsys->resume 0
PARAM_VALUE 0 ctl_info->edac_subsys->shutdown 0
PARAM_VALUE 0 ctl_info->edac_subsys->suspend 0
PARAM_VALUE 0 ctl_info->edac_subsys->sync_state 0
PARAM_VALUE 0 ctl_info->edac_subsys->uevent 0
PARAM_VALUE 0 ctl_info->instances 4096-ptr_max
PARAM_VALUE 0 ctl_info->kobj.entry.next 4096-ptr_max
PARAM_VALUE 0 ctl_info->kobj.release.cpu 0
PARAM_VALUE 0 ctl_info->kobj.release.timer.entry.next 0
PARAM_VALUE 0 ctl_info->kobj.release.timer.expires 0
PARAM_VALUE 0 ctl_info->kobj.release.timer.flags 0
PARAM_VALUE 0 ctl_info->kobj.release.timer.function 0
PARAM_VALUE 0 ctl_info->kobj.release.work.entry.next 0
PARAM_VALUE 0 ctl_info->kobj.release.work.entry.prev 0
PARAM_VALUE 0 ctl_info->kobj.release.work.func 0
PARAM_VALUE 0 ctl_info->kobj.release.wq 0
PARAM_VALUE 0 ctl_info->kobj.sd->__parent 0
PARAM_VALUE 0 ctl_info->kobj.sd->active.counter (-2147483647)
PARAM_VALUE 0 ctl_info->kobj.sd->attr.notify_next 0,426918848001064960
PARAM_VALUE 0 ctl_info->link.next->prev 4096-ptr_max
PARAM_VALUE 0 ctl_info->log_ce 1
PARAM_VALUE 0 ctl_info->log_ue 1
PARAM_VALUE 0 ctl_info->mod_name 7865686862107209728
PARAM_VALUE 0 ctl_info->nr_instances 1
PARAM_VALUE 0 ctl_info->op_state 256
PARAM_VALUE 0 ctl_info->owner 0
PARAM_VALUE 0 ctl_info->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 ctl_info->pvt_info 4096-ptr_max
PARAM_VALUE 0 ctl_info->sysfs_attributes 0,4096-ptr_max
BUF_SIZE 0 ctl_info 632
BUF_SIZE 0 ctl_info->ctl_name 14
BUF_SIZE 0 ctl_info->dev 1616
BUF_SIZE 0 ctl_info->dev_name 14
BUF_SIZE 0 ctl_info->mod_name 11
CAPPED_DATA 0 ctl_info->dev 1
DATA_SOURCE 0 ctl_info r edac_device_alloc_ctl_info
STR_LEN 0 ctl_info->ctl_name 13
STR_LEN 0 ctl_info->dev_name 13
STR_LEN 0 ctl_info->mod_name 10
TERMINATED 0 ctl_info->ctl_name 1
TERMINATED 0 ctl_info->dev_name 1
TERMINATED 0 ctl_info->mod_name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ctl_info->nr_instances

drivers/edac/xgene_edac.c xgene_edac_soc_remove() -> edac_device_free_ctl_info()

Type Parameter Key Value
PARAM_VALUE 0 ctl_info 4096-ptr_max
PARAM_VALUE 0 ctl_info->pvt_info->edac->lock.rlock.dep_map->name 0-255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &_dev->mutex
TYPE_LOCK (struct device)->mutex