Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/typec/wusb3801.c wusb3801_irq() -> wusb3801_hw_update()

Type Parameter Key Value
PARAM_VALUE 0 wusb3801 4096-ptr_max
PARAM_VALUE 0 wusb3801->regmap 4096-ptr_max
PARAM_VALUE 0 wusb3801->regmap->lock 4096-ptr_max
PARAM_VALUE 0 wusb3801->regmap->unlock 4096-ptr_max
PARAM_VALUE 0 *wusb3801->regmap->cache->data 0-4294967295
DATA_SOURCE 0 wusb3801 $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/typec/wusb3801.c wusb3801_probe() -> wusb3801_hw_update()

Type Parameter Key Value
PARAM_VALUE 0 wusb3801 4096-ptr_max
PARAM_VALUE 0 wusb3801->cap.data 0-2
PARAM_VALUE 0 wusb3801->cap.driver_data 4096-ptr_max
PARAM_VALUE 0 wusb3801->cap.fwnode 4096-ptr_max
PARAM_VALUE 0 wusb3801->cap.ops 353254931397222400
PARAM_VALUE 0 wusb3801->cap.orientation_aware 1
PARAM_VALUE 0 wusb3801->cap.pd 0
PARAM_VALUE 0 wusb3801->cap.prefer_role (-1)-1
PARAM_VALUE 0 wusb3801->cap.revision 288
PARAM_VALUE 0 wusb3801->cap.type 0-2
PARAM_VALUE 0 wusb3801->dev 4096-ptr_max
PARAM_VALUE 0 wusb3801->dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 wusb3801->port 4096-ptr_max
PARAM_VALUE 0 wusb3801->port->con.attach 1324651618066358272
PARAM_VALUE 0 wusb3801->port->con.deattach 4650986530451238912
PARAM_VALUE 0 wusb3801->port->dev.dma_io_tlb_mem->dyn_alloc.data.counter 9007199250546704
PARAM_VALUE 0 wusb3801->port->dev.dma_io_tlb_mem->dyn_alloc.entry.prev 1473117533515866344
PARAM_VALUE 0 wusb3801->port->dev.dma_io_tlb_mem->dyn_alloc.func 1583282886040592384
PARAM_VALUE 0 wusb3801->port->dev.dma_io_tlb_mem->pools.prev 1473117533515866320
PARAM_VALUE 0 wusb3801->port->dev.fwnode->dev->power.set_latency_tolerance 5740181548905971712
PARAM_VALUE 0 wusb3801->port->dev.kobj.sd->active.counter (-2147483647)
PARAM_VALUE 0 wusb3801->port->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 wusb3801->port->dev.p->klist_children.get 2213798222526185472
PARAM_VALUE 0 wusb3801->port->dev.p->klist_children.put 3126867300421632000
PARAM_VALUE 0 wusb3801->port->dev.p->knode_bus.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 wusb3801->port->dev.p->knode_class.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 wusb3801->port->dev.p->knode_parent.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 wusb3801->port->dev.physical_location->horizontal_position 0-3
PARAM_VALUE 0 wusb3801->port->dev.physical_location->panel 0-7
PARAM_VALUE 0 wusb3801->port->dev.physical_location->vertical_position 0-3
PARAM_VALUE 0 wusb3801->port->id 0-s32max
PARAM_VALUE 0 wusb3801->port->mode_ids.xa.xa_flags 33554437
PARAM_VALUE 0 wusb3801->port->mode_ids.xa.xa_head 0
PARAM_VALUE 0 wusb3801->port->ops 353254931397222400
PARAM_VALUE 0 wusb3801->port->ops->port_type_set 1041927891590725632
PARAM_VALUE 0 wusb3801->port->ops->try_role 6012352628367368192
PARAM_VALUE 0 wusb3801->port->partner_link_lock.dep_map->name 0-255
PARAM_VALUE 0 wusb3801->port->partner_link_lock.first_waiter 0
PARAM_VALUE 0 wusb3801->port->partner_link_lock.osq.tail.counter 0
PARAM_VALUE 0 wusb3801->port->pd 0
PARAM_VALUE 0 wusb3801->port->port_type 0-2
PARAM_VALUE 0 wusb3801->port->port_type_lock.dep_map->name 0-255
PARAM_VALUE 0 wusb3801->port->prefer_role (-1)-1
PARAM_VALUE 0 wusb3801->port_type 0-2
PARAM_VALUE 0 wusb3801->pwr_opmode 0-2
PARAM_VALUE 0 wusb3801->regmap 4096-ptr_max
PARAM_VALUE 0 wusb3801->regmap->cache->cached_rbnode->blklen 1-4294967295
PARAM_VALUE 0 wusb3801->regmap->cache_dirty 1
PARAM_VALUE 0 wusb3801->vbus_supply 4096-ptr_max
PARAM_VALUE 0 *wusb3801->regmap->cache->data 0-4294967295
BUF_SIZE 0 wusb3801 128
BUF_SIZE 0 wusb3801->cap.driver_data 128
BUF_SIZE 0 wusb3801->cap.ops 72
BUF_SIZE 0 wusb3801->dev 1616
BUF_SIZE 0 wusb3801->port 2136
BUF_SIZE 0 wusb3801->vbus_supply s32min,(-1)-s32max
CAPPED_DATA 0 wusb3801->cap.prefer_role 1
CAPPED_DATA 0 wusb3801->port->prefer_role 1
CAPPED_DATA 0 wusb3801->pwr_opmode 1
CAPPED_DATA 0 wusb3801->regmap->wr_table->n_no_ranges 1
CAPPED_DATA 0 wusb3801->regmap->wr_table->n_yes_ranges 1
DATA_SOURCE 0 wusb3801 r devm_kzalloc
MEM_ZERO 0 wusb3801
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL