Documented in 1 files:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/usb/gadget/udc/pxa27x_udc.c ep0_end_out_req() -> ep0_idle()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->ep0state 5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags

drivers/usb/gadget/udc/pxa27x_udc.c handle_ep0() -> ep0_idle()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->pxa_ep 4096-ptr_max
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags

drivers/usb/gadget/udc/pxa27x_udc.c handle_ep0() -> ep0_idle()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->ep0state 4
PARAM_VALUE 0 dev->pxa_ep 4096-ptr_max
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags

drivers/usb/gadget/udc/pxa27x_udc.c handle_ep0() -> ep0_idle()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->ep0state 5,7
PARAM_VALUE 0 dev->pxa_ep 4096-ptr_max
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags

drivers/usb/gadget/udc/pxa27x_udc.c irq_udc_reset() -> ep0_idle()

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->gadget.speed 2
PARAM_VALUE 0 dev->pxa_ep 4096-ptr_max
PARAM_VALUE 0 dev->stats.irqs_reset 0
DATA_SOURCE 0 dev $0
MEM_ZERO 0 &dev->stats
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq

drivers/usb/gadget/udc/pxa27x_udc.c irq_udc_suspend() -> ep0_idle()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq

drivers/usb/gadget/udc/pxa27x_udc.c pxa_ep_queue() -> ep0_idle()

Type Parameter Key Value
PARAM_VALUE 0 dev 4274940279759441920
PARAM_VALUE 0 dev->dev 0,4096-ptr_max
PARAM_VALUE 0 dev->gadget.speed 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &cdev->lock
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &dev->lock_printer_io
HALF_LOCKED2 &epdata->dev->lock
HALF_LOCKED2 &epdata->lock
HALF_LOCKED2 &epfile->ffs->eps_lock
HALF_LOCKED2 &hidg->get_report_spinlock
HALF_LOCKED2 &midi->transmit_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &port->lock
HALF_LOCKED2 &usb9pfs->lock
HALF_LOCKED2 &video->req_lock
HALF_LOCKED2 cdev_flags
HALF_LOCKED2 flags
HALF_LOCKED2 irq

drivers/usb/gadget/udc/pxa27x_udc.c udc_disable() -> ep0_idle()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->enabled 1
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
HOST_DATA 0 dev->config 0-3
HOST_DATA 0 dev->enabled 1
HOST_DATA 0 dev->ep0state 0-u32max
HOST_DATA 0 dev->gadget.a_alt_hnp_support 0-1
HOST_DATA 0 dev->gadget.a_hnp_support 0-1
HOST_DATA 0 dev->gadget.b_hnp_enable 0-1
HOST_DATA 0 dev->gadget.connected 0-1
HOST_DATA 0 dev->gadget.deactivated 0-1
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
HOST_DATA 0 dev->gadget.hnp_polling_support 0-1
HOST_DATA 0 dev->gadget.host_request_flag 0-1
HOST_DATA 0 dev->gadget.id_number s32min-s32max
HOST_DATA 0 dev->gadget.in_epnum 0-u32max
HOST_DATA 0 dev->gadget.irq s32min-s32max
HOST_DATA 0 dev->gadget.is_a_peripheral 0-1
HOST_DATA 0 dev->gadget.is_otg 0-1
HOST_DATA 0 dev->gadget.is_selfpowered 0-1
HOST_DATA 0 dev->gadget.isoch_delay 0-u32max
HOST_DATA 0 dev->gadget.lpm_capable 0-1
HOST_DATA 0 dev->gadget.mA 0-u32max
HOST_DATA 0 dev->gadget.max_speed 0-u32max
HOST_DATA 0 dev->gadget.max_ssp_rate 0-u32max
HOST_DATA 0 dev->gadget.out_epnum 0-u32max
HOST_DATA 0 dev->gadget.quirk_altset_not_supp 0-1
HOST_DATA 0 dev->gadget.quirk_avoids_skb_reserve 0-1
HOST_DATA 0 dev->gadget.quirk_ep_out_aligned_size 0-1
HOST_DATA 0 dev->gadget.quirk_stall_not_supp 0-1
HOST_DATA 0 dev->gadget.quirk_zlp_not_supp 0-1
HOST_DATA 0 dev->gadget.sg_supported 0-1
HOST_DATA 0 dev->gadget.speed 0-u32max
HOST_DATA 0 dev->gadget.ssp_rate 0-u32max
HOST_DATA 0 dev->gadget.state 0-u32max
HOST_DATA 0 dev->gadget.teardown 0-1
HOST_DATA 0 dev->gadget.wakeup_armed 0-1
HOST_DATA 0 dev->gadget.wakeup_capable 0-1
HOST_DATA 0 dev->gadget.work.data.counter s64min-s64max
HOST_DATA 0 dev->irq s32min-s32max
HOST_DATA 0 dev->last_alternate 0-7
HOST_DATA 0 dev->last_interface 0-7
HOST_DATA 0 dev->pullup_on 0-1
HOST_DATA 0 dev->pullup_resume 0-1
HOST_DATA 0 dev->stats.irqs_reconfig 0-u64max
HOST_DATA 0 dev->stats.irqs_reset 0-u64max
HOST_DATA 0 dev->stats.irqs_resume 0-u64max
HOST_DATA 0 dev->stats.irqs_suspend 0-u64max
HOST_DATA 0 dev->udccsr0 0-u32max
HOST_DATA 0 dev->vbus_sensed 0-1
UNITS 0 dev unit_byte
HALF_LOCKED2 &_dev->mutex
HALF_LOCKED2 &udc->connect_lock

drivers/usb/gadget/udc/pxa27x_udc.c udc_enable() -> ep0_idle()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->clk 0,4096-ptr_max
PARAM_VALUE 0 dev->clk->core->parent->enable_count 0-4294967295
PARAM_VALUE 0 dev->enabled 0
PARAM_VALUE 0 dev->gadget.dev.dma_io_tlb_mem->debugfs 0-s64max
PARAM_VALUE 0 dev->gadget.dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->gadget.dev.power.wakeirq->status 0-4294967295
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev->clk (-1),1-s32max
BUF_SIZE 0 dev->dev (-1),1616
BUF_SIZE 0 dev->gpiod s32min,(-1),1-s32max
BUF_SIZE 0 dev->irq s32min-(-1),1-s32max
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dev unit_byte
HALF_LOCKED2 &udc->connect_lock

drivers/usb/gadget/udc/pxa27x_udc.c udc_init_data() -> ep0_idle()

Type Parameter Key Value
PARAM_VALUE 0 dev 4274940279759441920
PARAM_VALUE 0 dev->clk 0,4096-ptr_max
PARAM_VALUE 0 dev->clk->core->dev->power.deferred_resume 0-1
PARAM_VALUE 0 dev->clk->core->dev->power.idle_notification 0-1
PARAM_VALUE 0 dev->clk->core->dev->power.request 0-4
PARAM_VALUE 0 dev->clk->core->dev->power.request_pending 0-1
PARAM_VALUE 0 dev->clk->core->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 dev->clk->core->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 dev->clk->core->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 dev->clk->core->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 dev->clk->core->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->clk->core->parent->dev->power.deferred_resume 0-1
PARAM_VALUE 0 dev->clk->core->parent->dev->power.idle_notification 0-1
PARAM_VALUE 0 dev->clk->core->parent->dev->power.request 0-4
PARAM_VALUE 0 dev->clk->core->parent->dev->power.request_pending 0-1
PARAM_VALUE 0 dev->clk->core->parent->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 dev->clk->core->parent->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 dev->clk->core->parent->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 dev->clk->core->parent->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 dev->clk->core->parent->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->clk->core->parent->prepare_count 0-4294967295
PARAM_VALUE 0 dev->clk->core->parent->protect_count 0-4294967295
PARAM_VALUE 0 dev->clk->core->prepare_count 0-4294967295
PARAM_VALUE 0 dev->dev 4096-ptr_max
PARAM_VALUE 0 dev->dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 dev->gadget.ep0 4096-ptr_max
PARAM_VALUE 0 dev->gadget.ep0->ep_list.next 4096-ptr_max
PARAM_VALUE 0 dev->gadget.ep0->ep_list.next->next 4096-ptr_max
PARAM_VALUE 0 dev->gadget.ep0->ep_list.prev 4096-ptr_max
PARAM_VALUE 0 dev->gadget.ep0->ep_list.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->gadget.ep0->ep_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->gadget.ep_list.next 4274940279759442048
PARAM_VALUE 0 dev->gadget.ep_list.next->next 4274940279759442048
PARAM_VALUE 0 dev->gadget.ep_list.prev 4274940279759442048
PARAM_VALUE 0 dev->gadget.ep_list.prev->next 4274940279759442048
PARAM_VALUE 0 dev->gadget.ep_list.prev->prev 4274940279759442048
PARAM_VALUE 0 dev->gadget.quirk_altset_not_supp 1
PARAM_VALUE 0 dev->gpiod 0,4096-ptr_max
PARAM_VALUE 0 dev->gpiod->debounce_period_us 0-4294967295
PARAM_VALUE 0 dev->irq 1-s32max
PARAM_VALUE 0 dev->pxa_ep 4096-ptr_max
PARAM_VALUE 0 dev->regs 4096-ptr_max
PARAM_VALUE 0 dev->transceiver 4096-ptr_max,(-19)
PARAM_VALUE 0 dev->transceiver->dev 4096-ptr_max
PARAM_VALUE 0 dev->transceiver->dev->driver 4096-ptr_max
PARAM_VALUE 0 dev->transceiver->dev->driver->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 dev->transceiver->dev->driver->owner->state 0-1,3-u32max
PARAM_VALUE 0 dev->transceiver->type 1
PARAM_VALUE 0 dev->udc_usb_ep 4096-ptr_max
PARAM_VALUE 0 dev->vbus_sensed 0
BUF_SIZE 0 dev 5256
BUF_SIZE 0 dev->clk (-1),1-s32max
BUF_SIZE 0 dev->dev 1616
BUF_SIZE 0 dev->gpiod s32min,(-1),1-s32max
BUF_SIZE 0 dev->irq s32min-(-1),1-s32max
CAPPED_DATA 0 dev->gpiod 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL