Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 6 files:
- drivers/usb/cdns3/cdns3-gadget.c, line 3269
- drivers/usb/cdns3/cdnsp-gadget.c
- drivers/usb/dwc3/gadget.c, line 4872
- drivers/usb/gadget/udc/cdns2/cdns2-gadget.c, line 2420
- drivers/usb/gadget/udc/core.c
- drivers/usb/gadget/udc/net2280.c, line 3582
Smatch caller information:
drivers/usb/cdns3/cdns3-gadget.c cdns3_gadget_exit() -> usb_del_gadget()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | gadget | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &cdns->mutex | ||
| HALF_LOCKED2 | &cdns->lock | ||
| HALF_LOCKED2 | &sw->lock | ||
| TYPE_LOCK | (struct cdns)->mutex |
drivers/usb/gadget/udc/net2280.c net2280_remove() -> usb_del_gadget()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | gadget | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/usb/cdns3/cdnsp-gadget.c __cdnsp_gadget_init() -> usb_del_gadget()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | gadget | 4096-ptr_max |
| PARAM_VALUE | 0 | gadget->dev.driver | 0 |
| PARAM_VALUE | 0 | gadget->dev.power.completion.done | u32max |
| PARAM_VALUE | 0 | gadget->dev.power.irq_safe | 0 |
| PARAM_VALUE | 0 | gadget->ep_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | gadget->ep_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | gadget->id_number | 0-s32max |
| PARAM_VALUE | 0 | gadget->lpm_capable | 1 |
| PARAM_VALUE | 0 | gadget->max_speed | 2-3,5-6 |
| PARAM_VALUE | 0 | gadget->name | 8025004263191318528 |
| PARAM_VALUE | 0 | gadget->ops | 3100265352244928512 |
| PARAM_VALUE | 0 | gadget->quirk_ep_out_aligned_size | 1 |
| PARAM_VALUE | 0 | gadget->sg_supported | 1 |
| PARAM_VALUE | 0 | gadget->speed | 0 |
| PARAM_VALUE | 0 | gadget->state | 0 |
| PARAM_VALUE | 0 | gadget->teardown | 0 |
| PARAM_VALUE | 0 | gadget->udc | 4096-ptr_max |
| TERMINATED | 0 | gadget->name | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | gadget->a_alt_hnp_support | 0-1 |
| HOST_DATA | 0 | gadget->a_hnp_support | 0-1 |
| HOST_DATA | 0 | gadget->b_hnp_enable | 0-1 |
| HOST_DATA | 0 | gadget->connected | 0-1 |
| HOST_DATA | 0 | gadget->deactivated | 0-1 |
| HOST_DATA | 0 | gadget->hnp_polling_support | 0-1 |
| HOST_DATA | 0 | gadget->host_request_flag | 0-1 |
| HOST_DATA | 0 | gadget->in_epnum | 0-u32max |
| HOST_DATA | 0 | gadget->irq | s32min-s32max |
| HOST_DATA | 0 | gadget->is_a_peripheral | 0-1 |
| HOST_DATA | 0 | gadget->is_otg | 0-1 |
| HOST_DATA | 0 | gadget->is_selfpowered | 0-1 |
| HOST_DATA | 0 | gadget->isoch_delay | 0-u32max |
| HOST_DATA | 0 | gadget->lpm_capable | 1 |
| HOST_DATA | 0 | gadget->mA | 0-u32max |
| HOST_DATA | 0 | gadget->max_speed | 2-3,5-6[c] |
| HOST_DATA | 0 | gadget->max_ssp_rate | 0-u32max |
| HOST_DATA | 0 | gadget->out_epnum | 0-u32max |
| HOST_DATA | 0 | gadget->quirk_altset_not_supp | 0-1 |
| HOST_DATA | 0 | gadget->quirk_avoids_skb_reserve | 0-1 |
| HOST_DATA | 0 | gadget->quirk_ep_out_aligned_size | 1 |
| HOST_DATA | 0 | gadget->quirk_stall_not_supp | 0-1 |
| HOST_DATA | 0 | gadget->quirk_zlp_not_supp | 0-1 |
| HOST_DATA | 0 | gadget->sg_supported | 1 |
| HOST_DATA | 0 | gadget->speed | 0 |
| HOST_DATA | 0 | gadget->ssp_rate | 0-u32max |
| HOST_DATA | 0 | gadget->wakeup_armed | 0-1 |
| HOST_DATA | 0 | gadget->wakeup_capable | 0-1 |
| HOST_DATA | 0 | gadget->work.data.counter | s64min-s64max |
| LOCK2 | &cdns->mutex | ||
| HALF_LOCKED2 | &cdns->lock | ||
| HALF_LOCKED2 | &sw->lock | ||
| TYPE_LOCK | (struct cdns)->mutex |
drivers/usb/cdns3/cdnsp-gadget.c cdnsp_gadget_exit() -> usb_del_gadget()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | gadget | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &cdns->mutex | ||
| HALF_LOCKED2 | &cdns->lock | ||
| HALF_LOCKED2 | &sw->lock | ||
| TYPE_LOCK | (struct cdns)->mutex |
drivers/usb/gadget/udc/cdns2/cdns2-gadget.c cdns2_gadget_remove() -> usb_del_gadget()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | gadget | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/usb/dwc3/gadget.c dwc3_gadget_exit() -> usb_del_gadget()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | gadget | 1-u64max |
| PARAM_VALUE | 0 | gadget->dev.dma_io_tlb_mem->can_grow | 0-1 |
| PARAM_VALUE | 0 | gadget->dev.dma_io_tlb_mem->debugfs | 0-s64max |
| PARAM_VALUE | 0 | gadget->dev.dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | gadget->dev.dma_io_tlb_mem->force_bounce | 0-1 |
| PARAM_VALUE | 0 | gadget->dev.dma_io_tlb_mem->nslabs | 0-s64max |
| PARAM_VALUE | 0 | gadget->dev.dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | gadget->dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | gadget->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | gadget->dev.power.wakeirq->status | 0-4294967295 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | gadget->max_ssp_rate | |
| HALF_LOCKED2 | &dwc->mutex |
drivers/usb/gadget/udc/core.c usb_del_gadget_udc() -> usb_del_gadget()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | gadget | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_dev->mutex | ||
| HALF_LOCKED2 | &dev->mutex |