Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/usb/host/oxu210hp-hcd.c oxu_urb_enqueue() -> __oxu_urb_enqueue()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hcd | 4096-ptr_max |
| PARAM_VALUE | 0 | hcd->driver | 4096-ptr_max |
| PARAM_VALUE | 0 | hcd->self.mon_bus->cnt_events | 0-4294967295 |
| PARAM_VALUE | 0 | hcd->self.mon_bus->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hcd->self.sysdev->dma_io_tlb_pools.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hcd->self.sysdev->dma_io_tlb_pools.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | urb | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->actual_length | 0 |
| PARAM_VALUE | 1 | urb->complete | 1-u64max |
| PARAM_VALUE | 1 | urb->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->dev->bus | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->dev->parent | 1-u64max |
| PARAM_VALUE | 1 | urb->dev->state | 4-u32max |
| PARAM_VALUE | 1 | urb->ep | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->hcpriv | 0 |
| PARAM_VALUE | 1 | urb->interval | s32min-32768 |
| PARAM_VALUE | 1 | urb->num_mapped_sgs | 0-s32max |
| PARAM_VALUE | 1 | urb->setup_packet | 1-u64max |
| PARAM_VALUE | 1 | urb->status | (-115) |
| PARAM_VALUE | 1 | urb->transfer_buffer_length | 0-s32max |
| CAPPED_DATA | 0 | hcd | 1 |
| CAPPED_DATA | 1 | urb->interval | 1 |
| CAPPED_DATA | 1 | urb->transfer_buffer_length | 1 |
| DATA_SOURCE | 0 | hcd | $0 |
| DATA_SOURCE | 1 | urb | $1 |
| DATA_SOURCE | 2 | mem_flags | $2 |
| FUZZY_MAX | 1 | urb->dev->state | 7 |
drivers/usb/host/oxu210hp-hcd.c oxu_urb_enqueue() -> __oxu_urb_enqueue()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hcd | 4096-ptr_max |
| PARAM_VALUE | 0 | hcd->driver | 4096-ptr_max |
| PARAM_VALUE | 0 | hcd->self.mon_bus->cnt_events | 0-4294967295 |
| PARAM_VALUE | 0 | hcd->self.mon_bus->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hcd->self.sysdev->dma_io_tlb_pools.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hcd->self.sysdev->dma_io_tlb_pools.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | urb | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->actual_length | 0 |
| PARAM_VALUE | 1 | urb->complete | 1-u64max |
| PARAM_VALUE | 1 | urb->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->dev->bus | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->dev->parent | 1-u64max |
| PARAM_VALUE | 1 | urb->dev->state | 4-u32max |
| PARAM_VALUE | 1 | urb->ep | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->hcpriv | 0 |
| PARAM_VALUE | 1 | urb->interval | s32min-32768 |
| PARAM_VALUE | 1 | urb->num_mapped_sgs | 0-s32max |
| PARAM_VALUE | 1 | urb->setup_packet | 1-u64max |
| PARAM_VALUE | 1 | urb->status | (-115) |
| PARAM_VALUE | 1 | urb->transfer_buffer_length | 0-s32max |
| CAPPED_DATA | 0 | hcd | 1 |
| CAPPED_DATA | 1 | urb->interval | 1 |
| CAPPED_DATA | 1 | urb->transfer_buffer_length | 1 |
| DATA_SOURCE | 0 | hcd | $0 |
| DATA_SOURCE | 1 | urb | $1 |
| DATA_SOURCE | 2 | mem_flags | $2 |
| FUZZY_MAX | 1 | urb->dev->state | 7 |
drivers/usb/host/oxu210hp-hcd.c oxu_urb_enqueue() -> __oxu_urb_enqueue()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hcd | 4096-ptr_max |
| PARAM_VALUE | 0 | hcd->driver | 4096-ptr_max |
| PARAM_VALUE | 0 | hcd->hcd_priv->mem_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hcd->self.mon_bus->cnt_events | 0-4294967295 |
| PARAM_VALUE | 0 | hcd->self.mon_bus->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hcd->self.sysdev->dma_io_tlb_pools.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hcd->self.sysdev->dma_io_tlb_pools.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | *hcd->hcd_priv->murb_used | 0-255 |
| PARAM_VALUE | 1 | urb | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->actual_length | 0 |
| PARAM_VALUE | 1 | urb->complete | 0 |
| PARAM_VALUE | 1 | urb->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->ep | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->hcpriv | 0,4096-ptr_max |
| PARAM_VALUE | 1 | urb->interval | s32min-32768 |
| PARAM_VALUE | 1 | urb->last | 0 |
| PARAM_VALUE | 1 | urb->main | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->main->actual_length | 0 |
| PARAM_VALUE | 1 | urb->main->complete | 1-u64max |
| PARAM_VALUE | 1 | urb->main->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->main->ep | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->main->hcpriv | 0 |
| PARAM_VALUE | 1 | urb->main->interval | s32min-32768 |
| PARAM_VALUE | 1 | urb->main->num_mapped_sgs | 0-s32max |
| PARAM_VALUE | 1 | urb->main->setup_packet | 1-u64max |
| PARAM_VALUE | 1 | urb->main->status | (-115) |
| PARAM_VALUE | 1 | urb->main->transfer_buffer_length | 0-s32max |
| PARAM_VALUE | 1 | urb->num_mapped_sgs | 0-s32max |
| PARAM_VALUE | 1 | urb->setup_packet | 1-u64max |
| PARAM_VALUE | 1 | urb->status | (-115) |
| PARAM_VALUE | 1 | urb->transfer_buffer_length | 4096 |
| CAPPED_DATA | 0 | hcd | 1 |
| CAPPED_DATA | 1 | urb->interval | 1 |
| CAPPED_DATA | 1 | urb->main->interval | 1 |
| CAPPED_DATA | 1 | urb->main->transfer_buffer_length | 1 |
| DATA_SOURCE | 0 | hcd | $0 |
| DATA_SOURCE | 1 | urb | r oxu_murb_alloc |
| DATA_SOURCE | 2 | mem_flags | $2 |
| HOST_DATA | 0 | hcd->hcd_priv->next_uframe | s32min-s32max |
drivers/usb/host/oxu210hp-hcd.c oxu_urb_enqueue() -> __oxu_urb_enqueue()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hcd | 4096-ptr_max |
| PARAM_VALUE | 0 | hcd->driver | 4096-ptr_max |
| PARAM_VALUE | 0 | hcd->hcd_priv->mem_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hcd->self.mon_bus->cnt_events | 0-4294967295 |
| PARAM_VALUE | 0 | hcd->self.mon_bus->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hcd->self.sysdev->dma_io_tlb_pools.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hcd->self.sysdev->dma_io_tlb_pools.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | *hcd->hcd_priv->murb_used | 0-255 |
| PARAM_VALUE | 1 | urb | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->actual_length | 0 |
| PARAM_VALUE | 1 | urb->complete | 0 |
| PARAM_VALUE | 1 | urb->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->ep | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->hcpriv | 0,4096-ptr_max |
| PARAM_VALUE | 1 | urb->interval | s32min-32768 |
| PARAM_VALUE | 1 | urb->last | 1 |
| PARAM_VALUE | 1 | urb->main | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->main->actual_length | 0 |
| PARAM_VALUE | 1 | urb->main->complete | 1-u64max |
| PARAM_VALUE | 1 | urb->main->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->main->ep | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->main->hcpriv | 0 |
| PARAM_VALUE | 1 | urb->main->interval | s32min-32768 |
| PARAM_VALUE | 1 | urb->main->num_mapped_sgs | 0-s32max |
| PARAM_VALUE | 1 | urb->main->setup_packet | 1-u64max |
| PARAM_VALUE | 1 | urb->main->status | (-115) |
| PARAM_VALUE | 1 | urb->main->transfer_buffer_length | 0-s32max |
| PARAM_VALUE | 1 | urb->num_mapped_sgs | 0-s32max |
| PARAM_VALUE | 1 | urb->setup_packet | 1-u64max |
| PARAM_VALUE | 1 | urb->status | (-115) |
| PARAM_VALUE | 1 | urb->transfer_buffer_length | 1-4096 |
| CAPPED_DATA | 0 | hcd | 1 |
| CAPPED_DATA | 1 | urb->interval | 1 |
| CAPPED_DATA | 1 | urb->main->interval | 1 |
| CAPPED_DATA | 1 | urb->main->transfer_buffer_length | 1 |
| CAPPED_DATA | 1 | urb->transfer_buffer_length | 1 |
| DATA_SOURCE | 0 | hcd | $0 |
| DATA_SOURCE | 1 | urb | r oxu_murb_alloc |
| DATA_SOURCE | 2 | mem_flags | $2 |
| FUZZY_MAX | 1 | urb->transfer_buffer_length | 4096 |
| HOST_DATA | 0 | hcd->hcd_priv->next_uframe | s32min-s32max |