Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 31 files:

Smatch caller information:

drivers/usb/atm/usbatm.c usbatm_usb_probe() -> usb_get_dev()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->ep_in 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

sound/usb/usx2y/us144mkii.c tascam_probe() -> usb_get_dev()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->actconfig 4096-ptr_max
PARAM_VALUE 0 dev->actconfig->desc.bNumInterfaces 1-255
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->state 0-7,9-u32max
PARAM_VALUE 0 *dev->toggle 0-4294967295
PARAM_VALUE 0 *dev->tt->hcpriv (-4611686018427387904)-4611686018427387903
CAPPED_DATA 0 dev 1
RX_PATH
TASK_NOT_RUNNING

drivers/usb/misc/adutux.c adu_probe() -> usb_get_dev()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/usb/misc/uss720.c uss720_probe() -> usb_get_dev()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/usb/class/usbtmc.c usbtmc_probe() -> usb_get_dev()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/usb/gadget/udc/dummy_hcd.c dummy_urb_enqueue() -> usb_get_dev()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->bus 4096-ptr_max
PARAM_VALUE 0 dev->can_submit 1
PARAM_VALUE 0 dev->parent 1-u64max
PARAM_VALUE 0 dev->state 4-u32max
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &dum_hcd->dum->lock
LOCK2 flags
TYPE_LOCK (struct dummy)->lock

drivers/usb/core/message.c usb_driver_set_configuration() -> usb_get_dev()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->actconfig 4096-ptr_max
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/core/message.c usb_set_configuration() -> usb_get_dev()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->bus 4096-ptr_max
PARAM_VALUE 0 dev->dev.power.request 0-4
PARAM_VALUE 0 dev->dev.power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 dev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 *dev->toggle 0-4294967295
CAPPED_DATA 0 dev 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 hcd->bandwidth_mutex
HALF_LOCKED2 &(sdev->udev)->dev.mutex
HALF_LOCKED2 &dev->dev.mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 0 &dev->dev.mutex

drivers/usb/misc/usblcd.c lcd_probe() -> usb_get_dev()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/usb/serial/usb-serial.c create_serial() -> usb_get_dev()

Type Parameter Key Value
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING

drivers/media/usb/uvc/uvc_driver.c uvc_probe() -> usb_get_dev()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/gpib/lpvo_usb_gpib/lpvo_usb_gpib.c lpvo_probe() -> usb_get_dev()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/usb/usbip/vhci_hcd.c vhci_urb_enqueue() -> usb_get_dev()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->bus 4096-ptr_max
PARAM_VALUE 0 dev->can_submit 1
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->parent 1-u64max
PARAM_VALUE 0 dev->portnum 0-8
PARAM_VALUE 0 dev->state 4-u32max
FUZZY_MAX 0 dev->state 7
PREEMPT_ADD <- disables preempt
LOCK2 &vhci->lock
LOCK2 flags
TYPE_LOCK (struct vhci)->lock

drivers/usb/usbip/vhci_hcd.c vhci_urb_enqueue() -> usb_get_dev()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->bus 4096-ptr_max
PARAM_VALUE 0 dev->can_submit 1
PARAM_VALUE 0 dev->parent 1-u64max
PARAM_VALUE 0 dev->portnum 0-8
PARAM_VALUE 0 dev->state 4-u32max
FUZZY_MAX 0 dev->state 7
PREEMPT_ADD <- disables preempt
LOCK2 &vhci->lock
LOCK2 flags
TYPE_LOCK (struct vhci)->lock

sound/usb/line6/driver.c line6_probe() -> usb_get_dev()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->descriptor.bNumConfigurations 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/misc/legousbtower.c tower_probe() -> usb_get_dev()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/mmc/host/vub300.c vub300_probe() -> usb_get_dev()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/usb/misc/sisusbvga/sisusbvga.c sisusb_probe() -> usb_get_dev()

Type Parameter Key Value
PARAM_VALUE 0 dev 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
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

sound/usb/caiaq/device.c create_card() -> usb_get_dev()

Type Parameter Key Value
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING

drivers/usb/core/hub.c hub_probe() -> usb_get_dev()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->actconfig 4096-ptr_max
PARAM_VALUE 0 dev->actconfig->desc.bNumInterfaces 0-1
PARAM_VALUE 0 dev->descriptor.bNumConfigurations 0-1
PARAM_VALUE 0 dev->dev.power.autosuspend_delay s32min-0
PARAM_VALUE 0 dev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->level 0-5,7-255
PARAM_VALUE 0 dev->parent 0
FUZZY_MAX 0 dev->actconfig->desc.bNumInterfaces 1
FUZZY_MAX 0 dev->descriptor.bNumConfigurations 1
FUZZY_MAX 0 dev->dev.power.autosuspend_delay 0
HARD_MAX 0 dev->actconfig->desc.bNumInterfaces 1
HARD_MAX 0 dev->descriptor.bNumConfigurations 1
HARD_MAX 0 dev->dev.power.autosuspend_delay 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/s2255/s2255drv.c s2255_probe() -> usb_get_dev()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/udlfb.c dlfb_usb_probe() -> usb_get_dev()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/media/usb/hdpvr/hdpvr-core.c hdpvr_probe() -> usb_get_dev()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/media/usb/em28xx/em28xx-cards.c em28xx_usb_probe() -> usb_get_dev()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/net/wireless/morsemicro/mm81x/usb.c mm81x_usb_probe() -> usb_get_dev()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/media/usb/as102/as102_usb_drv.c as102_usb_probe() -> usb_get_dev()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/usb/core/offload.c usb_offload_get() -> usb_get_dev()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->actconfig 4096-ptr_max
PARAM_VALUE 0 dev->actconfig->desc.bNumInterfaces 1-255
PARAM_VALUE 0 dev->bus 4096-ptr_max
CAPPED_DATA 0 dev->actconfig->desc.bNumInterfaces 1
DATA_SOURCE 0 dev $0
LOCK2 &pool->lock
LOCK2 _T->lock
LOCK2 global &qdev_mutex
HALF_LOCKED2 &txn->lock

drivers/usb/core/offload.c usb_offload_put() -> usb_get_dev()

Type Parameter Key Value
PARAM_VALUE 0 dev->dev.power.wakeirq->status 0-4294967295
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 _T->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &qdev_mutex

drivers/char/xillybus/xillyusb.c xillyusb_probe() -> usb_get_dev()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/usb/c67x00/c67x00-sched.c c67x00_ep_data_alloc() -> usb_get_dev()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->can_submit 1
PREEMPT_ADD
LOCK2 &c67x00->lock
LOCK2 flags
TYPE_LOCK (struct c67x00_hcd)->lock

drivers/usb/core/hcd.c usb_hcd_unlink_urb() -> usb_get_dev()

Type Parameter Key Value
PARAM_VALUE 0 dev 1-u64max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 global &hcd_urb_unlink_lock

drivers/usb/core/hcd.c usb_remove_hcd() -> usb_get_dev()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 global &companions_rwsem
HALF_LOCKED2 global &xenwatch_mutex

drivers/usb/misc/yurex.c yurex_probe() -> usb_get_dev()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING