Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

sound/virtio/virtio_card.c virtsnd_probe() -> virtsnd_enable_event_vq()

Type Parameter Key Value
PARAM_VALUE 0 snd 4096-ptr_max
PARAM_VALUE 0 snd->card 0
PARAM_VALUE 0 snd->card->card_dev->driver_data->cis_virt (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 snd->card->card_dev->driver_data->fake_cis 0-255
PARAM_VALUE 0 snd->card->card_dev->kobj.parent->kset->kobj.release.timer->entry->next->pprev 1-u64max
PARAM_VALUE 0 snd->card->card_dev->kobj.release.timer->entry->next->pprev 1-u64max
PARAM_VALUE 0 snd->card->card_dev->kobj.release.timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 snd->card->card_dev->p->deferred_probe_reason 0-255
PARAM_VALUE 0 snd->card->card_dev->p->knode_bus.n_klist (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 snd->card->card_dev->p->knode_class.n_klist (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 snd->card->card_dev->p->knode_driver.n_klist (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 snd->card->card_dev->p->knode_parent.n_klist (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 snd->card->card_dev.driver_data->battery_dev->id (-2)
PARAM_VALUE 0 snd->card->card_dev.driver_data->callback->add 5235430000054906880
PARAM_VALUE 0 snd->card->card_dev.driver_data->callback->early_resume 6956900869090054144
PARAM_VALUE 0 snd->card->card_dev.driver_data->callback->remove 1719268733136482304
PARAM_VALUE 0 snd->card->card_dev.driver_data->callback->requery 4713442613417914368
PARAM_VALUE 0 snd->card->card_dev.driver_data->callback->resume 5068206944467017728
PARAM_VALUE 0 snd->card->card_dev.driver_data->callback->suspend 2738892915008757760
PARAM_VALUE 0 snd->card->card_dev.driver_data->callback->validate 4934365872137547776
PARAM_VALUE 0 snd->card->card_dev.driver_data->cdev->kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 snd->card->card_dev.driver_data->cdev->kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 snd->card->card_dev.driver_data->cdev->kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 snd->card->card_dev.driver_data->cdev->kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 snd->card->card_dev.driver_data->cis_mem.card_start 0-4294967295
PARAM_VALUE 0 snd->card->card_dev.driver_data->cis_mem.flags 0,2-254
PARAM_VALUE 0 snd->card->card_dev.driver_data->d_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 snd->card->card_dev.driver_data->detaching.counter s32min-s32max
PARAM_VALUE 0 snd->card->card_dev.driver_data->dev.kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 snd->card->card_dev.driver_data->dev.kobj.release.cpu s32min-s32max
PARAM_VALUE 0 snd->card->card_dev.driver_data->dev.kobj.release.timer.flags 0-4294967295
PARAM_VALUE 0 snd->card->card_dev.driver_data->dev.kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 snd->card->card_dev.driver_data->dev.kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 snd->card->card_dev.driver_data->dev.kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 snd->card->card_dev.driver_data->dev.kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 snd->card->card_dev.driver_data->dev.kobj.release.work.flags 0-4294967295
PARAM_VALUE 0 snd->card->card_dev.driver_data->dev.kobj.release.work.is_hard 0-1
PARAM_VALUE 0 snd->card->card_dev.driver_data->dev.kobj.release.work.is_lazy 0-1
PARAM_VALUE 0 snd->card->card_dev.driver_data->dev.kobj.release.work.is_queued 0-1
PARAM_VALUE 0 snd->card->card_dev.driver_data->dev.kobj.release.work.is_soft 0-1
PARAM_VALUE 0 snd->card->card_dev.driver_data->dev.parent->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 snd->card->card_dev.driver_data->dev.parent->kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 snd->card->card_dev.driver_data->dev.parent->kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 snd->card->card_dev.driver_data->device_count 0-1
PARAM_VALUE 0 snd->card->card_dev.driver_data->functions 0-u16max
PARAM_VALUE 0 snd->card->card_dev.driver_data->ops_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 snd->card->card_dev.driver_data->ops_mutex.first_waiter->list.prev->prev 0,5159360019465732096
PARAM_VALUE 0 snd->card->card_dev.driver_data->ops_mutex.first_waiter->magic 5159360019465732096
PARAM_VALUE 0 snd->card->card_dev.driver_data->ops_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 snd->card->card_dev.driver_data->ops_mutex.first_waiter->task->blocked_on (-1)-0
PARAM_VALUE 0 snd->card->card_dev.driver_data->ops_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 snd->card->card_dev.driver_data->ops_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 snd->card->card_dev.driver_data->pcmcia_pfc 0-255
PARAM_VALUE 0 snd->card->card_dev.driver_data->present.counter s32min-s32max
PARAM_VALUE 0 snd->card->card_dev.driver_data->resource_setup_done 0-255
PARAM_VALUE 0 snd->card->card_dev.driver_data->sfd_lock.raw_lock.cnts.counter s32min-s32max
PARAM_VALUE 0 snd->card->card_dev.driver_data->skt_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 snd->card->card_dev.driver_data->skt_mutex.first_waiter->list.prev->prev 0,5159360019465732096
PARAM_VALUE 0 snd->card->card_dev.driver_data->skt_mutex.first_waiter->magic 5159360019465732096
PARAM_VALUE 0 snd->card->card_dev.driver_data->skt_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 snd->card->card_dev.driver_data->skt_mutex.first_waiter->task->blocked_on (-1)-0
PARAM_VALUE 0 snd->card->card_dev.driver_data->skt_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 snd->card->card_dev.driver_data->skt_mutex.osq.tail.counter s32min-s32max
PARAM_VALUE 0 snd->card->card_dev.driver_data->state 0-4294967295
PARAM_VALUE 0 snd->card->card_dev.driver_data->touch_dev->id (-2)
PARAM_VALUE 0 snd->card->card_dev.init_name 0
PARAM_VALUE 0 snd->card->card_dev.kobj.entry.next->next 4096-ptr_max
PARAM_VALUE 0 snd->card->card_dev.kobj.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 snd->card->card_dev.kobj.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 snd->card->card_dev.kobj.entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 snd->card->card_dev.kobj.parent->entry.next->next 4096-ptr_max
PARAM_VALUE 0 snd->card->card_dev.kobj.parent->entry.prev->next 4096-ptr_max
PARAM_VALUE 0 snd->card->card_dev.kobj.parent->entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 snd->card->card_dev.kobj.parent->kset->kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 snd->card->card_dev.kobj.parent->kset->kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 snd->card->card_dev.kobj.parent->kset->kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 snd->card->card_dev.kobj.parent->kset->kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 snd->card->card_dev.kobj.parent->kset->kobj.release.work.flags 0-4294967295
PARAM_VALUE 0 snd->card->card_dev.kobj.parent->kset->kobj.release.work.is_hard 0-1
PARAM_VALUE 0 snd->card->card_dev.kobj.parent->kset->kobj.release.work.is_lazy 0-1
PARAM_VALUE 0 snd->card->card_dev.kobj.parent->kset->kobj.release.work.is_queued 0-1
PARAM_VALUE 0 snd->card->card_dev.kobj.parent->kset->kobj.release.work.is_soft 0-1
PARAM_VALUE 0 snd->card->card_dev.kobj.parent->release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 snd->card->card_dev.kobj.parent->release.timer.is_hard 0-1
PARAM_VALUE 0 snd->card->card_dev.kobj.parent->release.timer.is_lazy 0-1
PARAM_VALUE 0 snd->card->card_dev.kobj.parent->release.timer.is_queued 0-1
PARAM_VALUE 0 snd->card->card_dev.kobj.parent->release.timer.is_soft 0-1
PARAM_VALUE 0 snd->card->card_dev.kobj.parent->release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 snd->card->card_dev.kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 snd->card->card_dev.kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 snd->card->card_dev.kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 snd->card->card_dev.kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 snd->card->card_dev.kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 snd->card->card_dev.kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 snd->card->card_dev.kobj.sd->active.counter (-2147483647)
PARAM_VALUE 0 snd->card->card_dev.kobj.sd->attr.notify_next 0,426918848001064960
PARAM_VALUE 0 snd->card->card_dev.links.defer_sync.next->next 4096-ptr_max
PARAM_VALUE 0 snd->card->card_dev.links.defer_sync.next->prev 4096-ptr_max
PARAM_VALUE 0 snd->card->card_dev.links.defer_sync.prev->next 4096-ptr_max
PARAM_VALUE 0 snd->card->card_dev.links.defer_sync.prev->prev 4096-ptr_max
PARAM_VALUE 0 snd->card->card_dev.mutex->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 snd->card->card_dev.p 0
PARAM_VALUE 0 snd->card->card_dev.p->klist_children.get 2213798222526185472
PARAM_VALUE 0 snd->card->card_dev.p->klist_children.put 3126867300421632000
PARAM_VALUE 0 snd->card->card_dev.p->knode_bus.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 snd->card->card_dev.p->knode_class.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 snd->card->card_dev.p->knode_parent.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 snd->card->card_dev.parent->kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 snd->card->card_dev.parent->kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 snd->card->card_dev.parent->kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 snd->card->card_dev.parent->kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 snd->card->card_dev.parent->kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 snd->card->card_dev.parent->kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 snd->card->card_dev.parent->kobj.release.work.flags 0-4294967295
PARAM_VALUE 0 snd->card->card_dev.parent->kobj.release.work.is_hard 0-1
PARAM_VALUE 0 snd->card->card_dev.parent->kobj.release.work.is_lazy 0-1
PARAM_VALUE 0 snd->card->card_dev.parent->kobj.release.work.is_soft 0-1
PARAM_VALUE 0 snd->card->card_dev.parent->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 snd->card->card_dev.parent->kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 snd->card->card_dev.parent->kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 snd->card->card_dev.physical_location 0,4096-ptr_max
PARAM_VALUE 0 snd->card->card_dev.pm_domain 0,4096-ptr_max
PARAM_VALUE 0 snd->card->card_dev.power.completion.done u32max
PARAM_VALUE 0 snd->card->card_dev.power.driver_flags 0
PARAM_VALUE 0 snd->card->card_dev.power.entry.next->next 4096-ptr_max
PARAM_VALUE 0 snd->card->card_dev.power.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 snd->card->card_dev.power.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 snd->card->card_dev.power.entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 snd->card->card_dev.power.in_dpm_list 0
PARAM_VALUE 0 snd->card->card_dev.power.irq_safe 0
PARAM_VALUE 0 snd->card->card_dev.power.subsys_data 0,4096-ptr_max
PARAM_VALUE 0 snd->card->controls.prev->next 4096-ptr_max
PARAM_VALUE 0 snd->card->controls.prev->next->next 4096-ptr_max
PARAM_VALUE 0 snd->card->controls_rwlock.magic 3736018669
PARAM_VALUE 0 snd->card->controls_rwlock.owner (-1)
PARAM_VALUE 0 snd->card->controls_rwlock.owner_cpu u32max
PARAM_VALUE 0 snd->card->controls_rwsem.count.counter 0
PARAM_VALUE 0 snd->card->controls_rwsem.first_waiter 0
PARAM_VALUE 0 snd->card->controls_rwsem.owner.counter 0
PARAM_VALUE 0 snd->card->ctl_hash.xa_flags 0
PARAM_VALUE 0 snd->card->ctl_hash.xa_head 0
PARAM_VALUE 0 snd->card->ctl_hash.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 snd->card->ctl_numids.xa_flags 0
PARAM_VALUE 0 snd->card->ctl_numids.xa_head 0
PARAM_VALUE 0 snd->card->dev 4096-ptr_max
PARAM_VALUE 0 snd->card->dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 snd->card->dev->devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 snd->card->dev->devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 snd->card->memory_mutex.first_waiter 0
PARAM_VALUE 0 snd->card->memory_mutex.owner.counter 0
PARAM_VALUE 0 snd->card->number 0-31
PARAM_VALUE 0 snd->card->power_ref.count.counter 0
PARAM_VALUE 0 snd->card->private_data 4096-ptr_max
PARAM_VALUE 0 snd->card->proc_root_link 4096-ptr_max
PARAM_VALUE 0 snd->card->registered 1
PARAM_VALUE 0 snd->card->sync_irq (-1)
PARAM_VALUE 0 snd->chmaps 0
PARAM_VALUE 0 snd->chmaps->channels 0
PARAM_VALUE 0 snd->chmaps->direction 0
PARAM_VALUE 0 snd->chmaps->hdr.hda_fn_nid 0
PARAM_VALUE 0 snd->ctl_msgs.next->next 4096-ptr_max
PARAM_VALUE 0 snd->ctl_msgs.prev->next 4096-ptr_max
PARAM_VALUE 0 snd->ctl_msgs.prev->prev 4096-ptr_max
PARAM_VALUE 0 snd->jacks 0
PARAM_VALUE 0 snd->jacks->caps 0-4294967295
PARAM_VALUE 0 snd->jacks->connected 0-1
PARAM_VALUE 0 snd->jacks->defconf 0-4294967295
PARAM_VALUE 0 snd->jacks->features 0-4294967295
PARAM_VALUE 0 snd->jacks->jack 0
PARAM_VALUE 0 snd->jacks->nid 0
PARAM_VALUE 0 snd->jacks->type 0-2,4,20,32
PARAM_VALUE 0 snd->kctl_infos 0
PARAM_VALUE 0 snd->kctl_infos->access 0
PARAM_VALUE 0 snd->kctl_infos->count 0
PARAM_VALUE 0 snd->kctl_infos->hdr.hda_fn_nid 0
PARAM_VALUE 0 snd->kctl_infos->index 0
PARAM_VALUE 0 snd->kctl_infos->role 0
PARAM_VALUE 0 snd->kctl_infos->type 0
PARAM_VALUE 0 snd->kctl_infos->value.enumerated.items 0
PARAM_VALUE 0 snd->kctl_infos->value.integer.max 0
PARAM_VALUE 0 snd->kctl_infos->value.integer.min 0
PARAM_VALUE 0 snd->kctl_infos->value.integer.step 0
PARAM_VALUE 0 snd->kctl_infos->value.integer64.max 0
PARAM_VALUE 0 snd->kctl_infos->value.integer64.min 0
PARAM_VALUE 0 snd->kctl_infos->value.integer64.step 0
PARAM_VALUE 0 snd->kctls 0
PARAM_VALUE 0 snd->kctls->items 0
PARAM_VALUE 0 snd->kctls->kctl 0
PARAM_VALUE 0 snd->nchmaps 0
PARAM_VALUE 0 snd->njacks 0
PARAM_VALUE 0 snd->nkctls 0
PARAM_VALUE 0 snd->nsubstreams 0
PARAM_VALUE 0 snd->pcm_list.next->next 4096-ptr_max
PARAM_VALUE 0 snd->pcm_list.prev->next 4096-ptr_max
PARAM_VALUE 0 snd->pcm_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 snd->substreams 0
PARAM_VALUE 0 snd->substreams->buffer_bytes 0
PARAM_VALUE 0 snd->substreams->direction 0-1
PARAM_VALUE 0 snd->substreams->elapsed_period.func 0
PARAM_VALUE 0 snd->substreams->features 0
PARAM_VALUE 0 snd->substreams->hw.buffer_bytes_max 0
PARAM_VALUE 0 snd->substreams->hw.channels_max 0
PARAM_VALUE 0 snd->substreams->hw.channels_min 0
PARAM_VALUE 0 snd->substreams->hw.fifo_size 0
PARAM_VALUE 0 snd->substreams->hw.formats 0
PARAM_VALUE 0 snd->substreams->hw.info 0
PARAM_VALUE 0 snd->substreams->hw.period_bytes_max 0
PARAM_VALUE 0 snd->substreams->hw.period_bytes_min 0
PARAM_VALUE 0 snd->substreams->hw.periods_max 0
PARAM_VALUE 0 snd->substreams->hw.periods_min 0
PARAM_VALUE 0 snd->substreams->hw.rate_max 0
PARAM_VALUE 0 snd->substreams->hw.rate_min 0
PARAM_VALUE 0 snd->substreams->hw.rates 0
PARAM_VALUE 0 snd->substreams->hw.subformats 0
PARAM_VALUE 0 snd->substreams->hw_ptr 0
PARAM_VALUE 0 snd->substreams->msg_count 0
PARAM_VALUE 0 snd->substreams->msg_empty.head.next 0
PARAM_VALUE 0 snd->substreams->msg_empty.head.prev 0
PARAM_VALUE 0 snd->substreams->msgs 0
PARAM_VALUE 0 snd->substreams->nid 0
PARAM_VALUE 0 snd->substreams->nmsgs 0
PARAM_VALUE 0 snd->substreams->pcm_indirect.appl_ptr 0
PARAM_VALUE 0 snd->substreams->pcm_indirect.hw_data 0
PARAM_VALUE 0 snd->substreams->pcm_indirect.hw_io 0
PARAM_VALUE 0 snd->substreams->pcm_indirect.hw_ready 0
PARAM_VALUE 0 snd->substreams->pcm_indirect.sw_data 0
PARAM_VALUE 0 snd->substreams->pcm_indirect.sw_io 0
PARAM_VALUE 0 snd->substreams->pcm_indirect.sw_ready 0
PARAM_VALUE 0 snd->substreams->sid 0
PARAM_VALUE 0 snd->substreams->snd 0
PARAM_VALUE 0 snd->substreams->stopped 0
PARAM_VALUE 0 snd->substreams->substream 0
PARAM_VALUE 0 snd->substreams->suspended 0
PARAM_VALUE 0 snd->substreams->xfer_enabled 0
PARAM_VALUE 0 snd->substreams->xfer_xrun 0
PARAM_VALUE 0 snd->vdev->config 0
PARAM_VALUE 0 snd->vdev->config->find_vqs 4096-ptr_max
PARAM_VALUE 0 snd->vdev->dev.bus 0
PARAM_VALUE 0 snd->vdev->dev.class 0
PARAM_VALUE 0 snd->vdev->dev.devres_head.prev 0
PARAM_VALUE 0 snd->vdev->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 snd->vdev->dev.devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 snd->vdev->dev.driver 0
PARAM_VALUE 0 snd->vdev->vqs.prev->next 4096-ptr_max
PARAM_VALUE 0 snd->vdev->vqs.prev->next->next 4096-ptr_max
PARAM_VALUE 0 snd->vdev->vqs_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 *snd->card->id 0-255
PARAM_VALUE 0 *snd->card->longname 0-255
PARAM_VALUE 0 *snd->card->proc_root->name 0-255
BUF_SIZE 0 snd 448
DATA_SOURCE 0 snd r devm_kzalloc
MEM_ZERO 0 snd
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 snd->nchmaps
NO_OVERFLOW_SIMPLE 0 snd->njacks
NO_OVERFLOW_SIMPLE 0 snd->nkctls
NO_OVERFLOW_SIMPLE 0 snd->nsubstreams

sound/virtio/virtio_card.c virtsnd_restore() -> virtsnd_enable_event_vq()

Type Parameter Key Value
PARAM_VALUE 0 snd 4096-ptr_max
PARAM_VALUE 0 snd->event_msgs 16,4096-ptr_max
PARAM_VALUE 0 snd->vdev 4096-ptr_max
PARAM_VALUE 0 snd->vdev->config 4096-ptr_max
PARAM_VALUE 0 snd->vdev->config->find_vqs 4096-ptr_max
PARAM_VALUE 0 snd->vdev->vqs.prev->next 4096-ptr_max
PARAM_VALUE 0 snd->vdev->vqs.prev->next->next 4096-ptr_max
PARAM_VALUE 0 snd->vdev->vqs_list_lock.rlock.dep_map->name 0-255
BUF_SIZE 0 snd s32min-(-2),1-s32max
BUF_SIZE 0 snd s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 snd unit_byte