Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/most/most_snd.c audio_create_sound_card() -> release_adapter()

Type Parameter Key Value
PARAM_VALUE 0 adpt 4096-ptr_max
PARAM_VALUE 0 adpt->card 0,4096-ptr_max
PARAM_VALUE 0 adpt->card->card_dev.fwnode->dev->power.set_latency_tolerance 5740181548905971712
PARAM_VALUE 0 adpt->card->card_dev.kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 adpt->card->card_dev.kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 adpt->card->card_dev.kobj.sd->active.counter (-2147483647)
PARAM_VALUE 0 adpt->card->card_dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 adpt->card->card_dev.p->klist_children.get 2213798222526185472
PARAM_VALUE 0 adpt->card->card_dev.p->klist_children.put 3126867300421632000
PARAM_VALUE 0 adpt->card->card_dev.p->knode_bus.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 adpt->card->card_dev.p->knode_class.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 adpt->card->card_dev.p->knode_parent.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 adpt->registered 0
CAPPED_DATA 0 adpt->card 1
CAPPED_DATA 0 &adpt->list 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem

drivers/most/most_snd.c audio_disconnect_channel() -> release_adapter()

Type Parameter Key Value
PARAM_VALUE 0 adpt 4096-ptr_max
PARAM_VALUE 0 adpt->dev_list.next 4096-ptr_max
BUF_SIZE 0 adpt 56
CAPPED_DATA 0 &adpt->dev_list 1
PARAM_COMPARE 0 &adpt->dev_list == $0->dev_list.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/most/most_snd.c audio_probe_channel() -> release_adapter()

Type Parameter Key Value
PARAM_VALUE 0 adpt 4096-ptr_max
PARAM_VALUE 0 adpt->card 0,4096-ptr_max
PARAM_VALUE 0 adpt->card->card_dev.class 235665674555068416
PARAM_VALUE 0 adpt->card->card_dev.dma_io_tlb_mem 1473117533515866112
PARAM_VALUE 0 adpt->card->card_dev.dma_uses_io_tlb 0
PARAM_VALUE 0 adpt->card->card_dev.kobj.kref.refcount.refs.counter 1
PARAM_VALUE 0 adpt->card->card_dev.kobj.ktype 5399513539053756416
PARAM_VALUE 0 adpt->card->card_dev.kobj.state_add_uevent_sent 0
PARAM_VALUE 0 adpt->card->card_dev.kobj.state_in_sysfs 0
PARAM_VALUE 0 adpt->card->card_dev.kobj.state_initialized 1
PARAM_VALUE 0 adpt->card->card_dev.kobj.state_remove_uevent_sent 0
PARAM_VALUE 0 adpt->card->card_dev.links.status 0
PARAM_VALUE 0 adpt->card->card_dev.numa_node (-1)
PARAM_VALUE 0 adpt->card->card_dev.parent s64min-(-4096),4096-s64max
PARAM_VALUE 0 adpt->card->card_dev.power.child_count.counter 0
PARAM_VALUE 0 adpt->card->card_dev.power.deferred_resume 0
PARAM_VALUE 0 adpt->card->card_dev.power.disable_depth 1
PARAM_VALUE 0 adpt->card->card_dev.power.early_init 1
PARAM_VALUE 0 adpt->card->card_dev.power.idle_notification 0
PARAM_VALUE 0 adpt->card->card_dev.power.ignore_children 0
PARAM_VALUE 0 adpt->card->card_dev.power.is_prepared 0
PARAM_VALUE 0 adpt->card->card_dev.power.is_suspended 0
PARAM_VALUE 0 adpt->card->card_dev.power.last_status (-1)
PARAM_VALUE 0 adpt->card->card_dev.power.needs_force_resume 0
PARAM_VALUE 0 adpt->card->card_dev.power.qos 0
PARAM_VALUE 0 adpt->card->card_dev.power.request 0
PARAM_VALUE 0 adpt->card->card_dev.power.request_pending 0
PARAM_VALUE 0 adpt->card->card_dev.power.runtime_auto 1
PARAM_VALUE 0 adpt->card->card_dev.power.runtime_error 0
PARAM_VALUE 0 adpt->card->card_dev.power.runtime_status 2
PARAM_VALUE 0 adpt->card->card_dev.power.timer_expires 0
PARAM_VALUE 0 adpt->card->card_dev.power.usage_count.counter 0
PARAM_VALUE 0 adpt->card->card_dev.release 530793378695925760
PARAM_VALUE 0 adpt->card->controls_rwlock.magic 3736018669
PARAM_VALUE 0 adpt->card->controls_rwlock.owner (-1)
PARAM_VALUE 0 adpt->card->controls_rwlock.owner_cpu 4294967295
PARAM_VALUE 0 adpt->card->controls_rwsem.first_waiter 0
PARAM_VALUE 0 adpt->card->ctl_hash.xa_flags 0
PARAM_VALUE 0 adpt->card->ctl_hash.xa_head 0
PARAM_VALUE 0 adpt->card->ctl_numids.xa_flags 0
PARAM_VALUE 0 adpt->card->ctl_numids.xa_head 0
PARAM_VALUE 0 adpt->card->dev s64min-(-4096),4096-s64max
PARAM_VALUE 0 adpt->card->memory_mutex.first_waiter 0
PARAM_VALUE 0 adpt->card->memory_mutex.owner.counter 0
PARAM_VALUE 0 adpt->card->number 0-31
PARAM_VALUE 0 adpt->card->power_ref.count.counter 0
PARAM_VALUE 0 adpt->card->sync_irq (-1)
PARAM_VALUE 0 adpt->dev_list.next 4096-ptr_max
PARAM_VALUE 0 adpt->dev_list.next->next 4096-ptr_max
PARAM_VALUE 0 adpt->dev_list.prev 4096-ptr_max
PARAM_VALUE 0 adpt->dev_list.prev->next 4096-ptr_max
PARAM_VALUE 0 adpt->dev_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 adpt->iface 4096-ptr_max
PARAM_VALUE 0 adpt->list.next 4096-ptr_max
BUF_SIZE 0 adpt 56,u64max
BUF_SIZE 0 adpt 56,u64max
CAPPED_DATA 0 adpt->iface 1
STR_LEN 0 adpt->card->driver (-1),15
STR_LEN 0 adpt->card->longname (-1),79
STR_LEN 0 adpt->card->shortname (-1),31
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem