Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 7 files:

Smatch caller information:

sound/usb/helper.c snd_usb_ctl_msg() -> usb_pipe_type_check()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
CAPPED_DATA 0 dev 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 pipe $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &seq->lock
HALF_LOCKED2 _T->lock

drivers/usb/core/urb.c usb_submit_urb() -> usb_pipe_type_check()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max

drivers/usb/core/urb.c usb_urb_ep_type_check() -> usb_pipe_type_check()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &hdw->ctl_lock_mutex
HALF_LOCKED2 &line6->line6midi->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 irq

drivers/input/tablet/pegasus_notetaker.c pegasus_probe() -> usb_pipe_type_check()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 pipe 0,128-u32max
BIT_INFO 1 pipe 0x40000080,0x7fffffff
RX_PATH
TASK_NOT_RUNNING

sound/usb/quirks.c snd_usb_accessmusic_boot_quirk() -> usb_pipe_type_check()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 pipe 0,1073741824-u32max
DATA_SOURCE 0 dev $0
BIT_INFO 1 pipe 0x40028000,0xffffffff
RX_PATH
TASK_NOT_RUNNING

sound/usb/quirks.c snd_usb_motu_microbookii_communicate() -> usb_pipe_type_check()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 pipe 0,1073741824-u32max
DATA_SOURCE 0 dev $0
BIT_INFO 1 pipe 0x40008000,0xffffffff
RX_PATH
TASK_NOT_RUNNING

sound/usb/quirks.c snd_usb_motu_microbookii_communicate() -> usb_pipe_type_check()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 pipe 0,128-u32max
DATA_SOURCE 0 dev $0
BIT_INFO 1 pipe 0x40410080,0xffffffff
RX_PATH
TASK_NOT_RUNNING

sound/usb/mixer_scarlett2.c scarlett2_init_notify() -> usb_pipe_type_check()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 pipe 0,128-u32max
BIT_INFO 1 pipe 0x40000080,0xffffffff
RX_PATH
TASK_NOT_RUNNING

sound/usb/mixer_scarlett2.c scarlett2_usb_init() -> usb_pipe_type_check()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 pipe 0,2147483648-u32max
BIT_INFO 1 pipe 0xffffffff80000000,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 _T->lock

drivers/char/xillybus/xillyusb.c setup_channels() -> usb_pipe_type_check()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 pipe 0,1073741824-u32max
BIT_INFO 1 pipe 0xffffffffc0000000,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING

drivers/char/xillybus/xillyusb.c xillyusb_setup_base_eps() -> usb_pipe_type_check()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 pipe 0,1073741824-u32max
BIT_INFO 1 pipe 0xffffffffc0008000,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING

drivers/char/xillybus/xillyusb.c xillyusb_setup_base_eps() -> usb_pipe_type_check()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 pipe 0,128-u32max
BIT_INFO 1 pipe 0xffffffffc0008080,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING

sound/usb/fcp.c fcp_init_notify() -> usb_pipe_type_check()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 pipe 0,128-u32max
BIT_INFO 1 pipe 0x40000080,0xffffffff
RX_PATH
TASK_NOT_RUNNING
LOCK2 _T->lock

sound/usb/fcp.c fcp_ioctl_init() -> usb_pipe_type_check()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 pipe 0,2147483648-u32max
BIT_INFO 1 pipe 0xffffffff80000000,0xffffffffffffffff
LOCK2 _T->lock