fsa9480_write_reg identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/extcon/extcon-fsa9480.c, line 165 (as a function)

Referenced in 1 files:

drivers/extcon/extcon-fsa9480.c

Smatch caller information:

drivers/extcon/extcon-fsa9480.c fsa9480_probe() -> fsa9480_write_reg()

Type	Parameter	Key	Value
PARAM_VALUE	0	usbsw	4096-ptr_max
PARAM_VALUE	0	usbsw->dev	4096-ptr_max
PARAM_VALUE	0	usbsw->dev->devres_head.prev	4096-ptr_max
PARAM_VALUE	0	usbsw->dev->devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	usbsw->dev->devres_head.prev->next->next	4096-ptr_max
PARAM_VALUE	0	usbsw->edev	4096-ptr_max
PARAM_VALUE	0	usbsw->edev->attr_g_muex.name	241638316478869504
PARAM_VALUE	0	usbsw->edev->dev.dma_io_tlb_mem->dyn_alloc.data.counter	9007199250546704
PARAM_VALUE	0	usbsw->edev->dev.dma_io_tlb_mem->dyn_alloc.entry.prev	1473117533515866344
PARAM_VALUE	0	usbsw->edev->dev.dma_io_tlb_mem->dyn_alloc.func	1583282886040592384
PARAM_VALUE	0	usbsw->edev->dev.dma_io_tlb_mem->pools.prev	1473117533515866320
PARAM_VALUE	0	usbsw->edev->dev.kobj->name	0-255
PARAM_VALUE	0	usbsw->edev->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	usbsw->edev->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	usbsw->edev->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	usbsw->edev->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	usbsw->edev->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	usbsw->edev->dev.p->klist_children.get	2213798222526185472
PARAM_VALUE	0	usbsw->edev->dev.p->klist_children.put	3126867300421632000
PARAM_VALUE	0	usbsw->edev->dev.p->knode_class.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	usbsw->edev->dev.p->knode_parent.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	usbsw->edev->dev.parent	4096-ptr_max
PARAM_VALUE	0	usbsw->edev->dev.type->release	4521936485435965440
PARAM_VALUE	0	usbsw->edev->entry.prev	1384627647544102912
PARAM_VALUE	0	usbsw->edev->extcon_dev_type.release	4521936485435965440
PARAM_VALUE	0	usbsw->edev->id	0-s32max
PARAM_VALUE	0	usbsw->edev->max_supported	0-32
PARAM_VALUE	0	usbsw->edev->state	0
PARAM_VALUE	0	usbsw->edev->supported_cable	5620543458050662400
PARAM_VALUE	0	usbsw->regmap	0-ptr_max
PARAM_VALUE	0	*usbsw->edev->attr_g_muex.name	0-255
PARAM_VALUE	0	*usbsw->edev->extcon_dev_type.name	0-255
PARAM_VALUE	0	*usbsw->edev->name	0-255
PARAM_VALUE	1	reg	8
PARAM_VALUE	2	value	6
BUF_SIZE	0	usbsw	32
BUF_SIZE	0	usbsw->dev	1616
BUF_SIZE	0	usbsw->edev	1888
DATA_SOURCE	0	usbsw	r devm_kzalloc
MEM_ZERO	0	usbsw
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	usbsw->edev->max_supported

drivers/extcon/extcon-fsa9480.c fsa9480_probe() -> fsa9480_write_reg()

Type	Parameter	Key	Value
PARAM_VALUE	0	usbsw	4096-ptr_max
PARAM_VALUE	0	usbsw->dev	4096-ptr_max
PARAM_VALUE	0	usbsw->dev->devres_head.prev	4096-ptr_max
PARAM_VALUE	0	usbsw->dev->devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	usbsw->dev->devres_head.prev->next->next	4096-ptr_max
PARAM_VALUE	0	usbsw->edev	4096-ptr_max
PARAM_VALUE	0	usbsw->edev->attr_g_muex.name	241638316478869504
PARAM_VALUE	0	usbsw->edev->dev.dma_io_tlb_mem->dyn_alloc.data.counter	9007199250546704
PARAM_VALUE	0	usbsw->edev->dev.dma_io_tlb_mem->dyn_alloc.entry.prev	1473117533515866344
PARAM_VALUE	0	usbsw->edev->dev.dma_io_tlb_mem->dyn_alloc.func	1583282886040592384
PARAM_VALUE	0	usbsw->edev->dev.dma_io_tlb_mem->pools.prev	1473117533515866320
PARAM_VALUE	0	usbsw->edev->dev.kobj->name	0-255
PARAM_VALUE	0	usbsw->edev->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	usbsw->edev->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	usbsw->edev->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	usbsw->edev->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	usbsw->edev->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	usbsw->edev->dev.p->klist_children.get	2213798222526185472
PARAM_VALUE	0	usbsw->edev->dev.p->klist_children.put	3126867300421632000
PARAM_VALUE	0	usbsw->edev->dev.p->knode_class.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	usbsw->edev->dev.p->knode_parent.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	usbsw->edev->dev.parent	4096-ptr_max
PARAM_VALUE	0	usbsw->edev->dev.type->release	4521936485435965440
PARAM_VALUE	0	usbsw->edev->entry.prev	1384627647544102912
PARAM_VALUE	0	usbsw->edev->extcon_dev_type.release	4521936485435965440
PARAM_VALUE	0	usbsw->edev->id	0-s32max
PARAM_VALUE	0	usbsw->edev->max_supported	0-32
PARAM_VALUE	0	usbsw->edev->state	0
PARAM_VALUE	0	usbsw->edev->supported_cable	5620543458050662400
PARAM_VALUE	0	usbsw->regmap	4096-ptr_max
PARAM_VALUE	0	usbsw->regmap->cache->cached_rbnode->blklen	0-4294967295
PARAM_VALUE	0	*usbsw->edev->attr_g_muex.name	0-255
PARAM_VALUE	0	*usbsw->edev->extcon_dev_type.name	0-255
PARAM_VALUE	0	*usbsw->edev->name	0-255
PARAM_VALUE	0	*usbsw->regmap->cache->data	0-4294967295
PARAM_VALUE	1	reg	2
PARAM_VALUE	2	value	30
BUF_SIZE	0	usbsw	32
BUF_SIZE	0	usbsw->dev	1616
BUF_SIZE	0	usbsw->edev	1888
DATA_SOURCE	0	usbsw	r devm_kzalloc
MEM_ZERO	0	usbsw
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	usbsw->edev->max_supported

drivers/extcon/extcon-fsa9480.c fsa9480_probe() -> fsa9480_write_reg()

Type	Parameter	Key	Value
PARAM_VALUE	0	usbsw	4096-ptr_max
PARAM_VALUE	0	usbsw->dev	4096-ptr_max
PARAM_VALUE	0	usbsw->dev->devres_head.prev	4096-ptr_max
PARAM_VALUE	0	usbsw->dev->devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	usbsw->dev->devres_head.prev->next->next	4096-ptr_max
PARAM_VALUE	0	usbsw->edev	4096-ptr_max
PARAM_VALUE	0	usbsw->edev->attr_g_muex.name	241638316478869504
PARAM_VALUE	0	usbsw->edev->dev.dma_io_tlb_mem->dyn_alloc.data.counter	9007199250546704
PARAM_VALUE	0	usbsw->edev->dev.dma_io_tlb_mem->dyn_alloc.entry.prev	1473117533515866344
PARAM_VALUE	0	usbsw->edev->dev.dma_io_tlb_mem->dyn_alloc.func	1583282886040592384
PARAM_VALUE	0	usbsw->edev->dev.dma_io_tlb_mem->pools.prev	1473117533515866320
PARAM_VALUE	0	usbsw->edev->dev.kobj->name	0-255
PARAM_VALUE	0	usbsw->edev->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	usbsw->edev->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	usbsw->edev->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	usbsw->edev->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	usbsw->edev->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	usbsw->edev->dev.p->klist_children.get	2213798222526185472
PARAM_VALUE	0	usbsw->edev->dev.p->klist_children.put	3126867300421632000
PARAM_VALUE	0	usbsw->edev->dev.p->knode_class.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	usbsw->edev->dev.p->knode_parent.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	usbsw->edev->dev.parent	4096-ptr_max
PARAM_VALUE	0	usbsw->edev->dev.type->release	4521936485435965440
PARAM_VALUE	0	usbsw->edev->entry.prev	1384627647544102912
PARAM_VALUE	0	usbsw->edev->extcon_dev_type.release	4521936485435965440
PARAM_VALUE	0	usbsw->edev->id	0-s32max
PARAM_VALUE	0	usbsw->edev->max_supported	0-32
PARAM_VALUE	0	usbsw->edev->state	0
PARAM_VALUE	0	usbsw->edev->supported_cable	5620543458050662400
PARAM_VALUE	0	usbsw->regmap	4096-ptr_max
PARAM_VALUE	0	usbsw->regmap->cache->cached_rbnode->blklen	0-4294967295
PARAM_VALUE	0	*usbsw->edev->attr_g_muex.name	0-255
PARAM_VALUE	0	*usbsw->edev->extcon_dev_type.name	0-255
PARAM_VALUE	0	*usbsw->edev->name	0-255
PARAM_VALUE	0	*usbsw->regmap->cache->data	0-4294967295
PARAM_VALUE	1	reg	5
PARAM_VALUE	2	value	252
BUF_SIZE	0	usbsw	32
BUF_SIZE	0	usbsw->dev	1616
BUF_SIZE	0	usbsw->edev	1888
DATA_SOURCE	0	usbsw	r devm_kzalloc
MEM_ZERO	0	usbsw
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	usbsw->edev->max_supported

