Open Menu /

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_mgr_destroy() -> rsc_mgr_uninit()

Type Parameter Key Value
PARAM_VALUE 0 mgr 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

sound/pci/ctxfi/ctsrc.c srcimp_mgr_create() -> rsc_mgr_uninit()

Type Parameter Key Value
PARAM_VALUE 0 mgr 4096-ptr_max
PARAM_VALUE 0 mgr->amount 256
PARAM_VALUE 0 mgr->avail 10,256
PARAM_VALUE 0 mgr->ctrl_blk 0,4096-ptr_max
PARAM_VALUE 0 mgr->hw 4096-ptr_max
PARAM_VALUE 0 mgr->rscs 4096-ptr_max
PARAM_VALUE 0 mgr->type 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pci->dev.mutex
HALF_LOCKED2 &pool->lock

sound/pci/ctxfi/ctsrc.c srcimp_mgr_destroy() -> rsc_mgr_uninit()

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

sound/pci/ctxfi/ctamixer.c amixer_mgr_destroy() -> rsc_mgr_uninit()

Type Parameter Key Value
PARAM_VALUE 0 mgr 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

sound/pci/ctxfi/ctamixer.c sum_mgr_destroy() -> rsc_mgr_uninit()

Type Parameter Key Value
PARAM_VALUE 0 mgr 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

sound/pci/ctxfi/ctdaio.c daio_mgr_create() -> rsc_mgr_uninit()

Type Parameter Key Value
PARAM_VALUE 0 mgr 4096-ptr_max
PARAM_VALUE 0 mgr->amount 10
PARAM_VALUE 0 mgr->avail 10,256
PARAM_VALUE 0 mgr->ctrl_blk 0,4096-ptr_max
PARAM_VALUE 0 mgr->hw 4096-ptr_max
PARAM_VALUE 0 mgr->rscs 4096-ptr_max
PARAM_VALUE 0 mgr->type 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pci->dev.mutex
HALF_LOCKED2 &pool->lock

sound/pci/ctxfi/ctdaio.c daio_mgr_destroy() -> rsc_mgr_uninit()

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