Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 29 files:

Smatch caller information:

drivers/media/usb/pvrusb2/pvrusb2-dvb.c pvr2_dvb_adapter_exit() -> dvb_dmxdev_release()

Type Parameter Key Value
PARAM_VALUE 0 dmxdev 4096-ptr_max
NOCHECK_CALL

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

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

drivers/media/usb/em28xx/em28xx-dvb.c em28xx_register_dvb() -> dvb_dmxdev_release()

Type Parameter Key Value
PARAM_VALUE 0 dmxdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->demux 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.next 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.prev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.size 8192
PARAM_VALUE 0 dmxdev->dvr_dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->filter 1-u64max
PARAM_VALUE 0 dmxdev->filternum 256
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dmxdev->filternum

drivers/media/usb/em28xx/em28xx-dvb.c em28xx_unregister_dvb() -> dvb_dmxdev_release()

Type Parameter Key Value
PARAM_VALUE 0 dmxdev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &em28xx_devlist_mutex

drivers/media/pci/ttpci/budget-core.c budget_register() -> dvb_dmxdev_release()

Type Parameter Key Value
PARAM_VALUE 0 dmxdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->demux 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvbdev 0,4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.size 0,8192
PARAM_VALUE 0 dmxdev->filternum 256
MEM_ZERO 0 dmxdev
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dmxdev->filternum
HALF_LOCKED2 &pool->lock

drivers/media/pci/ttpci/budget-core.c budget_unregister() -> dvb_dmxdev_release()

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

drivers/media/pci/pt1/pt1.c pt1_free_adapter() -> dvb_dmxdev_release()

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

drivers/media/pci/ddbridge/ddbridge-core.c dvb_input_detach() -> dvb_dmxdev_release()

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

drivers/media/common/b2c2/flexcop.c flexcop_dvb_exit() -> dvb_dmxdev_release()

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

drivers/media/common/b2c2/flexcop.c flexcop_dvb_init() -> dvb_dmxdev_release()

Type Parameter Key Value
PARAM_VALUE 0 dmxdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->demux 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.next 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.prev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.size 8192
PARAM_VALUE 0 dmxdev->dvr_dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->filter 1-u64max
PARAM_VALUE 0 dmxdev->filternum 256
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dmxdev->filternum

drivers/media/pci/mantis/mantis_dvb.c mantis_dvb_exit() -> dvb_dmxdev_release()

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

drivers/media/pci/mantis/mantis_dvb.c mantis_dvb_init() -> dvb_dmxdev_release()

Type Parameter Key Value
PARAM_VALUE 0 dmxdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->demux 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.next 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.prev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.size 8192
PARAM_VALUE 0 dmxdev->dvr_dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->filter 1-u64max
PARAM_VALUE 0 dmxdev->filternum 256
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dmxdev->filternum

drivers/media/pci/dm1105/dm1105.c dm1105_probe() -> dvb_dmxdev_release()

Type Parameter Key Value
PARAM_VALUE 0 dmxdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->demux 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.next 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.prev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.size 8192
PARAM_VALUE 0 dmxdev->dvr_dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->filter 1-u64max
PARAM_VALUE 0 dmxdev->filternum 256
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dmxdev->filternum

drivers/media/pci/dm1105/dm1105.c dm1105_remove() -> dvb_dmxdev_release()

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

drivers/media/usb/cx231xx/cx231xx-dvb.c register_dvb() -> dvb_dmxdev_release()

Type Parameter Key Value
PARAM_VALUE 0 dmxdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->demux 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.next 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.prev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.size 8192
PARAM_VALUE 0 dmxdev->dvr_dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->filter 1-u64max
PARAM_VALUE 0 dmxdev->filternum 256
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dmxdev->filternum

drivers/media/usb/cx231xx/cx231xx-dvb.c unregister_dvb() -> dvb_dmxdev_release()

Type Parameter Key Value
PARAM_VALUE 0 dmxdev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &cx231xx_devlist_mutex

drivers/media/usb/dvb-usb/dvb-usb-dvb.c dvb_usb_adapter_dvb_exit() -> dvb_dmxdev_release()

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

drivers/media/usb/dvb-usb/dvb-usb-dvb.c dvb_usb_adapter_dvb_init() -> dvb_dmxdev_release()

Type Parameter Key Value
PARAM_VALUE 0 dmxdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->demux 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.next 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.prev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.size 8192
PARAM_VALUE 0 dmxdev->dvr_dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->filter 1-u64max
PARAM_VALUE 0 dmxdev->filternum 0-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dmxdev->filternum

drivers/media/pci/cx18/cx18-dvb.c cx18_dvb_register() -> dvb_dmxdev_release()

Type Parameter Key Value
PARAM_VALUE 0 dmxdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->demux 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.next 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.prev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.size 8192
PARAM_VALUE 0 dmxdev->dvr_dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->filter 1-u64max
PARAM_VALUE 0 dmxdev->filternum 256
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dmxdev->filternum
HALF_LOCKED2 &pool->lock

drivers/media/pci/cx18/cx18-dvb.c cx18_dvb_unregister() -> dvb_dmxdev_release()

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

drivers/media/usb/ttusb-dec/ttusb_dec.c ttusb_dec_exit_dvb() -> dvb_dmxdev_release()

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

drivers/media/usb/ttusb-dec/ttusb_dec.c ttusb_dec_init_dvb() -> dvb_dmxdev_release()

Type Parameter Key Value
PARAM_VALUE 0 dmxdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->demux 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.next 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.prev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.size 8192
PARAM_VALUE 0 dmxdev->dvr_dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->filter 1-u64max
PARAM_VALUE 0 dmxdev->filternum 32
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dmxdev->filternum

drivers/media/usb/ttusb-dec/ttusb_dec.c ttusb_dec_init_dvb() -> dvb_dmxdev_release()

Type Parameter Key Value
PARAM_VALUE 0 dmxdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->demux 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.next 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.prev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.size 8192
PARAM_VALUE 0 dmxdev->dvr_dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->filter 1-u64max
PARAM_VALUE 0 dmxdev->filternum 32
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dmxdev->filternum

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

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

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

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

drivers/media/pci/pluto2/pluto2.c pluto2_probe() -> dvb_dmxdev_release()

Type Parameter Key Value
PARAM_VALUE 0 dmxdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->demux 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.next 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.prev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.size 8192
PARAM_VALUE 0 dmxdev->dvr_dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->filter 1-u64max
PARAM_VALUE 0 dmxdev->filternum 8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dmxdev->filternum

drivers/media/pci/pluto2/pluto2.c pluto2_remove() -> dvb_dmxdev_release()

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

drivers/media/common/siano/smsdvb-main.c smsdvb_hotplug() -> dvb_dmxdev_release()

Type Parameter Key Value
PARAM_VALUE 0 dmxdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->demux 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.next 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.prev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.size 8192
PARAM_VALUE 0 dmxdev->dvr_dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->filter 1-u64max
PARAM_VALUE 0 dmxdev->filternum 32
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dmxdev->filternum
LOCK2 global &g_smscore_deviceslock

drivers/media/common/siano/smsdvb-main.c smsdvb_unregister_client() -> dvb_dmxdev_release()

Type Parameter Key Value
PARAM_VALUE 0 dmxdev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &g_smsdvb_clientslock
HALF_LOCKED2 global &g_smscore_deviceslock

drivers/media/usb/ttusb-budget/dvb-ttusb-budget.c ttusb_disconnect() -> dvb_dmxdev_release()

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

drivers/media/usb/ttusb-budget/dvb-ttusb-budget.c ttusb_probe() -> dvb_dmxdev_release()

Type Parameter Key Value
PARAM_VALUE 0 dmxdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->demux 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.next 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.prev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.size 8192
PARAM_VALUE 0 dmxdev->dvr_dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->filter 1-u64max
PARAM_VALUE 0 dmxdev->filternum 32
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dmxdev->filternum

drivers/media/usb/au0828/au0828-dvb.c au0828_dvb_unregister() -> dvb_dmxdev_release()

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

drivers/media/usb/au0828/au0828-dvb.c dvb_register() -> dvb_dmxdev_release()

Type Parameter Key Value
PARAM_VALUE 0 dmxdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->demux 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.next 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.prev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.size 8192
PARAM_VALUE 0 dmxdev->dvr_dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->filter 1-u64max
PARAM_VALUE 0 dmxdev->filternum 256
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dmxdev->filternum
LOCK2 &dev->lock
TYPE_LOCK (struct au0828_dev)->lock

drivers/media/usb/as102/as102_drv.c as102_dvb_register() -> dvb_dmxdev_release()

Type Parameter Key Value
PARAM_VALUE 0 dmxdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->demux 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.next 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.prev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.size 8192
PARAM_VALUE 0 dmxdev->dvr_dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->filter 1-u64max
PARAM_VALUE 0 dmxdev->filternum 16,256
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dmxdev->filternum

drivers/media/usb/as102/as102_drv.c as102_dvb_unregister() -> dvb_dmxdev_release()

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

drivers/media/usb/dvb-usb-v2/dvb_usb_core.c dvb_usbv2_adapter_dvb_exit() -> dvb_dmxdev_release()

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

drivers/media/usb/dvb-usb-v2/dvb_usb_core.c dvb_usbv2_adapter_dvb_init() -> dvb_dmxdev_release()

Type Parameter Key Value
PARAM_VALUE 0 dmxdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->demux 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.next 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.prev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.size 8192
PARAM_VALUE 0 dmxdev->dvr_dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->filter 1-u64max
PARAM_VALUE 0 dmxdev->filternum 0-255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dmxdev->filternum

drivers/media/pci/bt8xx/dvb-bt8xx.c dvb_bt8xx_load_card() -> dvb_dmxdev_release()

Type Parameter Key Value
PARAM_VALUE 0 dmxdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->demux 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.next 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.prev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.size 8192
PARAM_VALUE 0 dmxdev->dvr_dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->filter 1-u64max
PARAM_VALUE 0 dmxdev->filternum 256
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dmxdev->filternum

drivers/media/pci/bt8xx/dvb-bt8xx.c dvb_bt8xx_remove() -> dvb_dmxdev_release()

Type Parameter Key Value
PARAM_VALUE 0 dmxdev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/media/common/videobuf2/videobuf2-dvb.c vb2_dvb_dealloc_frontends() -> dvb_dmxdev_release()

Type Parameter Key Value
PARAM_VALUE 0 dmxdev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &f->lock
HALF_LOCKED2 &drv->core->lock
HALF_LOCKED2 global &cx8802_mutex
TYPE_LOCK (struct vb2_dvb_frontends)->lock

drivers/media/common/videobuf2/videobuf2-dvb.c vb2_dvb_register_frontend() -> dvb_dmxdev_release()

Type Parameter Key Value
PARAM_VALUE 0 dmxdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->demux 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.next 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.prev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.size 8192
PARAM_VALUE 0 dmxdev->dvr_dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->filter 1-u64max
PARAM_VALUE 0 dmxdev->filternum 256
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dmxdev->filternum
LOCK2 &f->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct vb2_dvb_frontends)->lock

drivers/media/test-drivers/vidtv/vidtv_bridge.c vidtv_bridge_dvb_init() -> dvb_dmxdev_release()

Type Parameter Key Value
PARAM_VALUE 0 dmxdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->demux 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.next 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.prev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.size 8192
PARAM_VALUE 0 dmxdev->dvr_dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->filter 1-u64max
PARAM_VALUE 0 dmxdev->filternum 256
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dmxdev->filternum

drivers/media/test-drivers/vidtv/vidtv_bridge.c vidtv_bridge_remove() -> dvb_dmxdev_release()

Type Parameter Key Value
PARAM_VALUE 0 dmxdev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex

drivers/media/pci/smipcie/smipcie-main.c smi_dvb_exit() -> dvb_dmxdev_release()

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

drivers/media/pci/smipcie/smipcie-main.c smi_dvb_init() -> dvb_dmxdev_release()

Type Parameter Key Value
PARAM_VALUE 0 dmxdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->demux 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.next 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.prev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.size 8192
PARAM_VALUE 0 dmxdev->dvr_dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->filter 1-u64max
PARAM_VALUE 0 dmxdev->filternum 256
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/media/spi/cxd2880-spi.c cxd2880_spi_probe() -> dvb_dmxdev_release()

Type Parameter Key Value
PARAM_VALUE 0 dmxdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->demux 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.next 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.prev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.size 8192
PARAM_VALUE 0 dmxdev->dvr_dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->filter 1-u64max
PARAM_VALUE 0 dmxdev->filternum 32
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dmxdev->filternum

drivers/media/spi/cxd2880-spi.c cxd2880_spi_remove() -> dvb_dmxdev_release()

Type Parameter Key Value
PARAM_VALUE 0 dmxdev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/media/pci/saa7164/saa7164-dvb.c dvb_register() -> dvb_dmxdev_release()

Type Parameter Key Value
PARAM_VALUE 0 dmxdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->demux 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.next 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.prev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.size 8192
PARAM_VALUE 0 dmxdev->dvr_dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->filter 1-u64max
PARAM_VALUE 0 dmxdev->filternum 256
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dmxdev->filternum
HALF_LOCKED2 &pool->lock

drivers/media/pci/saa7164/saa7164-dvb.c saa7164_dvb_unregister() -> dvb_dmxdev_release()

Type Parameter Key Value
PARAM_VALUE 0 dmxdev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/media/pci/pt3/pt3.c pt3_alloc_adapter() -> dvb_dmxdev_release()

Type Parameter Key Value
PARAM_VALUE 0 dmxdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->demux 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.next 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.prev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.size 8192
PARAM_VALUE 0 dmxdev->dvr_dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->filter 1-u64max
PARAM_VALUE 0 dmxdev->filternum 256
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dmxdev->filternum

drivers/media/pci/pt3/pt3.c pt3_cleanup_adapter() -> dvb_dmxdev_release()

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

drivers/media/firewire/firedtv-dvb.c fdtv_dvb_register() -> dvb_dmxdev_release()

Type Parameter Key Value
PARAM_VALUE 0 dmxdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->demux 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.next 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.queue.head.prev 4096-ptr_max
PARAM_VALUE 0 dmxdev->dvr_buffer.size 8192
PARAM_VALUE 0 dmxdev->dvr_dvbdev 4096-ptr_max
PARAM_VALUE 0 dmxdev->filter 1-u64max
PARAM_VALUE 0 dmxdev->filternum 16
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dmxdev->filternum

drivers/media/firewire/firedtv-dvb.c fdtv_dvb_unregister() -> dvb_dmxdev_release()

Type Parameter Key Value
PARAM_VALUE 0 dmxdev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->mutex
TYPE_LOCK (struct device)->mutex