Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
sound/pci/echoaudio/layla24.c __snd_echo_probe() -> snd_echo_midi_create()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | card | 4096-ptr_max |
| PARAM_VALUE | 0 | card->card_dev.class | 235665674555068416 |
| PARAM_VALUE | 0 | card->card_dev.dma_io_tlb_mem | 1473117533515866112 |
| PARAM_VALUE | 0 | card->card_dev.dma_uses_io_tlb | 0 |
| PARAM_VALUE | 0 | card->card_dev.kobj.kref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | card->card_dev.kobj.ktype | 5399513539053756416 |
| PARAM_VALUE | 0 | card->card_dev.kobj.state_in_sysfs | 0 |
| PARAM_VALUE | 0 | card->card_dev.kobj.state_initialized | 1 |
| PARAM_VALUE | 0 | card->card_dev.links.status | 0 |
| PARAM_VALUE | 0 | card->card_dev.numa_node | (-1) |
| PARAM_VALUE | 0 | card->card_dev.parent | s64min-(-4096),4096-s64max |
| PARAM_VALUE | 0 | card->card_dev.power.deferred_resume | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.disable_depth | 1 |
| PARAM_VALUE | 0 | card->card_dev.power.early_init | 1 |
| PARAM_VALUE | 0 | card->card_dev.power.idle_notification | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.ignore_children | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.is_late_suspended | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.is_noirq_suspended | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.is_prepared | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.is_suspended | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.last_status | (-1) |
| PARAM_VALUE | 0 | card->card_dev.power.needs_force_resume | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.qos | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.request | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.request_pending | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.runtime_auto | 1 |
| PARAM_VALUE | 0 | card->card_dev.power.runtime_error | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.runtime_status | 2 |
| PARAM_VALUE | 0 | card->card_dev.power.timer_expires | 0 |
| PARAM_VALUE | 0 | card->card_dev.release | 530793378695925760 |
| PARAM_VALUE | 0 | card->controls_rwlock.magic | 3736018669 |
| PARAM_VALUE | 0 | card->controls_rwlock.owner | (-1) |
| PARAM_VALUE | 0 | card->controls_rwlock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | card->controls_rwsem.count.counter | 0 |
| PARAM_VALUE | 0 | card->controls_rwsem.first_waiter | 0 |
| PARAM_VALUE | 0 | card->controls_rwsem.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | card->controls_rwsem.owner.counter | 0 |
| PARAM_VALUE | 0 | card->ctl_hash.xa_flags | 0 |
| PARAM_VALUE | 0 | card->ctl_hash.xa_head | 0 |
| PARAM_VALUE | 0 | card->ctl_numids.xa_flags | 0 |
| PARAM_VALUE | 0 | card->ctl_numids.xa_head | 0 |
| PARAM_VALUE | 0 | card->dev | s64min-(-4096),4096-s64max |
| PARAM_VALUE | 0 | card->managed | 1 |
| PARAM_VALUE | 0 | card->memory_mutex.first_waiter | 0 |
| PARAM_VALUE | 0 | card->memory_mutex.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | card->memory_mutex.owner.counter | 0 |
| PARAM_VALUE | 0 | card->module | 0 |
| PARAM_VALUE | 0 | card->number | 0-31 |
| PARAM_VALUE | 0 | card->power_ref.count.counter | 0 |
| PARAM_VALUE | 0 | card->private_data | 4096-ptr_max |
| PARAM_VALUE | 0 | card->sync_irq | (-1)-0 |
| PARAM_VALUE | 1 | chip | 4096-ptr_max |
| PARAM_VALUE | 1 | chip->analog_pcm | 4096-ptr_max |
| PARAM_VALUE | 1 | chip->analog_pcm->internal | 1 |
| PARAM_VALUE | 1 | chip->analog_pcm->private_data | 4096-ptr_max |
| PARAM_VALUE | 1 | chip->card | 4096-ptr_max |
| PARAM_VALUE | 1 | chip->digital_pcm | 4096-ptr_max |
| PARAM_VALUE | 1 | chip->digital_pcm->internal | 1 |
| PARAM_VALUE | 1 | chip->digital_pcm->private_data | 4096-ptr_max |
| PARAM_VALUE | 1 | chip->has_midi | 1-255 |
| PARAM_VALUE | 1 | chip->pci->dev.iommu->attach_deferred | 0-1 |
| PARAM_VALUE | 1 | chip->pci->dev.iommu->pci_32bit_workaround | 0-1 |
| BUF_SIZE | 1 | chip | 72,104,256,376,448,2728,3960 |
| BUF_SIZE | 1 | chip | 72,104,256,376,448,2728,3960 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | card->private_data->asic_loaded | 0[c] |
| HOST_DATA | 0 | card->private_data->pci->current_state | 0-3[c] |
| UNITS | 1 | chip | unit_byte |
| HALF_LOCKED2 | &pci->dev.mutex |
sound/pci/echoaudio/layla20.c __snd_echo_probe() -> snd_echo_midi_create()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | card | 4096-ptr_max |
| PARAM_VALUE | 0 | card->card_dev.class | 235665674555068416 |
| PARAM_VALUE | 0 | card->card_dev.dma_io_tlb_mem | 1473117533515866112 |
| PARAM_VALUE | 0 | card->card_dev.dma_uses_io_tlb | 0 |
| PARAM_VALUE | 0 | card->card_dev.kobj.kref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | card->card_dev.kobj.ktype | 5399513539053756416 |
| PARAM_VALUE | 0 | card->card_dev.kobj.state_in_sysfs | 0 |
| PARAM_VALUE | 0 | card->card_dev.kobj.state_initialized | 1 |
| PARAM_VALUE | 0 | card->card_dev.links.status | 0 |
| PARAM_VALUE | 0 | card->card_dev.numa_node | (-1) |
| PARAM_VALUE | 0 | card->card_dev.parent | s64min-(-4096),4096-s64max |
| PARAM_VALUE | 0 | card->card_dev.power.deferred_resume | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.disable_depth | 1 |
| PARAM_VALUE | 0 | card->card_dev.power.early_init | 1 |
| PARAM_VALUE | 0 | card->card_dev.power.idle_notification | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.ignore_children | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.is_late_suspended | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.is_noirq_suspended | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.is_prepared | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.is_suspended | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.last_status | (-1) |
| PARAM_VALUE | 0 | card->card_dev.power.needs_force_resume | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.qos | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.request | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.request_pending | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.runtime_auto | 1 |
| PARAM_VALUE | 0 | card->card_dev.power.runtime_error | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.runtime_status | 2 |
| PARAM_VALUE | 0 | card->card_dev.power.timer_expires | 0 |
| PARAM_VALUE | 0 | card->card_dev.release | 530793378695925760 |
| PARAM_VALUE | 0 | card->controls_rwlock.magic | 3736018669 |
| PARAM_VALUE | 0 | card->controls_rwlock.owner | (-1) |
| PARAM_VALUE | 0 | card->controls_rwlock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | card->controls_rwsem.count.counter | 0 |
| PARAM_VALUE | 0 | card->controls_rwsem.first_waiter | 0 |
| PARAM_VALUE | 0 | card->controls_rwsem.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | card->controls_rwsem.owner.counter | 0 |
| PARAM_VALUE | 0 | card->ctl_hash.xa_flags | 0 |
| PARAM_VALUE | 0 | card->ctl_hash.xa_head | 0 |
| PARAM_VALUE | 0 | card->ctl_numids.xa_flags | 0 |
| PARAM_VALUE | 0 | card->ctl_numids.xa_head | 0 |
| PARAM_VALUE | 0 | card->dev | s64min-(-4096),4096-s64max |
| PARAM_VALUE | 0 | card->managed | 1 |
| PARAM_VALUE | 0 | card->memory_mutex.first_waiter | 0 |
| PARAM_VALUE | 0 | card->memory_mutex.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | card->memory_mutex.owner.counter | 0 |
| PARAM_VALUE | 0 | card->module | 0 |
| PARAM_VALUE | 0 | card->number | 0-31 |
| PARAM_VALUE | 0 | card->power_ref.count.counter | 0 |
| PARAM_VALUE | 0 | card->private_data | 4096-ptr_max |
| PARAM_VALUE | 0 | card->sync_irq | (-1)-0 |
| PARAM_VALUE | 1 | chip | 4096-ptr_max |
| PARAM_VALUE | 1 | chip->analog_pcm | 4096-ptr_max |
| PARAM_VALUE | 1 | chip->analog_pcm->internal | 1 |
| PARAM_VALUE | 1 | chip->analog_pcm->private_data | 4096-ptr_max |
| PARAM_VALUE | 1 | chip->card | 4096-ptr_max |
| PARAM_VALUE | 1 | chip->digital_pcm | 4096-ptr_max |
| PARAM_VALUE | 1 | chip->digital_pcm->internal | 1 |
| PARAM_VALUE | 1 | chip->digital_pcm->private_data | 4096-ptr_max |
| PARAM_VALUE | 1 | chip->has_midi | 1-255 |
| PARAM_VALUE | 1 | chip->pci->dev.iommu->attach_deferred | 0-1 |
| PARAM_VALUE | 1 | chip->pci->dev.iommu->pci_32bit_workaround | 0-1 |
| BUF_SIZE | 1 | chip | 72,104,256,376,448,2728,3960 |
| BUF_SIZE | 1 | chip | 72,104,256,376,448,2728,3960 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | card->private_data->pci->current_state | 0-3[c] |
| UNITS | 1 | chip | unit_byte |
| HALF_LOCKED2 | &pci->dev.mutex |
sound/pci/echoaudio/mia.c __snd_echo_probe() -> snd_echo_midi_create()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | card | 4096-ptr_max |
| PARAM_VALUE | 0 | card->card_dev.class | 235665674555068416 |
| PARAM_VALUE | 0 | card->card_dev.dma_io_tlb_mem | 1473117533515866112 |
| PARAM_VALUE | 0 | card->card_dev.dma_uses_io_tlb | 0 |
| PARAM_VALUE | 0 | card->card_dev.kobj.kref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | card->card_dev.kobj.ktype | 5399513539053756416 |
| PARAM_VALUE | 0 | card->card_dev.kobj.state_in_sysfs | 0 |
| PARAM_VALUE | 0 | card->card_dev.kobj.state_initialized | 1 |
| PARAM_VALUE | 0 | card->card_dev.links.status | 0 |
| PARAM_VALUE | 0 | card->card_dev.numa_node | (-1) |
| PARAM_VALUE | 0 | card->card_dev.parent | s64min-(-4096),4096-s64max |
| PARAM_VALUE | 0 | card->card_dev.power.deferred_resume | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.disable_depth | 1 |
| PARAM_VALUE | 0 | card->card_dev.power.early_init | 1 |
| PARAM_VALUE | 0 | card->card_dev.power.idle_notification | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.ignore_children | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.is_late_suspended | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.is_noirq_suspended | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.is_prepared | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.is_suspended | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.last_status | (-1) |
| PARAM_VALUE | 0 | card->card_dev.power.needs_force_resume | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.qos | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.request | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.request_pending | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.runtime_auto | 1 |
| PARAM_VALUE | 0 | card->card_dev.power.runtime_error | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.runtime_status | 2 |
| PARAM_VALUE | 0 | card->card_dev.power.timer_expires | 0 |
| PARAM_VALUE | 0 | card->card_dev.release | 530793378695925760 |
| PARAM_VALUE | 0 | card->controls_rwlock.magic | 3736018669 |
| PARAM_VALUE | 0 | card->controls_rwlock.owner | (-1) |
| PARAM_VALUE | 0 | card->controls_rwlock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | card->controls_rwsem.count.counter | 0 |
| PARAM_VALUE | 0 | card->controls_rwsem.first_waiter | 0 |
| PARAM_VALUE | 0 | card->controls_rwsem.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | card->controls_rwsem.owner.counter | 0 |
| PARAM_VALUE | 0 | card->ctl_hash.xa_flags | 0 |
| PARAM_VALUE | 0 | card->ctl_hash.xa_head | 0 |
| PARAM_VALUE | 0 | card->ctl_numids.xa_flags | 0 |
| PARAM_VALUE | 0 | card->ctl_numids.xa_head | 0 |
| PARAM_VALUE | 0 | card->dev | s64min-(-4096),4096-s64max |
| PARAM_VALUE | 0 | card->managed | 1 |
| PARAM_VALUE | 0 | card->memory_mutex.first_waiter | 0 |
| PARAM_VALUE | 0 | card->memory_mutex.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | card->memory_mutex.owner.counter | 0 |
| PARAM_VALUE | 0 | card->module | 0 |
| PARAM_VALUE | 0 | card->number | 0-31 |
| PARAM_VALUE | 0 | card->power_ref.count.counter | 0 |
| PARAM_VALUE | 0 | card->private_data | 4096-ptr_max |
| PARAM_VALUE | 0 | card->sync_irq | (-1)-0 |
| PARAM_VALUE | 1 | chip | 4096-ptr_max |
| PARAM_VALUE | 1 | chip->analog_pcm | 4096-ptr_max |
| PARAM_VALUE | 1 | chip->analog_pcm->internal | 1 |
| PARAM_VALUE | 1 | chip->analog_pcm->private_data | 4096-ptr_max |
| PARAM_VALUE | 1 | chip->card | 4096-ptr_max |
| PARAM_VALUE | 1 | chip->digital_pcm | 4096-ptr_max |
| PARAM_VALUE | 1 | chip->digital_pcm->internal | 1 |
| PARAM_VALUE | 1 | chip->digital_pcm->private_data | 4096-ptr_max |
| PARAM_VALUE | 1 | chip->has_midi | 1-255 |
| PARAM_VALUE | 1 | chip->pci->dev.iommu->attach_deferred | 0-1 |
| PARAM_VALUE | 1 | chip->pci->dev.iommu->pci_32bit_workaround | 0-1 |
| BUF_SIZE | 1 | chip | 72,104,256,376,448,2728,3960 |
| BUF_SIZE | 1 | chip | 72,104,256,376,448,2728,3960 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | card->private_data->pci->current_state | 0-3[c] |
| UNITS | 1 | chip | unit_byte |
| HALF_LOCKED2 | &pci->dev.mutex |
sound/pci/echoaudio/echo3g.c __snd_echo_probe() -> snd_echo_midi_create()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | card | 4096-ptr_max |
| PARAM_VALUE | 0 | card->card_dev.class | 235665674555068416 |
| PARAM_VALUE | 0 | card->card_dev.dma_io_tlb_mem | 1473117533515866112 |
| PARAM_VALUE | 0 | card->card_dev.dma_uses_io_tlb | 0 |
| PARAM_VALUE | 0 | card->card_dev.kobj.kref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | card->card_dev.kobj.ktype | 5399513539053756416 |
| PARAM_VALUE | 0 | card->card_dev.kobj.state_in_sysfs | 0 |
| PARAM_VALUE | 0 | card->card_dev.kobj.state_initialized | 1 |
| PARAM_VALUE | 0 | card->card_dev.links.status | 0 |
| PARAM_VALUE | 0 | card->card_dev.numa_node | (-1) |
| PARAM_VALUE | 0 | card->card_dev.parent | s64min-(-4096),4096-s64max |
| PARAM_VALUE | 0 | card->card_dev.power.deferred_resume | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.disable_depth | 1 |
| PARAM_VALUE | 0 | card->card_dev.power.early_init | 1 |
| PARAM_VALUE | 0 | card->card_dev.power.idle_notification | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.ignore_children | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.is_late_suspended | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.is_noirq_suspended | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.is_prepared | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.is_suspended | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.last_status | (-1) |
| PARAM_VALUE | 0 | card->card_dev.power.needs_force_resume | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.qos | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.request | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.request_pending | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.runtime_auto | 1 |
| PARAM_VALUE | 0 | card->card_dev.power.runtime_error | 0 |
| PARAM_VALUE | 0 | card->card_dev.power.runtime_status | 2 |
| PARAM_VALUE | 0 | card->card_dev.power.timer_expires | 0 |
| PARAM_VALUE | 0 | card->card_dev.release | 530793378695925760 |
| PARAM_VALUE | 0 | card->controls_rwlock.magic | 3736018669 |
| PARAM_VALUE | 0 | card->controls_rwlock.owner | (-1) |
| PARAM_VALUE | 0 | card->controls_rwlock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | card->controls_rwsem.count.counter | 0 |
| PARAM_VALUE | 0 | card->controls_rwsem.first_waiter | 0 |
| PARAM_VALUE | 0 | card->controls_rwsem.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | card->controls_rwsem.owner.counter | 0 |
| PARAM_VALUE | 0 | card->ctl_hash.xa_flags | 0 |
| PARAM_VALUE | 0 | card->ctl_hash.xa_head | 0 |
| PARAM_VALUE | 0 | card->ctl_numids.xa_flags | 0 |
| PARAM_VALUE | 0 | card->ctl_numids.xa_head | 0 |
| PARAM_VALUE | 0 | card->dev | s64min-(-4096),4096-s64max |
| PARAM_VALUE | 0 | card->managed | 1 |
| PARAM_VALUE | 0 | card->memory_mutex.first_waiter | 0 |
| PARAM_VALUE | 0 | card->memory_mutex.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | card->memory_mutex.owner.counter | 0 |
| PARAM_VALUE | 0 | card->module | 0 |
| PARAM_VALUE | 0 | card->number | 0-31 |
| PARAM_VALUE | 0 | card->power_ref.count.counter | 0 |
| PARAM_VALUE | 0 | card->private_data | 4096-ptr_max |
| PARAM_VALUE | 0 | card->sync_irq | (-1)-0 |
| PARAM_VALUE | 1 | chip | 4096-ptr_max |
| PARAM_VALUE | 1 | chip->analog_pcm | 4096-ptr_max |
| PARAM_VALUE | 1 | chip->analog_pcm->internal | 1 |
| PARAM_VALUE | 1 | chip->analog_pcm->private_data | 4096-ptr_max |
| PARAM_VALUE | 1 | chip->card | 4096-ptr_max |
| PARAM_VALUE | 1 | chip->digital_pcm | 4096-ptr_max |
| PARAM_VALUE | 1 | chip->digital_pcm->internal | 1 |
| PARAM_VALUE | 1 | chip->digital_pcm->private_data | 4096-ptr_max |
| PARAM_VALUE | 1 | chip->has_midi | 1-255 |
| PARAM_VALUE | 1 | chip->pci->dev.iommu->attach_deferred | 0-1 |
| PARAM_VALUE | 1 | chip->pci->dev.iommu->pci_32bit_workaround | 0-1 |
| BUF_SIZE | 1 | chip | 72,104,256,376,448,2728,3960 |
| BUF_SIZE | 1 | chip | 72,104,256,376,448,2728,3960 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | card->private_data->pci->current_state | 0-3[c] |
| UNITS | 1 | chip | unit_byte |
| HALF_LOCKED2 | &pci->dev.mutex |