Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

sound/pci/ctxfi/ctatc.c ct_atc_destroy() -> ct_mixer_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mixer 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

sound/pci/ctxfi/ctmixer.c ct_mixer_create() -> ct_mixer_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mixer 4096-ptr_max
PARAM_VALUE 0 mixer->atc 4096-ptr_max
PARAM_VALUE 0 mixer->atc->atc_mutex.first_waiter 0
PARAM_VALUE 0 mixer->atc->atc_mutex.magic 4096-ptr_max
PARAM_VALUE 0 mixer->atc->atc_mutex.osq.tail.counter 0
PARAM_VALUE 0 mixer->atc->atc_mutex.owner.counter 0
PARAM_VALUE 0 mixer->atc->card 4096-ptr_max
PARAM_VALUE 0 mixer->atc->chip_name 2066167296305598464,5079615477903155200
PARAM_VALUE 0 mixer->atc->chip_type 0-1
PARAM_VALUE 0 mixer->atc->hw 4096-ptr_max
PARAM_VALUE 0 mixer->atc->model 0-10,12-13,257,259,261,41000,44100,48000,65536,131072,8388608,10485760,12582912,14680064
PARAM_VALUE 0 mixer->atc->msr 1-2,4
PARAM_VALUE 0 mixer->atc->pci 4096-ptr_max
PARAM_VALUE 0 mixer->atc->rca_state 0
PARAM_VALUE 0 mixer->atc->rsr 44100,48000
PARAM_VALUE 0 mixer->atc->vm 4096-ptr_max
PARAM_VALUE 0 mixer->get_output_ports 102075008676671488
PARAM_VALUE 0 mixer->resume 982513614345113600
PARAM_VALUE 0 mixer->set_input_left 5700648232364797952
PARAM_VALUE 0 mixer->set_input_right 6363206997315891200
PARAM_VALUE 0 mixer->sums 4096-ptr_max
PARAM_VALUE 0 mixer->switch_state 0
PARAM_VALUE 0 *mixer->sums 0,4096-ptr_max
BUF_SIZE 0 mixer->atc 648
CAPPED_DATA 0 mixer->atc->msr 1
TERMINATED 0 mixer->atc->chip_name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pci->dev.mutex
HALF_LOCKED2 &pool->lock