Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/early/ehci-dbgp.c _dbgp_external_startup() -> dbgp_bulk_write()

Type Parameter Key Value
PARAM_VALUE 0 devnum 127
PARAM_VALUE 1 endpoint 0-255
PARAM_VALUE 2 bytes 4274302372899520512
PARAM_VALUE 3 size 1
BUF_SIZE 2 bytes 2
STR_LEN 0 devnum 1
TERMINATED 2 bytes 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 1 endpoint unit_array_size

drivers/usb/early/ehci-dbgp.c early_dbgp_write() -> dbgp_bulk_write()

Type Parameter Key Value
PARAM_VALUE 0 devnum 127
PARAM_VALUE 2 bytes 4096-ptr_max
PARAM_VALUE 3 size 1-s32max
BUF_SIZE 2 bytes 8
FUZZY_MAX 3 size 8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags