Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/usb/gadget/udc/snps_udc_plat.c start_udc() -> udc_basic_init()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev 0,4096-ptr_max
PARAM_VALUE 0 dev->dev->bus 0,4096-ptr_max
PARAM_VALUE 0 dev->dev->class 0,4096-ptr_max
PARAM_VALUE 0 dev->dev->driver 0,4096-ptr_max
PARAM_VALUE 0 dev->driver 1-u64max
PARAM_VALUE 0 dev->regs 4096-ptr_max
PARAM_VALUE 0 dev->udc_phy->dev.power.wakeirq->status 0-4294967295
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dev unit_byte

drivers/usb/gadget/udc/snps_udc_core.c shutdown() -> udc_basic_init()

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

drivers/usb/gadget/udc/snps_udc_core.c startup_registers() -> udc_basic_init()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->chiprev 0-255
PARAM_VALUE 0 dev->dev 4096-ptr_max
PARAM_VALUE 0 dev->gadget.max_speed 3
PARAM_VALUE 0 dev->gadget.name 6655597767195734016
PARAM_VALUE 0 dev->gadget.ops 1558878050497511424
PARAM_VALUE 0 dev->irq 1-u32max
PARAM_VALUE 0 dev->regs 4096-ptr_max
BUF_SIZE 0 dev 8752
BUF_SIZE 0 dev->dev 1616
BUF_SIZE 0 dev->gadget.name 4
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,7472,8064
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dev->pdev->current_state 0-3[c]

