Open Menu /

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/media/dvb-frontends/stv0900_core.c stv0900_release() -> remove_inode()

Type Parameter Key Value
PARAM_VALUE 0 internal 4096-ptr_max
PARAM_VALUE 0 internal->dmds_used s32min-0
FUZZY_MAX 0 internal->dmds_used 0
HARD_MAX 0 internal->dmds_used 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &d->data_mutex
HALF_LOCKED2 &dev->lock

drivers/media/pci/cx23885/altera-ci.c altera_ci_release() -> remove_inode()

Type Parameter Key Value
PARAM_VALUE 0 internal 4096-ptr_max
PARAM_VALUE 0 internal->cis_used s32min-0
PARAM_VALUE 0 internal->filts_used s32min-0
PARAM_VALUE 0 internal->state 4096-ptr_max
FUZZY_MAX 0 internal->cis_used 0
FUZZY_MAX 0 internal->filts_used 0
HARD_MAX 0 internal->cis_used 0
HARD_MAX 0 internal->filts_used 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/pci/cx23885/altera-ci.c altera_hw_filt_release() -> remove_inode()

Type Parameter Key Value
PARAM_VALUE 0 internal 4096-ptr_max
PARAM_VALUE 0 internal->cis_used s32min-0
PARAM_VALUE 0 internal->filts_used s32min-0
PARAM_VALUE 0 internal->pid_filt 4096-ptr_max
FUZZY_MAX 0 internal->cis_used 0
FUZZY_MAX 0 internal->filts_used 0
HARD_MAX 0 internal->cis_used 0
HARD_MAX 0 internal->filts_used 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL