Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
sound/usb/line6/driver.c line6_async_request_sent() -> line6_send_raw_message_async_part()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | msg | 4096-ptr_max |
| PARAM_VALUE | 0 | msg->done | s32min-2147483646 |
| PARAM_VALUE | 0 | msg->size | (-2147483647)-s32max |
| PARAM_VALUE | 1 | urb | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->anchor | 0 |
| PARAM_VALUE | 1 | urb->context | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->dev->bus | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->hcpriv | 0 |
| PARAM_VALUE | 1 | urb->iso_frame_desc->actual_length | 0-4294967295 |
| PARAM_VALUE | 1 | urb->setup_dma | 0 |
| PARAM_VALUE | 1 | urb->setup_packet | 0-255 |
| PARAM_VALUE | 1 | urb->transfer_buffer->_refcount.counter | s32min-s32max |
| PARAM_VALUE | 1 | urb->transfer_buffer->memcg_data | 0 |
| PARAM_VALUE | 1 | urb->transfer_buffer->page_type | 0-4294967295 |
| PARAM_VALUE | 1 | urb->transfer_dma | 0 |
| BUF_SIZE | 0 | msg | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | msg | s32min-(-1),1-s32max |
| BUF_SIZE | 1 | urb->context | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | msg->done | 1 |
| CAPPED_DATA | 1 | urb | 1 |
| DATA_SOURCE | 1 | urb | $0 |
| PARAM_COMPARE | 0 | msg->done | < $0->size |
| NOSPEC | 1 | urb->transfer_buffer_length | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | urb->start_frame | 0-s32max |
| USER_DATA | 1 | urb->actual_length | 0-u32max[c][u] |
| USER_DATA | 1 | urb->transfer_buffer_length | 1-s32max |
| NO_OVERFLOW_SIMPLE | 1 | urb->actual_length | |
| NO_OVERFLOW_SIMPLE | 1 | urb->num_mapped_sgs | |
| NO_OVERFLOW_SIMPLE | 1 | urb->setup_dma | |
| NO_OVERFLOW_SIMPLE | 1 | urb->sg->length | |
| NO_OVERFLOW_SIMPLE | 1 | urb->transfer_buffer | |
| NO_OVERFLOW_SIMPLE | 1 | urb->transfer_dma | |
| UNITS | 0 | msg | unit_byte |
| HALF_LOCKED2 | &pool->lock |
sound/usb/line6/driver.c line6_send_raw_message_async() -> line6_send_raw_message_async_part()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | msg | 4096-ptr_max |
| PARAM_VALUE | 0 | msg->buffer | 1-u64max |
| PARAM_VALUE | 0 | msg->done | 0 |
| PARAM_VALUE | 0 | msg->line6 | 4096-ptr_max |
| PARAM_VALUE | 0 | msg->size | 6,9 |
| PARAM_VALUE | 1 | urb | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->actual_length | 0 |
| PARAM_VALUE | 1 | urb->anchor | 0 |
| PARAM_VALUE | 1 | urb->anchor_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->anchor_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->anchor_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->anchor_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->anchor_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->complete | 0 |
| PARAM_VALUE | 1 | urb->context | 0 |
| PARAM_VALUE | 1 | urb->dev | 0 |
| PARAM_VALUE | 1 | urb->ep | 0 |
| PARAM_VALUE | 1 | urb->error_count | 0 |
| PARAM_VALUE | 1 | urb->hcpriv | 0 |
| PARAM_VALUE | 1 | urb->interval | 0 |
| PARAM_VALUE | 1 | urb->kref.refcount.refs.counter | 1 |
| PARAM_VALUE | 1 | urb->num_mapped_sgs | 0 |
| PARAM_VALUE | 1 | urb->num_sgs | 0 |
| PARAM_VALUE | 1 | urb->number_of_packets | 0 |
| PARAM_VALUE | 1 | urb->pipe | 0 |
| PARAM_VALUE | 1 | urb->reject.counter | 0 |
| PARAM_VALUE | 1 | urb->setup_dma | 0 |
| PARAM_VALUE | 1 | urb->setup_packet | 0 |
| PARAM_VALUE | 1 | urb->sg | 0 |
| PARAM_VALUE | 1 | urb->sgt | 0 |
| PARAM_VALUE | 1 | urb->start_frame | 0 |
| PARAM_VALUE | 1 | urb->status | 0 |
| PARAM_VALUE | 1 | urb->stream_id | 0 |
| PARAM_VALUE | 1 | urb->transfer_buffer | 0 |
| PARAM_VALUE | 1 | urb->transfer_buffer_length | 0 |
| PARAM_VALUE | 1 | urb->transfer_dma | 0 |
| PARAM_VALUE | 1 | urb->transfer_flags | 0 |
| PARAM_VALUE | 1 | urb->unlinked | 0 |
| PARAM_VALUE | 1 | urb->urb_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->urb_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->urb_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->urb_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->urb_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->use_count.counter | 0 |
| BUF_SIZE | 0 | msg | 24 |
| BUF_SIZE | 0 | msg->buffer | 6,9 |
| BUF_SIZE | 1 | urb | s32min-s32max |
| DATA_SOURCE | 0 | msg | r _kzalloc_noprof |
| DATA_SOURCE | 1 | urb | r usb_alloc_urb |
| HALF_LOCKED2 | &pool->lock |