Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

sound/usb/midi2.c free_midi2_endpoint() -> free_midi_urbs()

Type Parameter Key Value
PARAM_VALUE 0 ep 4096-ptr_max
PARAM_VALUE 0 ep->disconnected 1
DATA_SOURCE 0 ep $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock

sound/usb/midi2.c snd_usb_midi_v2_close() -> free_midi_urbs()

Type Parameter Key Value
PARAM_VALUE 0 ep 4096-ptr_max
PARAM_VALUE 0 ep->direction 0
PARAM_VALUE 0 ep->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ep->running.counter 0
PARAM_VALUE 0 ep->wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 ep->wait.head.prev->next->next 4096-ptr_max
CAPPED_DATA 0 ep->num_urbs 1
DATA_SOURCE 0 ep r ump_to_endpoint
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock

sound/usb/midi2.c snd_usb_midi_v2_open() -> free_midi_urbs()

Type Parameter Key Value
PARAM_VALUE 0 ep 4096-ptr_max
PARAM_VALUE 0 ep->dev->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 ep->dev->dev.class 0,4096-ptr_max
PARAM_VALUE 0 ep->dev->dev.driver 0,4096-ptr_max
PARAM_VALUE 0 ep->direction 0
PARAM_VALUE 0 ep->disconnected 0
PARAM_VALUE 0 ep->endpoint 1-u32max
PARAM_VALUE 0 ep->urb_free 0
PARAM_VALUE 0 ep->urb_free_mask 0
DATA_SOURCE 0 ep r ump_to_endpoint
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &rmidi->open_mutex
HALF_LOCKED2 _T->lock

sound/usb/midi2.c start_input_streams() -> free_midi_urbs()

Type Parameter Key Value
PARAM_VALUE 0 ep 4096-ptr_max
PARAM_VALUE 0 ep->dev->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 ep->dev->dev.class 0,4096-ptr_max
PARAM_VALUE 0 ep->dev->dev.driver 0,4096-ptr_max
PARAM_VALUE 0 ep->direction 1
CAPPED_DATA 0 &ep->list 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock