Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/core/usb.c usb_find_common_endpoints() -> match_endpoint()

Type Parameter Key Value
PARAM_VALUE 1 bulk_in 0,4096-ptr_max
PARAM_VALUE 2 bulk_out 0,4096-ptr_max
PARAM_VALUE 3 int_in 0,4096-ptr_max
PARAM_VALUE 4 int_out 0,4096-ptr_max
PARAM_VALUE 4 *int_out 0,4096-ptr_max
BUF_SIZE 0 epd 9
DATA_SOURCE 1 bulk_in $1
DATA_SOURCE 2 bulk_out $2
DATA_SOURCE 3 int_in $3
DATA_SOURCE 4 int_out $4
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &hdev->req_lock

drivers/usb/core/usb.c usb_find_common_endpoints_reverse() -> match_endpoint()

Type Parameter Key Value
PARAM_VALUE 1 bulk_in 0,126000471869853696,4383244652625207296,5689139909478092800,7233545323226456064
PARAM_VALUE 1 *bulk_in 0,4096-ptr_max
PARAM_VALUE 2 bulk_out 0,3168123843743080448,5853963787596107776,6086937033990881280,7625736979708289024
PARAM_VALUE 2 *bulk_out 0,4096-ptr_max
PARAM_VALUE 3 int_in 0,4096-ptr_max
PARAM_VALUE 3 *int_in 0,4096-ptr_max
PARAM_VALUE 4 int_out 0,4096-ptr_max
PARAM_VALUE 4 *int_out 0,4096-ptr_max
BUF_SIZE 0 epd 9
DATA_SOURCE 1 bulk_in $1
DATA_SOURCE 2 bulk_out $2
DATA_SOURCE 3 int_in $3
DATA_SOURCE 4 int_out $4
RX_PATH
TASK_NOT_RUNNING