Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

sound/hda/codecs/ca0132.c ca0132_codec_probe() -> ca0132_codec_remove()

Type Parameter Key Value
PARAM_VALUE 0 codec 4096-ptr_max
PARAM_VALUE 0 codec->core->bus->rirb.res 0-u32max
PARAM_VALUE 0 codec->core->bus->unsol_queue 0-u32max
PARAM_VALUE 0 codec->core.bus->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 codec->core.dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 codec->spec->bass_redirect_xover_freq 8
PARAM_VALUE 0 codec->spec->chip_init_verbs 6295492647382761472
PARAM_VALUE 0 codec->spec->chipio_mutex->magic (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 codec->spec->chipio_mutex.dep_map->name 0-255
PARAM_VALUE 0 codec->spec->chipio_mutex.first_waiter 0
PARAM_VALUE 0 codec->spec->chipio_mutex.owner.counter 0
PARAM_VALUE 0 codec->spec->codec 4096-ptr_max
PARAM_VALUE 0 codec->spec->cur_mic_boost 0
PARAM_VALUE 0 codec->spec->cur_mic_type 0
PARAM_VALUE 0 codec->spec->cur_out_type 0
PARAM_VALUE 0 codec->spec->curr_chip_addx 0-4294967295
PARAM_VALUE 0 codec->spec->desktop_init_verbs 5301671338610442240
PARAM_VALUE 0 codec->spec->dig_in 9
PARAM_VALUE 0 codec->spec->dig_out 5
PARAM_VALUE 0 codec->spec->in_enum_val 0
PARAM_VALUE 0 codec->spec->multiout.dig_out_nid 5
PARAM_VALUE 0 codec->spec->multiout.max_channels 2,6
PARAM_VALUE 0 codec->spec->multiout.num_dacs 3
PARAM_VALUE 0 codec->spec->num_inputs 1-3
PARAM_VALUE 0 codec->spec->num_outputs 2
PARAM_VALUE 0 codec->spec->shared_mic_nid 7
PARAM_VALUE 0 codec->spec->shared_out_nid 2
PARAM_VALUE 0 codec->spec->unsol_tag_amic1 17-18
PARAM_VALUE 0 codec->spec->unsol_tag_front_hp 16
PARAM_VALUE 0 codec->spec->unsol_tag_hp 15-17
PARAM_VALUE 0 codec->spec->voicefx_val 0
PARAM_VALUE 0 codec->spec->xbass_xover_freq 8
PARAM_VALUE 0 *codec->spec->cur_ctl_vals 24
PARAM_VALUE 0 *codec->spec->effects_switch 0-1
PARAM_VALUE 0 *codec->spec->fx_ctl_val 50,65,67,74
PARAM_VALUE 0 *codec->spec->multiout.dac_nids 0-u16max
PARAM_VALUE 0 *codec->spec->vnode_lswitch 0
PARAM_VALUE 0 *codec->spec->vnode_lvol 90
PARAM_VALUE 0 *codec->spec->vnode_rswitch 0
PARAM_VALUE 0 *codec->spec->vnode_rvol 90
BUF_SIZE 0 codec->spec 7712,u64max
DATA_SOURCE 0 codec $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 codec->core.num_nodes
HALF_LOCKED2 &card->mutex
HALF_LOCKED2 _T->lock

sound/soc/codecs/hda.c hda_codec_probe() -> (struct hda_codec_ops)->remove()

Type Parameter Key Value
PARAM_VALUE 0 codec 4096-ptr_max
PARAM_VALUE 0 codec->addr 0-15
PARAM_VALUE 0 codec->bus 1-u64max
PARAM_VALUE 0 codec->card 4096-ptr_max
PARAM_VALUE 0 codec->card->proc_root->children.prev 4096-ptr_max
PARAM_VALUE 0 codec->card->proc_root->children.prev->next 4096-ptr_max
PARAM_VALUE 0 codec->card->proc_root->children.prev->next->next 4096-ptr_max
PARAM_VALUE 0 codec->core->bus->corb.buf 0-4294967294
PARAM_VALUE 0 codec->core->bus->last_cmd 0-u32max
PARAM_VALUE 0 codec->core.addr 0-15
PARAM_VALUE 0 codec->core.bus->cmd_dma_state 1
PARAM_VALUE 0 codec->core.bus->dev->bus 0,4096-ptr_max
PARAM_VALUE 0 codec->core.bus->dev->class 0,4096-ptr_max
PARAM_VALUE 0 codec->core.bus->dev->power.request 0-4
PARAM_VALUE 0 codec->core.bus->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 codec->core.bus->dev->power.wakeirq 0,4096-ptr_max
PARAM_VALUE 0 codec->core.bus->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 codec->core.bus->dev->type 0,4096-ptr_max
PARAM_VALUE 0 codec->core.bus->rirb.buf 4096-ptr_max
PARAM_VALUE 0 codec->core.bus->rirb.rp 0
PARAM_VALUE 0 codec->core.bus->rirb.wp 0
PARAM_VALUE 0 codec->core.dev.bus 0,4096-ptr_max
PARAM_VALUE 0 codec->core.dev.class 0,4096-ptr_max
PARAM_VALUE 0 codec->core.dev.driver 0,4096-ptr_max
PARAM_VALUE 0 codec->core.dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 codec->core.exec_verb 6994400078892957696
PARAM_VALUE 0 codec->core.num_nodes 0-s32max
PARAM_VALUE 0 codec->core.regmap 0-ptr_max
PARAM_VALUE 0 codec->core.regmap->cache_dirty 0-1
PARAM_VALUE 0 codec->core.vendor_verbs.alloc_align 8
PARAM_VALUE 0 codec->core.vendor_verbs.elem_size 4
PARAM_VALUE 0 codec->hints.alloc_align 32
PARAM_VALUE 0 codec->hints.elem_size 16
PARAM_VALUE 0 codec->hwdep 4096-ptr_max
PARAM_VALUE 0 codec->hwdep->card 4096-ptr_max
PARAM_VALUE 0 codec->hwdep->device 0-15
PARAM_VALUE 0 codec->hwdep->open_mutex.first_waiter 0
PARAM_VALUE 0 codec->hwdep->open_mutex.osq.tail.counter 0
PARAM_VALUE 0 codec->hwdep->open_mutex.owner.counter 0
PARAM_VALUE 0 codec->hwdep->oss_type (-1)
PARAM_VALUE 0 codec->init_verbs.alloc_align 32
PARAM_VALUE 0 codec->init_verbs.elem_size 12
PARAM_VALUE 0 codec->modelname 0,4096-ptr_max
PARAM_VALUE 0 codec->preset 4096-ptr_max
PARAM_VALUE 0 codec->user_mutex.dep_map->name 0-255
PARAM_VALUE 0 codec->user_mutex.first_waiter 0
PARAM_VALUE 0 codec->user_mutex.magic 4096-ptr_max
PARAM_VALUE 0 codec->user_mutex.osq.tail.counter 0
PARAM_VALUE 0 codec->user_mutex.owner.counter 0
PARAM_VALUE 0 codec->user_pins.alloc_align 16
PARAM_VALUE 0 codec->user_pins.elem_size 8
PARAM_VALUE 0 codec->wcaps 16,4096-ptr_max
PARAM_VALUE 0 *codec->core->bus->rirb.buf 0-255
PARAM_VALUE 0 *codec->core->bus->rirb.cmds s32min-s32max
CAPPED_DATA 0 codec->core.end_nid 1
CAPPED_DATA 0 codec->core.num_nodes 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 codec->core.num_nodes
LOCK2 &card->mutex
LOCK2 _T->lock
TYPE_LOCK (struct snd_soc_card)->mutex

sound/soc/codecs/hda.c hda_codec_remove() -> (struct hda_codec_ops)->remove()

Type Parameter Key Value
PARAM_VALUE 0 codec 4096-ptr_max
PARAM_VALUE 0 codec->core.dev.power.runtime_auto 0
PARAM_VALUE 0 codec->core.dev.power.wakeirq->status 0-4294967295
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock
HALF_LOCKED2 &card->mutex

sound/soc/codecs/hdac_hda.c hdac_hda_codec_probe() -> (struct hda_codec_ops)->remove()

Type Parameter Key Value
PARAM_VALUE 0 codec 4096-ptr_max
PARAM_VALUE 0 codec->addr 0-15
PARAM_VALUE 0 codec->bus 4096-ptr_max
PARAM_VALUE 0 codec->bus->card 4096-ptr_max
PARAM_VALUE 0 codec->bus->card->components 4096-ptr_max
PARAM_VALUE 0 codec->bus->card->components_alloc_size 1-u32max
PARAM_VALUE 0 codec->card 4096-ptr_max
PARAM_VALUE 0 codec->card->proc_root->children.prev 4096-ptr_max
PARAM_VALUE 0 codec->card->proc_root->children.prev->next 4096-ptr_max
PARAM_VALUE 0 codec->card->proc_root->children.prev->next->next 4096-ptr_max
PARAM_VALUE 0 codec->core.dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 codec->core.exec_verb 6994400078892957696
PARAM_VALUE 0 codec->core.num_nodes 0-s32max
PARAM_VALUE 0 codec->core.regmap 0-ptr_max
PARAM_VALUE 0 codec->core.regmap->cache_dirty 0-1
PARAM_VALUE 0 codec->core.vendor_verbs.alloc_align 8
PARAM_VALUE 0 codec->core.vendor_verbs.elem_size 4
PARAM_VALUE 0 codec->hints.alloc_align 32
PARAM_VALUE 0 codec->hints.elem_size 16
PARAM_VALUE 0 codec->hwdep 4096-ptr_max
PARAM_VALUE 0 codec->hwdep->card 4096-ptr_max
PARAM_VALUE 0 codec->hwdep->device 0-15
PARAM_VALUE 0 codec->hwdep->open_mutex.first_waiter 0
PARAM_VALUE 0 codec->hwdep->open_mutex.osq.tail.counter 0
PARAM_VALUE 0 codec->hwdep->open_mutex.owner.counter 0
PARAM_VALUE 0 codec->hwdep->oss_type (-1)
PARAM_VALUE 0 codec->init_verbs.alloc_align 32
PARAM_VALUE 0 codec->init_verbs.elem_size 12
PARAM_VALUE 0 codec->modelname 0,4096-ptr_max
PARAM_VALUE 0 codec->preset 4096-ptr_max
PARAM_VALUE 0 codec->user_mutex.dep_map->name 0-255
PARAM_VALUE 0 codec->user_mutex.first_waiter 0
PARAM_VALUE 0 codec->user_mutex.magic 4096-ptr_max
PARAM_VALUE 0 codec->user_mutex.osq.tail.counter 0
PARAM_VALUE 0 codec->user_mutex.owner.counter 0
PARAM_VALUE 0 codec->user_pins.alloc_align 16
PARAM_VALUE 0 codec->user_pins.elem_size 8
PARAM_VALUE 0 codec->wcaps 16,4096-ptr_max
PARAM_VALUE 0 *codec->core.bus->last_cmd 0-4294967295
CAPPED_DATA 0 codec->core.end_nid 1
CAPPED_DATA 0 codec->core.num_nodes 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 codec->core.num_nodes
LOCK2 &card->mutex
LOCK2 _T->lock
TYPE_LOCK (struct snd_soc_card)->mutex

sound/soc/codecs/hdac_hda.c hdac_hda_codec_remove() -> (struct hda_codec_ops)->remove()

Type Parameter Key Value
PARAM_VALUE 0 codec 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock
HALF_LOCKED2 &card->mutex

sound/hda/common/bind.c hda_codec_driver_probe() -> (struct hda_codec_ops)->remove()

Type Parameter Key Value
PARAM_VALUE 0 codec 4096-ptr_max
PARAM_VALUE 0 codec->bus 4096-ptr_max
PARAM_VALUE 0 codec->bus->core.ext_ops 0
PARAM_VALUE 0 codec->core.dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 codec->core.regmap 0-ptr_max
PARAM_VALUE 0 codec->core.vendor_verbs.alloc_align 8
PARAM_VALUE 0 codec->core.vendor_verbs.elem_size 4
PARAM_VALUE 0 codec->preset 4096-ptr_max
PARAM_VALUE 0 *codec->core.bus->last_cmd 0-4294967295
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

sound/hda/common/bind.c hda_codec_driver_remove() -> (struct hda_codec_ops)->remove()

Type Parameter Key Value
PARAM_VALUE 0 codec 4096-ptr_max
PARAM_VALUE 0 codec->bus 4096-ptr_max
PARAM_VALUE 0 codec->bus->card 4096-ptr_max
PARAM_VALUE 0 codec->bus->core.ext_ops 0
PARAM_VALUE 0 codec->jacktbl.used 0-s32max
CAPPED_DATA 0 codec->jacktbl.used 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex