Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/mon/mon_main.c mon_submit() -> mon_bus_submit()

Type Parameter Key Value
PARAM_VALUE 0 mbus 1-u64max
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->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->status (-115)
PARAM_VALUE 1 urb->transfer_buffer_length 0-s32max
CAPPED_DATA 1 urb->interval 1
DATA_SOURCE 1 urb $1
FUZZY_MAX 1 urb->dev->state 7
BIT_INFO 1 urb->transfer_flags 0x0,0xff80ffff
NOCHECK_CALL

drivers/usb/mon/mon_main.c mon_submit() -> mon_bus_submit()

Type Parameter Key Value
PARAM_VALUE 0 mbus 1080095320743976960
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->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->status (-115)
PARAM_VALUE 1 urb->transfer_buffer_length 0-s32max
CAPPED_DATA 1 urb->interval 1
CAPPED_DATA 1 urb->transfer_buffer_length 1
DATA_SOURCE 1 urb $1
FUZZY_MAX 1 urb->dev->state 7
BIT_INFO 1 urb->transfer_flags 0x0,0xff80ffff
NOCHECK_CALL