Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/extcon/extcon-fsa9480.c fsa9480_irq_handler() -> fsa9480_detect_dev()

Type Parameter Key Value
PARAM_VALUE 0 usbsw 4096-ptr_max
PARAM_VALUE 0 usbsw->regmap 4096-ptr_max
PARAM_VALUE 0 usbsw->regmap->cache_dirty 0-1
PARAM_VALUE 0 *usbsw->regmap->work_buf (-4611686018427387904)-4611686018427387903
DATA_SOURCE 0 usbsw $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

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->dev->power.can_wakeup 1
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
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