drivers/usb/gadget/udc/snps_udc_core.c udc_dev_isr() -> udc_basic_init()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->driver 4096-ptr_max
PARAM_VALUE 0 dev->driver->reset 4096-ptr_max
PARAM_VALUE 0 dev->ep 4096-ptr_max
PARAM_VALUE 0 dev->gadget.dev.driver_data->config 0
PARAM_VALUE 0 dev->gadget.dev.driver_data->ev_next 0-5
PARAM_VALUE 0 dev->gadget.ops->vbus_draw 0,4096-ptr_max
PARAM_VALUE 0 dev->gadget.state 5
PARAM_VALUE 0 dev->gadget.state_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->regs 4096-ptr_max
PARAM_VALUE 0 dev->set_cfg_not_acked 0
PARAM_VALUE 0 dev->waiting_zlp_ack_ep0in 0
DATA_SOURCE 0 dev $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dev->cur_alt 0-15[c]
HOST_DATA 0 dev->cur_config 0-15[c]
HOST_DATA 0 dev->cur_intf 0-15[c]
HOST_DATA 0 dev->gadget.dev.bus_dma_limit 0-u64max
HOST_DATA 0 dev->gadget.dev.coherent_dma_mask 0-u64max
HOST_DATA 0 dev->gadget.dev.devt 0-u32max
HOST_DATA 0 dev->gadget.dev.dma_uses_io_tlb 0-1
HOST_DATA 0 dev->gadget.dev.id 0-u32max
HOST_DATA 0 dev->gadget.dev.kobj.kref.refcount.refs.counter s32min-s32max
HOST_DATA 0 dev->gadget.dev.kobj.release.cpu s32min-s32max
HOST_DATA 0 dev->gadget.dev.kobj.release.timer.expires 0-u64max
HOST_DATA 0 dev->gadget.dev.kobj.release.timer.flags 0-u32max
HOST_DATA 0 dev->gadget.dev.kobj.release.work.data.counter s64min-s64max
HOST_DATA 0 dev->gadget.dev.kobj.state_add_uevent_sent 0-1
HOST_DATA 0 dev->gadget.dev.kobj.state_in_sysfs 0-1
HOST_DATA 0 dev->gadget.dev.kobj.state_initialized 0-1
HOST_DATA 0 dev->gadget.dev.kobj.state_remove_uevent_sent 0-1
HOST_DATA 0 dev->gadget.dev.kobj.uevent_suppress 0-1
HOST_DATA 0 dev->gadget.dev.links.status 0-u32max
HOST_DATA 0 dev->gadget.dev.mutex.osq.tail.counter s32min-s32max
HOST_DATA 0 dev->gadget.dev.mutex.owner.counter s64min-s64max
HOST_DATA 0 dev->gadget.dev.numa_node s32min-s32max
HOST_DATA 0 dev->gadget.dev.power.accounting_timestamp 0-u64max
HOST_DATA 0 dev->gadget.dev.power.active_time 0-u64max
HOST_DATA 0 dev->gadget.dev.power.async_suspend 0-1
HOST_DATA 0 dev->gadget.dev.power.autosuspend_delay s32min-s32max
HOST_DATA 0 dev->gadget.dev.power.can_wakeup 0-1
HOST_DATA 0 dev->gadget.dev.power.child_count.counter s32min-s32max
HOST_DATA 0 dev->gadget.dev.power.completion.done 0-u32max
HOST_DATA 0 dev->gadget.dev.power.deferred_resume 0-1
HOST_DATA 0 dev->gadget.dev.power.detach_power_off 0-1
HOST_DATA 0 dev->gadget.dev.power.direct_complete 0-1
HOST_DATA 0 dev->gadget.dev.power.disable_depth 0-7
HOST_DATA 0 dev->gadget.dev.power.driver_flags 0-u32max
HOST_DATA 0 dev->gadget.dev.power.early_init 0-1
HOST_DATA 0 dev->gadget.dev.power.idle_notification 0-1
HOST_DATA 0 dev->gadget.dev.power.ignore_children 0-1
HOST_DATA 0 dev->gadget.dev.power.in_dpm_list 0-1
HOST_DATA 0 dev->gadget.dev.power.irq_safe 0-1
HOST_DATA 0 dev->gadget.dev.power.is_late_suspended 0-1
HOST_DATA 0 dev->gadget.dev.power.is_noirq_suspended 0-1
HOST_DATA 0 dev->gadget.dev.power.is_prepared 0-1
HOST_DATA 0 dev->gadget.dev.power.is_suspended 0-1
HOST_DATA 0 dev->gadget.dev.power.last_busy 0-u64max
HOST_DATA 0 dev->gadget.dev.power.last_status s32min-s32max
HOST_DATA 0 dev->gadget.dev.power.links_count 0-u32max
HOST_DATA 0 dev->gadget.dev.power.may_skip_resume 0-1
HOST_DATA 0 dev->gadget.dev.power.memalloc_noio 0-1
HOST_DATA 0 dev->gadget.dev.power.must_resume 0-1
HOST_DATA 0 dev->gadget.dev.power.needs_force_resume 0-1
HOST_DATA 0 dev->gadget.dev.power.no_callbacks 0-1
HOST_DATA 0 dev->gadget.dev.power.no_pm 0-1
HOST_DATA 0 dev->gadget.dev.power.no_pm_callbacks 0-1
HOST_DATA 0 dev->gadget.dev.power.out_band_wakeup 0-1
HOST_DATA 0 dev->gadget.dev.power.power_state.event s32min-s32max
HOST_DATA 0 dev->gadget.dev.power.request 0-u32max
HOST_DATA 0 dev->gadget.dev.power.request_pending 0-1
HOST_DATA 0 dev->gadget.dev.power.runtime_auto 0-1
HOST_DATA 0 dev->gadget.dev.power.runtime_error s32min-s32max
HOST_DATA 0 dev->gadget.dev.power.runtime_status s32min-s32max
HOST_DATA 0 dev->gadget.dev.power.smart_suspend 0-1
HOST_DATA 0 dev->gadget.dev.power.strict_midlayer 0-1
HOST_DATA 0 dev->gadget.dev.power.suspended_time 0-u64max
HOST_DATA 0 dev->gadget.dev.power.syscore 0-1
HOST_DATA 0 dev->gadget.dev.power.timer_autosuspends 0-1
HOST_DATA 0 dev->gadget.dev.power.timer_expires 0-u64max
HOST_DATA 0 dev->gadget.dev.power.usage_count.counter s32min-s32max
HOST_DATA 0 dev->gadget.dev.power.use_autosuspend 0-1
HOST_DATA 0 dev->gadget.dev.power.work_in_progress 0-1
HOST_DATA 0 dev->gadget.dev.removable 0-u32max
LOCK2 0 &dev->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct udc)->lock

drivers/usb/gadget/udc/snps_udc_core.c usb_connect() -> udc_basic_init()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->connected 1
PARAM_VALUE 0 dev->dev 0,4096-ptr_max
PARAM_VALUE 0 dev->dev->bus 0,4096-ptr_max
PARAM_VALUE 0 dev->dev->class 0,4096-ptr_max
PARAM_VALUE 0 dev->dev->driver 0,4096-ptr_max
PARAM_VALUE 0 dev->driver 1-u64max
PARAM_VALUE 0 dev->ep 4096-ptr_max
PARAM_VALUE 0 dev->regs 4096-ptr_max
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &udc->connect_lock
HALF_LOCKED2 &g->dev.mutex
HALF_LOCKED2 &of->mutex
TYPE_LOCK (struct usb_udc)->connect_lock