drivers/extcon/extcon-fsa9480.c fsa9480_probe() -> fsa9480_write_reg()

Type	Parameter	Key	Value
PARAM_VALUE	0	usbsw	4096-ptr_max
PARAM_VALUE	0	usbsw->dev	4096-ptr_max
PARAM_VALUE	0	usbsw->dev->devres_head.prev	4096-ptr_max
PARAM_VALUE	0	usbsw->dev->devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	usbsw->dev->devres_head.prev->next->next	4096-ptr_max
PARAM_VALUE	0	usbsw->edev	4096-ptr_max
PARAM_VALUE	0	usbsw->edev->attr_g_muex.name	241638316478869504
PARAM_VALUE	0	usbsw->edev->dev.dma_io_tlb_mem->dyn_alloc.data.counter	9007199250546704
PARAM_VALUE	0	usbsw->edev->dev.dma_io_tlb_mem->dyn_alloc.entry.prev	1473117533515866344
PARAM_VALUE	0	usbsw->edev->dev.dma_io_tlb_mem->dyn_alloc.func	1583282886040592384
PARAM_VALUE	0	usbsw->edev->dev.dma_io_tlb_mem->pools.prev	1473117533515866320
PARAM_VALUE	0	usbsw->edev->dev.kobj->name	0-255
PARAM_VALUE	0	usbsw->edev->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	usbsw->edev->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	usbsw->edev->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	usbsw->edev->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	usbsw->edev->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	usbsw->edev->dev.p->klist_children.get	2213798222526185472
PARAM_VALUE	0	usbsw->edev->dev.p->klist_children.put	3126867300421632000
PARAM_VALUE	0	usbsw->edev->dev.p->knode_class.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	usbsw->edev->dev.p->knode_parent.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	usbsw->edev->dev.parent	4096-ptr_max
PARAM_VALUE	0	usbsw->edev->dev.type->release	4521936485435965440
PARAM_VALUE	0	usbsw->edev->entry.prev	1384627647544102912
PARAM_VALUE	0	usbsw->edev->extcon_dev_type.release	4521936485435965440
PARAM_VALUE	0	usbsw->edev->id	0-s32max
PARAM_VALUE	0	usbsw->edev->max_supported	0-32
PARAM_VALUE	0	usbsw->edev->state	0
PARAM_VALUE	0	usbsw->edev->supported_cable	5620543458050662400
PARAM_VALUE	0	usbsw->regmap	4096-ptr_max
PARAM_VALUE	0	usbsw->regmap->cache->cached_rbnode->blklen	0-4294967295
PARAM_VALUE	0	*usbsw->edev->attr_g_muex.name	0-255
PARAM_VALUE	0	*usbsw->edev->extcon_dev_type.name	0-255
PARAM_VALUE	0	*usbsw->edev->name	0-255
PARAM_VALUE	0	*usbsw->regmap->cache->data	0-4294967295
PARAM_VALUE	1	reg	6
PARAM_VALUE	2	value	31
BUF_SIZE	0	usbsw	32
BUF_SIZE	0	usbsw->dev	1616
BUF_SIZE	0	usbsw->edev	1888
DATA_SOURCE	0	usbsw	r devm_kzalloc
MEM_ZERO	0	usbsw
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	usbsw->edev->max_supported