Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/core/devio.c async_completed() -> snoop_urb()

Type Parameter Key Value
PARAM_VALUE 5 when 1
PARAM_VALUE 6 data 0
PARAM_VALUE 7 data_len 0
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
UNITS 3 length unit_byte
LOCK2 &ps->lock
LOCK2 flags
TYPE_LOCK (struct usb_dev_state)->lock

drivers/usb/core/devio.c do_proc_bulk() -> snoop_urb()

Type Parameter Key Value
PARAM_VALUE 0 udev 4096-ptr_max
PARAM_VALUE 0 udev->state 7
PARAM_VALUE 1 userurb 0
PARAM_VALUE 2 pipe s32min-0,128-s32max
PARAM_VALUE 3 length 0-4000000
PARAM_VALUE 5 when 0
PARAM_VALUE 6 data 0
PARAM_VALUE 7 data_len 0
BIT_INFO 2 pipe 0x40000000,0xffffffff
NOCHECK_CALL
USER_DATA 3 length 0-4000000
USER_DATA 4 timeout_or_status s32min-s32max
UNITS 3 length unit_byte
LOCK2 &dev->dev.mutex
TYPE_LOCK (struct device)->mutex

drivers/usb/core/devio.c do_proc_bulk() -> snoop_urb()

Type Parameter Key Value
PARAM_VALUE 0 udev 4096-ptr_max
PARAM_VALUE 0 udev->state 4-u32max
PARAM_VALUE 1 userurb 0
PARAM_VALUE 2 pipe s32min-0,128-s32max
PARAM_VALUE 3 length 0-s32max
PARAM_VALUE 5 when 1
PARAM_VALUE 6 data 16,4096-ptr_max
PARAM_VALUE 7 data_len 0-s32max
BUF_SIZE 6 data 0-2147483454
BUF_SIZE 6 data 0-2147483454
DATA_SOURCE 4 timeout_or_status r usbfs_start_wait_urb
DATA_SOURCE 6 data r _kmalloc_noprof
BIT_INFO 2 pipe 0x40000000,0xffffffff
NOCHECK_CALL
LOCK2 &dev->dev.mutex
LOCK2 0 &udev->dev.mutex
TYPE_LOCK (struct device)->mutex

drivers/usb/core/devio.c do_proc_bulk() -> snoop_urb()

Type Parameter Key Value
PARAM_VALUE 0 udev 4096-ptr_max
PARAM_VALUE 0 udev->state 7
PARAM_VALUE 1 userurb 0
PARAM_VALUE 2 pipe s32min-0,1073741824-s32max
PARAM_VALUE 3 length 0-4000000
PARAM_VALUE 5 when 0
PARAM_VALUE 6 data 16,4096-ptr_max
PARAM_VALUE 7 data_len 0-4000000
BUF_SIZE 6 data 0-2147483454
BUF_SIZE 6 data 0-2147483454
CAPPED_DATA 3 length 1
CAPPED_DATA 7 data_len 1
DATA_SOURCE 6 data r _kmalloc_noprof
BIT_INFO 2 pipe 0x40000000,0xffffffff
NOCHECK_CALL
USER_DATA 3 length 0-4000000[c]
USER_DATA 4 timeout_or_status s32min-s32max
USER_DATA 6 *data 0-255
USER_DATA 7 data_len 0-4000000[c]
UNITS 3 length unit_byte
UNITS 7 data_len unit_byte
USER_PTR 6 data
LOCK2 &dev->dev.mutex
TYPE_LOCK (struct device)->mutex

drivers/usb/core/devio.c do_proc_bulk() -> snoop_urb()

Type Parameter Key Value
PARAM_VALUE 0 udev 4096-ptr_max
PARAM_VALUE 0 udev->state 4-u32max
PARAM_VALUE 1 userurb 0
PARAM_VALUE 2 pipe s32min-0,1073741824-s32max
PARAM_VALUE 3 length 0-s32max
PARAM_VALUE 5 when 1
PARAM_VALUE 6 data 0
PARAM_VALUE 7 data_len 0
DATA_SOURCE 4 timeout_or_status r usbfs_start_wait_urb
BIT_INFO 2 pipe 0x40000000,0xffffffff
NOCHECK_CALL
LOCK2 &dev->dev.mutex
LOCK2 0 &udev->dev.mutex
TYPE_LOCK (struct device)->mutex

drivers/usb/core/devio.c do_proc_control() -> snoop_urb()

Type Parameter Key Value
PARAM_VALUE 0 udev 4096-ptr_max
PARAM_VALUE 0 udev->state 4,6-7
PARAM_VALUE 1 userurb 0
PARAM_VALUE 2 pipe s32min-0,128-s32max
PARAM_VALUE 3 length 1-4096
PARAM_VALUE 5 when 0
PARAM_VALUE 6 data 0
PARAM_VALUE 7 data_len 0
NOCHECK_CALL
USER_DATA 3 length 1-4096
USER_DATA 4 timeout_or_status s32min-s32max
UNITS 3 length unit_byte
LOCK2 &dev->dev.mutex
TYPE_LOCK (struct device)->mutex

drivers/usb/core/devio.c do_proc_control() -> snoop_urb()

Type Parameter Key Value
PARAM_VALUE 0 udev 4096-ptr_max
PARAM_VALUE 0 udev->state 4-u32max
PARAM_VALUE 1 userurb 0
PARAM_VALUE 2 pipe s32min-0,128-s32max
PARAM_VALUE 3 length 0-s32max
PARAM_VALUE 5 when 1
PARAM_VALUE 6 data 18379471554275704832,18446612682070032384
PARAM_VALUE 7 data_len 0-s32max
DATA_SOURCE 4 timeout_or_status r usbfs_start_wait_urb
DATA_SOURCE 6 data r get_free_pages_noprof
BIT_INFO 0 udev->quirks 0x0,0xffffffff
NOCHECK_CALL
LOCK2 &dev->dev.mutex
LOCK2 0 &udev->dev.mutex
TYPE_LOCK (struct device)->mutex

drivers/usb/core/devio.c do_proc_control() -> snoop_urb()

Type Parameter Key Value
PARAM_VALUE 0 udev 4096-ptr_max
PARAM_VALUE 0 udev->state 4,6-7
PARAM_VALUE 1 userurb 0
PARAM_VALUE 2 pipe s32min-0
PARAM_VALUE 3 length 0-4096
PARAM_VALUE 5 when 0
PARAM_VALUE 6 data 18379471554275704832,18446612682070032384
PARAM_VALUE 7 data_len 0-4096
CAPPED_DATA 3 length 1
CAPPED_DATA 7 data_len 1
DATA_SOURCE 6 data r get_free_pages_noprof
NOCHECK_CALL
USER_DATA 3 length 0-4096[c]
USER_DATA 4 timeout_or_status s32min-s32max
USER_DATA 6 *data 0-255
USER_DATA 7 data_len 0-4096[c]
UNITS 3 length unit_byte
UNITS 7 data_len unit_byte
USER_PTR 6 data
LOCK2 &dev->dev.mutex
TYPE_LOCK (struct device)->mutex

drivers/usb/core/devio.c do_proc_control() -> snoop_urb()

Type Parameter Key Value
PARAM_VALUE 0 udev 4096-ptr_max
PARAM_VALUE 0 udev->state 4-u32max
PARAM_VALUE 1 userurb 0
PARAM_VALUE 2 pipe s32min-0
PARAM_VALUE 3 length 0-s32max
PARAM_VALUE 5 when 1
PARAM_VALUE 6 data 0
PARAM_VALUE 7 data_len 0
DATA_SOURCE 4 timeout_or_status r usbfs_start_wait_urb
BIT_INFO 0 udev->quirks 0x0,0xffffffff
NOCHECK_CALL
LOCK2 &dev->dev.mutex
LOCK2 0 &udev->dev.mutex
TYPE_LOCK (struct device)->mutex