Defined in 1 files as a member:

Defined in 1 files as a function:

Referenced in 33 files:

Smatch caller information:

drivers/usb/core/hcd.c usb_hcd_submit_urb() -> (struct hc_driver)->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 r bus_to_hcd
DATA_SOURCE 1 urb $0
DATA_SOURCE 2 mem_flags $1
FUZZY_MAX 1 urb->dev->state 7
CONTAINER 0 -104-568+0 $(-1)

Smatch assignments to (struct hc_driver)->urb_enqueue:

drivers/usb/isp1760/isp1760-hcd.c (null)() -> (struct hc_driver)->urb_enqueue [6361665013817683968]

drivers/usb/chipidea/host.c (null)() -> (struct hc_driver)->urb_enqueue [0]

drivers/usb/chipidea/host.c ci_hdrc_host_driver_init() -> (struct hc_driver)->urb_enqueue [min-max]

drivers/usb/host/ehci-spear.c (null)() -> (struct hc_driver)->urb_enqueue [0]

drivers/usb/host/ehci-spear.c ehci_spear_init() -> (struct hc_driver)->urb_enqueue [min-max]

drivers/usb/host/ehci-atmel.c (null)() -> (struct hc_driver)->urb_enqueue [0]

drivers/usb/host/ehci-atmel.c ehci_atmel_init() -> (struct hc_driver)->urb_enqueue [min-max]

drivers/usb/host/max3421-hcd.c (null)() -> (struct hc_driver)->urb_enqueue [2279432858450378752]

drivers/usb/host/uhci-hcd.c (null)() -> (struct hc_driver)->urb_enqueue [1244968185339240448]

drivers/usb/gadget/udc/dummy_hcd.c (null)() -> (struct hc_driver)->urb_enqueue [2725528700735578112]

drivers/usb/host/ohci-nxp.c (null)() -> (struct hc_driver)->urb_enqueue [0]

drivers/usb/host/ohci-nxp.c ohci_nxp_init() -> (struct hc_driver)->urb_enqueue [min-max]

drivers/usb/host/ehci-pci.c (null)() -> (struct hc_driver)->urb_enqueue [0]

drivers/usb/host/ehci-pci.c ehci_pci_init() -> (struct hc_driver)->urb_enqueue [min-max]

drivers/usb/host/isp116x-hcd.c (null)() -> (struct hc_driver)->urb_enqueue [6826203930006355968]

drivers/staging/greybus/usb.c (null)() -> (struct hc_driver)->urb_enqueue [1200299399556771840]

drivers/usb/host/xhci-mtk.c (null)() -> (struct hc_driver)->urb_enqueue [0]

drivers/usb/host/xhci-mtk.c xhci_mtk_init() -> (struct hc_driver)->urb_enqueue [min-max]

drivers/usb/host/ehci-hcd.c (null)() -> (struct hc_driver)->urb_enqueue [1579747857621807104]

drivers/usb/usbip/vhci_hcd.c (null)() -> (struct hc_driver)->urb_enqueue [210662577309245440]

drivers/usb/host/ehci-orion.c (null)() -> (struct hc_driver)->urb_enqueue [0]

drivers/usb/host/ehci-orion.c ehci_orion_init() -> (struct hc_driver)->urb_enqueue [min-max]

drivers/usb/host/xhci-histb.c (null)() -> (struct hc_driver)->urb_enqueue [0]

drivers/usb/host/xhci-histb.c xhci_histb_init() -> (struct hc_driver)->urb_enqueue [min-max]

drivers/usb/host/xhci-pci.c (null)() -> (struct hc_driver)->urb_enqueue [0]

drivers/usb/host/xhci-pci.c xhci_pci_init() -> (struct hc_driver)->urb_enqueue [min-max]

drivers/usb/host/ohci-pci.c (null)() -> (struct hc_driver)->urb_enqueue [0]

drivers/usb/host/ohci-pci.c ohci_pci_init() -> (struct hc_driver)->urb_enqueue [min-max]

drivers/usb/fotg210/fotg210-hcd.c (null)() -> (struct hc_driver)->urb_enqueue [2178992634250211328]

drivers/usb/host/ohci-s3c2410.c (null)() -> (struct hc_driver)->urb_enqueue [0]

drivers/usb/host/ohci-s3c2410.c ohci_s3c2410_init() -> (struct hc_driver)->urb_enqueue [min-max]

drivers/usb/host/ehci-npcm7xx.c (null)() -> (struct hc_driver)->urb_enqueue [0]

drivers/usb/host/ehci-npcm7xx.c ehci_npcm7xx_init() -> (struct hc_driver)->urb_enqueue [min-max]

drivers/usb/host/oxu210hp-hcd.c (null)() -> (struct hc_driver)->urb_enqueue [0,1647180006311223296]

drivers/usb/host/sl811-hcd.c (null)() -> (struct hc_driver)->urb_enqueue [1917118215063556096]

drivers/usb/dwc2/hcd.c (null)() -> (struct hc_driver)->urb_enqueue [175241968135409664]

drivers/usb/host/xhci.c (null)() -> (struct hc_driver)->urb_enqueue [3493498851417268224]

drivers/usb/host/ehci-brcm.c (null)() -> (struct hc_driver)->urb_enqueue [0]

drivers/usb/host/ehci-brcm.c ehci_brcm_init() -> (struct hc_driver)->urb_enqueue [min-max]

drivers/usb/host/ehci-exynos.c (null)() -> (struct hc_driver)->urb_enqueue [0]

drivers/usb/host/ehci-exynos.c ehci_exynos_init() -> (struct hc_driver)->urb_enqueue [min-max]

drivers/usb/host/ohci-exynos.c (null)() -> (struct hc_driver)->urb_enqueue [0]

drivers/usb/host/ohci-exynos.c ohci_exynos_init() -> (struct hc_driver)->urb_enqueue [min-max]

drivers/usb/host/ohci-da8xx.c (null)() -> (struct hc_driver)->urb_enqueue [0]

drivers/usb/host/ohci-da8xx.c ohci_da8xx_init() -> (struct hc_driver)->urb_enqueue [min-max]

drivers/usb/musb/musb_host.c (null)() -> (struct hc_driver)->urb_enqueue [1495747276000497664]

drivers/usb/host/ohci-platform.c (null)() -> (struct hc_driver)->urb_enqueue [0]

drivers/usb/host/ohci-platform.c ohci_platform_init() -> (struct hc_driver)->urb_enqueue [min-max]

drivers/usb/host/ehci-mv.c (null)() -> (struct hc_driver)->urb_enqueue [0]

drivers/usb/host/ehci-mv.c ehci_platform_init() -> (struct hc_driver)->urb_enqueue [min-max]

drivers/usb/host/xen-hcd.c (null)() -> (struct hc_driver)->urb_enqueue [4202214714472062976]

drivers/usb/host/ohci-hcd.c (null)() -> (struct hc_driver)->urb_enqueue [7534766399716904960]

drivers/usb/host/ohci-st.c (null)() -> (struct hc_driver)->urb_enqueue [0]

drivers/usb/host/ohci-st.c ohci_platform_init() -> (struct hc_driver)->urb_enqueue [min-max]

drivers/usb/host/ohci-at91.c (null)() -> (struct hc_driver)->urb_enqueue [0]

drivers/usb/host/ohci-at91.c ohci_at91_init() -> (struct hc_driver)->urb_enqueue [min-max]

drivers/usb/host/r8a66597-hcd.c (null)() -> (struct hc_driver)->urb_enqueue [4590248494745522176]

drivers/usb/host/ehci-omap.c (null)() -> (struct hc_driver)->urb_enqueue [0]

drivers/usb/host/ehci-omap.c ehci_omap_init() -> (struct hc_driver)->urb_enqueue [min-max]

drivers/usb/host/ehci-fsl.c (null)() -> (struct hc_driver)->urb_enqueue [0]

drivers/usb/host/ehci-fsl.c ehci_fsl_init() -> (struct hc_driver)->urb_enqueue [min-max]

drivers/usb/c67x00/c67x00-hcd.c (null)() -> (struct hc_driver)->urb_enqueue [4707608863972892672]

drivers/usb/host/xhci-plat.c (null)() -> (struct hc_driver)->urb_enqueue [0]

drivers/usb/host/xhci-plat.c xhci_plat_init() -> (struct hc_driver)->urb_enqueue [min-max]

drivers/usb/renesas_usbhs/mod_host.c (null)() -> (struct hc_driver)->urb_enqueue [5837056569917542400]

drivers/usb/host/ehci-st.c (null)() -> (struct hc_driver)->urb_enqueue [0]

drivers/usb/host/ehci-st.c ehci_platform_init() -> (struct hc_driver)->urb_enqueue [min-max]

drivers/usb/host/ohci-spear.c (null)() -> (struct hc_driver)->urb_enqueue [0]

drivers/usb/host/ohci-spear.c ohci_spear_init() -> (struct hc_driver)->urb_enqueue [min-max]

drivers/usb/host/ehci-platform.c (null)() -> (struct hc_driver)->urb_enqueue [0]

drivers/usb/host/ehci-platform.c ehci_platform_init() -> (struct hc_driver)->urb_enqueue [min-max]