Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

sound/pci/ctxfi/ctsrc.c src_rsc_init() -> rsc_uninit()

Type Parameter Key Value
PARAM_VALUE 0 rsc 16,4096-ptr_max
PARAM_VALUE 0 rsc->ctrl_blk 0
PARAM_VALUE 0 rsc->ops 4022208931233095680
PARAM_VALUE 0 rsc->type 0,5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

sound/pci/ctxfi/ctsrc.c src_rsc_uninit() -> rsc_uninit()

Type Parameter Key Value
PARAM_VALUE 0 rsc 4096-ptr_max
PARAM_VALUE 0 rsc->ops 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

sound/pci/ctxfi/ctsrc.c srcimp_rsc_uninit() -> rsc_uninit()

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

sound/pci/ctxfi/ctamixer.c amixer_rsc_uninit() -> rsc_uninit()

Type Parameter Key Value
PARAM_VALUE 0 rsc 4096-ptr_max
PARAM_VALUE 0 rsc->hw 4096-ptr_max
PARAM_VALUE 0 rsc->idx 0-255
PARAM_VALUE 0 rsc->ops 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

sound/pci/ctxfi/ctamixer.c sum_rsc_uninit() -> rsc_uninit()

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

sound/pci/ctxfi/ctdaio.c daio_rsc_init() -> rsc_uninit()

Type Parameter Key Value
PARAM_VALUE 0 rsc 4096-ptr_max
PARAM_VALUE 0 rsc->ctrl_blk 4096-ptr_max
PARAM_VALUE 0 rsc->ops 4022208931233095680
PARAM_VALUE 0 rsc->type 4
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

sound/pci/ctxfi/ctdaio.c daio_rsc_uninit() -> rsc_uninit()

Type Parameter Key Value
PARAM_VALUE 0 rsc 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 rsc->msr

sound/pci/ctxfi/ctdaio.c daio_rsc_uninit() -> rsc_uninit()

Type Parameter Key Value
PARAM_VALUE 0 rsc 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 rsc->msr