Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/gadget/udc/net2280.c net2280_probe() -> usb_reset()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->enabled 1
PARAM_VALUE 0 dev->enhanced_mode 0-1
PARAM_VALUE 0 dev->gadget.dev.bus 7270825433333444608
PARAM_VALUE 0 dev->gadget.dev.bus->bus_groups 0,4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.bus->dev_groups 0,4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.bus->dev_name 0,4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.bus->dma_cleanup 0,1104241704522911744,2567693292227600384,2768152908493389824,7812820361545043968
PARAM_VALUE 0 dev->gadget.dev.bus->dma_configure 0,336080655347347456,2640283715357872128,6790945466981969920,7339647197731467264,9135293919241822208
PARAM_VALUE 0 dev->gadget.dev.bus->driver_override 0
PARAM_VALUE 0 dev->gadget.dev.bus->drv_groups 0,4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.bus->irq_get_affinity 0,2736213929819951104,8458669627886727168
PARAM_VALUE 0 dev->gadget.dev.bus->match 0,4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.bus->name 4007636959283859456
PARAM_VALUE 0 dev->gadget.dev.bus->need_parent_lock 0
PARAM_VALUE 0 dev->gadget.dev.bus->num_vf 0,1401569716023488512,5437838145057775616,5865131444347011072
PARAM_VALUE 0 dev->gadget.dev.bus->offline 0,1666089020764061696,5755435740054507520,7184779815589322752
PARAM_VALUE 0 dev->gadget.dev.bus->online 0,2122979978047275008,3981819987924254720,5315967098752217088
PARAM_VALUE 0 dev->gadget.dev.bus->pm 0,4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.bus->probe 0,4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.bus->remove 0,4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.bus->resume 0,5825847710628618240,5935021209610387456,6756237279030640640,9194075036045950976
PARAM_VALUE 0 dev->gadget.dev.bus->shutdown 0,4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.bus->suspend 0,464535525743861760,904963096479051776,1039294648882290688,5145086701300998144
PARAM_VALUE 0 dev->gadget.dev.bus->sync_state 0
PARAM_VALUE 0 dev->gadget.dev.bus->uevent 0,4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.devres_head.next 4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.devres_head.next->next 4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.devres_head.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.dma_io_tlb_mem 1473117533515866112
PARAM_VALUE 0 dev->gadget.dev.dma_io_tlb_mem->dyn_alloc.data.counter 9007199250546704
PARAM_VALUE 0 dev->gadget.dev.dma_io_tlb_mem->dyn_alloc.entry.prev 1473117533515866344
PARAM_VALUE 0 dev->gadget.dev.dma_io_tlb_mem->dyn_alloc.func 1583282886040592384
PARAM_VALUE 0 dev->gadget.dev.dma_io_tlb_mem->pools.prev 1473117533515866320
PARAM_VALUE 0 dev->gadget.dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.dma_io_tlb_pools.next->next 4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.dma_io_tlb_pools.prev 4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.dma_io_tlb_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.dma_io_tlb_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.dma_pools.next 4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.dma_pools.next->next 4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.dma_pools.prev 4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.dma_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.dma_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.dma_uses_io_tlb 0
PARAM_VALUE 0 dev->gadget.dev.flags 4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.kobj.kref.refcount.refs.counter 1
PARAM_VALUE 0 dev->gadget.dev.kobj.kset 0,4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.kobj.ktype 5399513539053756416
PARAM_VALUE 0 dev->gadget.dev.kobj.state_in_sysfs 0
PARAM_VALUE 0 dev->gadget.dev.kobj.state_initialized 1
PARAM_VALUE 0 dev->gadget.dev.links.consumers.next 4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.links.consumers.next->next 4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.links.consumers.prev 4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.links.consumers.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.links.consumers.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.links.defer_sync.next 4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.links.defer_sync.next->next 4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.links.defer_sync.prev 4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.links.defer_sync.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.links.defer_sync.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.links.status 0
PARAM_VALUE 0 dev->gadget.dev.links.suppliers.next 4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.links.suppliers.next->next 4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.links.suppliers.prev 4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.links.suppliers.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.links.suppliers.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.numa_node (-1)
PARAM_VALUE 0 dev->gadget.dev.parent 4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.power.deferred_resume 0
PARAM_VALUE 0 dev->gadget.dev.power.disable_depth 1
PARAM_VALUE 0 dev->gadget.dev.power.early_init 1
PARAM_VALUE 0 dev->gadget.dev.power.entry.next 4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.power.entry.next->next 4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.power.entry.prev 4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.power.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.power.entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.power.idle_notification 0
PARAM_VALUE 0 dev->gadget.dev.power.ignore_children 0
PARAM_VALUE 0 dev->gadget.dev.power.is_late_suspended 0
PARAM_VALUE 0 dev->gadget.dev.power.is_prepared 0
PARAM_VALUE 0 dev->gadget.dev.power.is_suspended 0
PARAM_VALUE 0 dev->gadget.dev.power.last_status (-1)
PARAM_VALUE 0 dev->gadget.dev.power.qos 0
PARAM_VALUE 0 dev->gadget.dev.power.request 0
PARAM_VALUE 0 dev->gadget.dev.power.request_pending 0
PARAM_VALUE 0 dev->gadget.dev.power.runtime_auto 1
PARAM_VALUE 0 dev->gadget.dev.power.runtime_error 0
PARAM_VALUE 0 dev->gadget.dev.power.runtime_status 2
PARAM_VALUE 0 dev->gadget.dev.power.timer_expires 0
PARAM_VALUE 0 dev->gadget.dev.power.wait_queue.head.next 4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.power.wait_queue.head.next->next 4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.power.wait_queue.head.prev 4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.power.wait_queue.head.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.power.wait_queue.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.release 1-u64max
PARAM_VALUE 0 dev->gadget.max_speed 3,5
PARAM_VALUE 0 dev->gadget.name 7039014077292322816
PARAM_VALUE 0 dev->gadget.ops 44831629127172096
PARAM_VALUE 0 dev->gadget.teardown 0
PARAM_VALUE 0 dev->n_ep 5,7,9
PARAM_VALUE 0 dev->pdev 4096-ptr_max
PARAM_VALUE 0 dev->pdev->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 dev->pdev->driver 4096-ptr_max
PARAM_VALUE 0 dev->region 1
PARAM_VALUE 0 dev->regs 4096-ptr_max
PARAM_VALUE 0 dev->usb 4096-ptr_max
BUF_SIZE 0 dev 3520
BUF_SIZE 0 dev->gadget.name 8
BUF_SIZE 0 dev->gadget.ops 136
BUF_SIZE 0 dev->pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,8064
DATA_SOURCE 0 dev r _kzalloc_noprof
FUZZY_MAX 0 dev->enhanced_mode 1
FUZZY_MAX 0 dev->gadget.max_speed 5
FUZZY_MAX 0 dev->n_ep 9
BIT_INFO 0 dev->gadget.max_speed 0x1,0x7
BIT_INFO 0 dev->n_ep 0x1,0xf
HARD_MAX 0 dev->enhanced_mode 1
HARD_MAX 0 dev->gadget.max_speed 5
HARD_MAX 0 dev->n_ep 9
MEM_ZERO 0 &dev->gadget.dev.power.suspend_timer
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dev->enhanced_mode 0-1
HOST_DATA 0 dev->pdev->current_state 0-3[c]

drivers/usb/gadget/udc/net2280.c stop_activity() -> usb_reset()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &dev->lock
HALF_LOCKED2 &udc->connect_lock
HALF_LOCKED2 flags
TYPE_LOCK (struct net2280)->lock