Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 11 files:

Smatch caller information:

drivers/media/pci/ngene/ngene-core.c release_channel() -> dvb_unregister_device()

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

drivers/media/dvb-core/dvb_ca_en50221.c dvb_ca_en50221_init() -> dvb_unregister_device()

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

drivers/staging/media/av7110/av7110.c dvb_unregister() -> dvb_unregister_device()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/dvb-core/dmxdev.c dvb_dmxdev_init() -> dvb_unregister_device()

Type Parameter Key Value
PARAM_VALUE 0 dvbdev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &f->lock
HALF_LOCKED2 global &g_smscore_deviceslock

drivers/media/dvb-core/dmxdev.c dvb_dmxdev_release() -> dvb_unregister_device()

Type Parameter Key Value
PARAM_VALUE 0 dvbdev 4096-ptr_max
PARAM_VALUE 0 dvbdev->users s32min-1
FUZZY_MAX 0 dvbdev->users 1
HARD_MAX 0 dvbdev->users 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &f->lock
HALF_LOCKED2 global &cx231xx_devlist_mutex
HALF_LOCKED2 global &em28xx_devlist_mutex
HALF_LOCKED2 global &g_smscore_deviceslock
HALF_LOCKED2 global &g_smsdvb_clientslock

drivers/media/dvb-core/dmxdev.c dvb_dmxdev_release() -> dvb_unregister_device()

Type Parameter Key Value
PARAM_VALUE 0 dvbdev 4096-ptr_max
PARAM_VALUE 0 dvbdev->users s32min-1
FUZZY_MAX 0 dvbdev->users 1
HARD_MAX 0 dvbdev->users 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &f->lock
HALF_LOCKED2 global &cx231xx_devlist_mutex
HALF_LOCKED2 global &em28xx_devlist_mutex
HALF_LOCKED2 global &g_smscore_deviceslock
HALF_LOCKED2 global &g_smsdvb_clientslock

drivers/media/pci/ddbridge/ddbridge-ci.c ddb_ci_detach() -> dvb_unregister_device()

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

drivers/media/firewire/firedtv-ci.c fdtv_ca_release() -> dvb_unregister_device()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/staging/media/av7110/av7110_ca.c av7110_ca_unregister() -> dvb_unregister_device()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/dvb-core/dvb_net.c dvb_net_release() -> dvb_unregister_device()

Type Parameter Key Value
PARAM_VALUE 0 dvbdev 4096-ptr_max
PARAM_VALUE 0 dvbdev->users 1-s32max
FUZZY_MAX 0 dvbdev->users 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &f->lock
HALF_LOCKED2 global &cx231xx_devlist_mutex
HALF_LOCKED2 global &em28xx_devlist_mutex

drivers/staging/media/av7110/av7110_av.c av7110_av_unregister() -> dvb_unregister_device()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/staging/media/av7110/av7110_av.c av7110_av_unregister() -> dvb_unregister_device()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/pci/bt8xx/dst.c bt8xx_dst_release() -> dvb_unregister_device()

Type Parameter Key Value
PARAM_VALUE 0 dvbdev 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &d->data_mutex
HALF_LOCKED2 &dev->lock