Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
sound/usb/midi.c snd_usbmidi_transmit_byte() -> snd_usbmidi_transmit_byte ptr output_packet()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | urb | 4096-ptr_max |
| PARAM_VALUE | 1 | p0 | 15,31-255 |
| PARAM_VALUE | 2 | p1 | 248-255 |
| PARAM_VALUE | 3 | p2 | 0 |
| PARAM_VALUE | 4 | p3 | 0 |
| DATA_SOURCE | 0 | urb | $2 |
| DATA_SOURCE | 2 | p1 | $1 |
| FUZZY_MAX | 2 | p1 | 248 |
| BIT_INFO | 1 | p0 | 0xf,0xff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | urb->num_mapped_sgs | |
| NO_OVERFLOW_SIMPLE | 0 | urb->transfer_buffer_length | |
| LOCK2 | &ep->buffer_lock | ||
| LOCK2 | irq | ||
| HALF_LOCKED2 | &umidi->disc_lock | ||
| TYPE_LOCK | (struct snd_usb_midi_out_endpoint)->buffer_lock |
sound/usb/midi.c snd_usbmidi_transmit_byte() -> snd_usbmidi_transmit_byte ptr output_packet()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | urb | 4096-ptr_max |
| PARAM_VALUE | 1 | p0 | 5,21-245 |
| PARAM_VALUE | 2 | p1 | 246 |
| PARAM_VALUE | 3 | p2 | 0 |
| PARAM_VALUE | 4 | p3 | 0 |
| DATA_SOURCE | 0 | urb | $2 |
| BIT_INFO | 1 | p0 | 0x5,0xff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | urb->num_mapped_sgs | |
| NO_OVERFLOW_SIMPLE | 0 | urb->transfer_buffer_length | |
| LOCK2 | &ep->buffer_lock | ||
| LOCK2 | irq | ||
| HALF_LOCKED2 | &umidi->disc_lock | ||
| TYPE_LOCK | (struct snd_usb_midi_out_endpoint)->buffer_lock |
sound/usb/midi.c snd_usbmidi_transmit_byte() -> snd_usbmidi_transmit_byte ptr output_packet()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | urb | 4096-ptr_max |
| PARAM_VALUE | 1 | p0 | 5,21-245 |
| PARAM_VALUE | 2 | p1 | 247 |
| PARAM_VALUE | 3 | p2 | 0 |
| PARAM_VALUE | 4 | p3 | 0 |
| DATA_SOURCE | 0 | urb | $2 |
| BIT_INFO | 1 | p0 | 0x5,0xff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | urb->num_mapped_sgs | |
| NO_OVERFLOW_SIMPLE | 0 | urb->transfer_buffer_length | |
| LOCK2 | &ep->buffer_lock | ||
| LOCK2 | irq | ||
| HALF_LOCKED2 | &umidi->disc_lock | ||
| TYPE_LOCK | (struct snd_usb_midi_out_endpoint)->buffer_lock |
sound/usb/midi.c snd_usbmidi_transmit_byte() -> snd_usbmidi_transmit_byte ptr output_packet()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | urb | 4096-ptr_max |
| PARAM_VALUE | 1 | p0 | 6,22-246 |
| PARAM_VALUE | 2 | p1 | 0-243 |
| PARAM_VALUE | 3 | p2 | 247 |
| PARAM_VALUE | 4 | p3 | 0 |
| DATA_SOURCE | 0 | urb | $2 |
| BIT_INFO | 1 | p0 | 0x6,0xff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | urb->num_mapped_sgs | |
| NO_OVERFLOW_SIMPLE | 0 | urb->transfer_buffer_length | |
| LOCK2 | &ep->buffer_lock | ||
| LOCK2 | irq | ||
| HALF_LOCKED2 | &umidi->disc_lock | ||
| TYPE_LOCK | (struct snd_usb_midi_out_endpoint)->buffer_lock |
sound/usb/midi.c snd_usbmidi_transmit_byte() -> snd_usbmidi_transmit_byte ptr output_packet()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | urb | 4096-ptr_max |
| PARAM_VALUE | 1 | p0 | 7,23-247 |
| PARAM_VALUE | 2 | p1 | 0-243 |
| PARAM_VALUE | 3 | p2 | 0-243 |
| PARAM_VALUE | 4 | p3 | 247 |
| DATA_SOURCE | 0 | urb | $2 |
| BIT_INFO | 1 | p0 | 0x7,0xff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | urb->num_mapped_sgs | |
| NO_OVERFLOW_SIMPLE | 0 | urb->transfer_buffer_length | |
| LOCK2 | &ep->buffer_lock | ||
| LOCK2 | irq | ||
| HALF_LOCKED2 | &umidi->disc_lock | ||
| TYPE_LOCK | (struct snd_usb_midi_out_endpoint)->buffer_lock |
sound/usb/midi.c snd_usbmidi_transmit_byte() -> snd_usbmidi_transmit_byte ptr output_packet()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | urb | 4096-ptr_max |
| PARAM_VALUE | 2 | p1 | 0-243 |
| PARAM_VALUE | 3 | p2 | 0-127 |
| PARAM_VALUE | 4 | p3 | 0 |
| DATA_SOURCE | 0 | urb | $2 |
| DATA_SOURCE | 3 | p2 | $1 |
| HARD_MAX | 3 | p2 | 127 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | urb->num_mapped_sgs | |
| NO_OVERFLOW_SIMPLE | 0 | urb->transfer_buffer_length | |
| LOCK2 | &ep->buffer_lock | ||
| LOCK2 | irq | ||
| HALF_LOCKED2 | &umidi->disc_lock | ||
| TYPE_LOCK | (struct snd_usb_midi_out_endpoint)->buffer_lock |
sound/usb/midi.c snd_usbmidi_transmit_byte() -> snd_usbmidi_transmit_byte ptr output_packet()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | urb | 4096-ptr_max |
| PARAM_VALUE | 2 | p1 | 0-243 |
| PARAM_VALUE | 3 | p2 | 0-243 |
| PARAM_VALUE | 4 | p3 | 0-127 |
| DATA_SOURCE | 0 | urb | $2 |
| DATA_SOURCE | 4 | p3 | $1 |
| HARD_MAX | 4 | p3 | 127 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | urb->num_mapped_sgs | |
| NO_OVERFLOW_SIMPLE | 0 | urb->transfer_buffer_length | |
| LOCK2 | &ep->buffer_lock | ||
| LOCK2 | irq | ||
| HALF_LOCKED2 | &umidi->disc_lock | ||
| TYPE_LOCK | (struct snd_usb_midi_out_endpoint)->buffer_lock |
sound/usb/midi.c snd_usbmidi_transmit_byte() -> snd_usbmidi_transmit_byte ptr output_packet()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | urb | 4096-ptr_max |
| PARAM_VALUE | 1 | p0 | 4,20-244 |
| PARAM_VALUE | 2 | p1 | 0-243 |
| PARAM_VALUE | 3 | p2 | 0-243 |
| PARAM_VALUE | 4 | p3 | 0-127 |
| DATA_SOURCE | 0 | urb | $2 |
| DATA_SOURCE | 4 | p3 | $1 |
| BIT_INFO | 1 | p0 | 0x4,0xff |
| HARD_MAX | 4 | p3 | 127 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | urb->num_mapped_sgs | |
| NO_OVERFLOW_SIMPLE | 0 | urb->transfer_buffer_length | |
| LOCK2 | &ep->buffer_lock | ||
| LOCK2 | irq | ||
| HALF_LOCKED2 | &umidi->disc_lock | ||
| TYPE_LOCK | (struct snd_usb_midi_out_endpoint)->buffer_lock |