Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/gadget/function/f_midi2.c f_midi2_alloc() -> fill_midi1_cable_mapping()

Type Parameter Key Value
PARAM_VALUE 0 midi2 4096-ptr_max
PARAM_VALUE 1 ep 4096-ptr_max
PARAM_VALUE 1 ep->blks 4096-ptr_max
PARAM_VALUE 2 blk 0-s32max
BUF_SIZE 0 midi2 10856
BUF_SIZE 0 midi2->func.name 11
BUF_SIZE 0 midi2->string_defs 0-68719476720
CAPPED_DATA 0 midi2->num_eps 1
CAPPED_DATA 2 blk 1
DATA_SOURCE 0 midi2 r _kzalloc_noprof
FUZZY_MAX 2 blk 0
STR_LEN 0 midi2->func.name 10
STR_LEN 1 ep->card->func.name (-1)
PARAM_COMPARE 2 blk < $1->num_blks
TERMINATED 0 midi2->func.name 1
TERMINATED 1 ep->card->func.name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dir->i_rwsem
HALF_LOCKED2 &gi->lock