dvb_unregister_frontend identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Documented in 1 files:

include/media/dvb_frontend.h, line 723

Defined in 1 files as a prototype:

include/media/dvb_frontend.h, line 735 (as a prototype)

Defined in 1 files as a function:

drivers/media/dvb-core/dvb_frontend.c, line 3095 (as a function)

Referenced in 32 files:

Smatch caller information:

drivers/media/usb/pvrusb2/pvrusb2-dvb.c pvr2_dvb_frontend_exit() -> dvb_unregister_frontend()

Type	Parameter	Key	Value
PARAM_VALUE	0	fe	1-u64max
NOCHECK_CALL

drivers/media/usb/pvrusb2/pvrusb2-dvb.c pvr2_dvb_frontend_exit() -> dvb_unregister_frontend()

Type	Parameter	Key	Value
PARAM_VALUE	0	fe	1-u64max
NOCHECK_CALL

drivers/media/usb/pvrusb2/pvrusb2-dvb.c pvr2_dvb_frontend_init() -> dvb_unregister_frontend()

Type	Parameter	Key	Value
PARAM_VALUE	0	fe	4096-ptr_max
NOCHECK_CALL

drivers/media/pci/ttpci/budget-ci.c budget_ci_detach() -> dvb_unregister_frontend()

Type	Parameter	Key	Value
PARAM_VALUE	0	fe	1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&dev->mutex

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

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

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

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

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

Type	Parameter	Key	Value
PARAM_VALUE	0	fe	4096-ptr_max
NOCHECK_CALL

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

Type	Parameter	Key	Value
PARAM_VALUE	0	fe	4096-ptr_max
NOCHECK_CALL

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

Type	Parameter	Key	Value
PARAM_VALUE	0	fe	1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		global &em28xx_devlist_mutex

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

Type	Parameter	Key	Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		global &em28xx_devlist_mutex

drivers/media/pci/cx88/cx88-dvb.c attach_xc3028() -> dvb_unregister_frontend()

Type	Parameter	Key	Value
PARAM_VALUE	0	fe	4096-ptr_max
PARAM_VALUE	0	fe->demodulator_priv->i2c->bus_lock.dep_map->name	0-255
PARAM_VALUE	0	fe->demodulator_priv->i2c->bus_lock.rtmutex.owner	0-1
PARAM_VALUE	0	fe->demodulator_priv->i2c->dev.driver_data->mutex->wait_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	fe->frontend_priv->dvbdev->ref.refcount.refs.counter	s32min-s32max
CAPPED_DATA	0	fe->frontend_priv	1
CAPPED_DATA	0	fe->ops.analog_ops.release	1
CAPPED_DATA	0	fe->ops.release_sec	1
CAPPED_DATA	0	fe->ops.tuner_ops.release	1
NOCHECK_CALL

drivers/media/pci/cx88/cx88-dvb.c attach_xc4000() -> dvb_unregister_frontend()

Type	Parameter	Key	Value
PARAM_VALUE	0	fe	4096-ptr_max
PARAM_VALUE	0	fe->demodulator_priv->i2c->bus_lock.dep_map->name	0-255
PARAM_VALUE	0	fe->demodulator_priv->i2c->bus_lock.rtmutex.owner	0-1
PARAM_VALUE	0	fe->demodulator_priv->i2c->dev.driver_data->mutex->wait_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	fe->frontend_priv->dvbdev->ref.refcount.refs.counter	s32min-s32max
CAPPED_DATA	0	fe->frontend_priv	1
CAPPED_DATA	0	fe->ops.analog_ops.release	1
CAPPED_DATA	0	fe->ops.release_sec	1
CAPPED_DATA	0	fe->ops.tuner_ops.release	1
NOCHECK_CALL

drivers/media/pci/pt1/pt1.c pt1_cleanup_frontend() -> dvb_unregister_frontend()

Type	Parameter	Key	Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/pci/pt1/pt1.c pt1_init_frontends() -> dvb_unregister_frontend()

Type	Parameter	Key	Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/pci/ddbridge/ddbridge-core.c dvb_input_attach() -> dvb_unregister_frontend()

Type	Parameter	Key	Value
PARAM_VALUE	0	fe->dtv_property_cache.atscmh_nog	0
PARAM_VALUE	0	fe->dtv_property_cache.atscmh_prc	0
PARAM_VALUE	0	fe->dtv_property_cache.atscmh_sgn	0
PARAM_VALUE	0	fe->dtv_property_cache.atscmh_tnog	0
PARAM_VALUE	0	fe->dtv_property_cache.bandwidth_hz	0,38961000
PARAM_VALUE	0	fe->dtv_property_cache.cnr.len	0
PARAM_VALUE	0	fe->dtv_property_cache.code_rate_HP	9
PARAM_VALUE	0	fe->dtv_property_cache.code_rate_LP	9
PARAM_VALUE	0	fe->dtv_property_cache.fec_inner	9
PARAM_VALUE	0	fe->dtv_property_cache.frequency	0
PARAM_VALUE	0	fe->dtv_property_cache.guard_interval	4
PARAM_VALUE	0	fe->dtv_property_cache.hierarchy	4
PARAM_VALUE	0	fe->dtv_property_cache.inversion	0
PARAM_VALUE	0	fe->dtv_property_cache.isdbt_layer_enabled	7
PARAM_VALUE	0	fe->dtv_property_cache.lna	u32max
PARAM_VALUE	0	fe->dtv_property_cache.modulation	0,6-7
PARAM_VALUE	0	fe->dtv_property_cache.pilot	2
PARAM_VALUE	0	fe->dtv_property_cache.rolloff	0-1,3
PARAM_VALUE	0	fe->dtv_property_cache.sectone	1
PARAM_VALUE	0	fe->dtv_property_cache.stream_id	u32max
PARAM_VALUE	0	fe->dtv_property_cache.symbol_rate	0,28860000
PARAM_VALUE	0	fe->dtv_property_cache.transmission_mode	2
PARAM_VALUE	0	fe->dtv_property_cache.voltage	2
PARAM_VALUE	0	fe->dvb	4096-ptr_max
PARAM_VALUE	0	fe->frontend_priv	4096-ptr_max
BUF_SIZE	0	fe	0
BIT_INFO	0	fe	0x0,0x0
MEM_ZERO	0	&fe->dtv_property_cache
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&pool->lock

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

Type	Parameter	Key	Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

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

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

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

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

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

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

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

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

Type	Parameter	Key	Value
PARAM_VALUE	0	fe	4096-ptr_max
NOCHECK_CALL

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

Type	Parameter	Key	Value
PARAM_VALUE	0	fe	4096-ptr_max
NOCHECK_CALL

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

Type	Parameter	Key	Value
PARAM_VALUE	0	fe	1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		global &cx231xx_devlist_mutex

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

Type	Parameter	Key	Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		global &cx231xx_devlist_mutex

drivers/media/usb/dvb-usb/dvb-usb-dvb.c dvb_usb_adapter_frontend_exit() -> dvb_unregister_frontend()

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

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

Type	Parameter	Key	Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

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

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

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

drivers/media/pci/ttpci/budget.c budget_detach() -> dvb_unregister_frontend()

Type	Parameter	Key	Value
PARAM_VALUE	0	fe	1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&dev->mutex

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

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

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

Type	Parameter	Key	Value
PARAM_VALUE	0	fe	4096-ptr_max
PARAM_VALUE	0	fe->dtv_property_cache.bandwidth_hz	0,38961000
PARAM_VALUE	0	fe->dtv_property_cache.code_rate_HP	9
PARAM_VALUE	0	fe->dtv_property_cache.code_rate_LP	9
PARAM_VALUE	0	fe->dtv_property_cache.fec_inner	9
PARAM_VALUE	0	fe->dtv_property_cache.guard_interval	4
PARAM_VALUE	0	fe->dtv_property_cache.hierarchy	4
PARAM_VALUE	0	fe->dtv_property_cache.isdbt_layer_enabled	7
PARAM_VALUE	0	fe->dtv_property_cache.lna	u32max
PARAM_VALUE	0	fe->dtv_property_cache.modulation	0,6-7
PARAM_VALUE	0	fe->dtv_property_cache.pilot	2
PARAM_VALUE	0	fe->dtv_property_cache.rolloff	0-1,3
PARAM_VALUE	0	fe->dtv_property_cache.sectone	1
PARAM_VALUE	0	fe->dtv_property_cache.stream_id	u32max
PARAM_VALUE	0	fe->dtv_property_cache.symbol_rate	0,28860000
PARAM_VALUE	0	fe->dtv_property_cache.transmission_mode	2
PARAM_VALUE	0	fe->dtv_property_cache.voltage	2
PARAM_VALUE	0	fe->dvb	4096-ptr_max
PARAM_VALUE	0	fe->frontend_priv	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		global &g_smscore_deviceslock

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

Type	Parameter	Key	Value
PARAM_VALUE	0	fe	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_unregister_frontend()

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

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

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

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

Type	Parameter	Key	Value
PARAM_VALUE	0	fe	4096-ptr_max
PARAM_VALUE	0	fe->dtv_property_cache.bandwidth_hz	0,38961000
PARAM_VALUE	0	fe->dtv_property_cache.code_rate_HP	9
PARAM_VALUE	0	fe->dtv_property_cache.code_rate_LP	9
PARAM_VALUE	0	fe->dtv_property_cache.fec_inner	9
PARAM_VALUE	0	fe->dtv_property_cache.guard_interval	4
PARAM_VALUE	0	fe->dtv_property_cache.hierarchy	4
PARAM_VALUE	0	fe->dtv_property_cache.isdbt_layer_enabled	7
PARAM_VALUE	0	fe->dtv_property_cache.lna	u32max
PARAM_VALUE	0	fe->dtv_property_cache.modulation	0,6-7
PARAM_VALUE	0	fe->dtv_property_cache.pilot	2
PARAM_VALUE	0	fe->dtv_property_cache.rolloff	0-1,3
PARAM_VALUE	0	fe->dtv_property_cache.sectone	1
PARAM_VALUE	0	fe->dtv_property_cache.stream_id	u32max
PARAM_VALUE	0	fe->dtv_property_cache.symbol_rate	0,28860000
PARAM_VALUE	0	fe->dtv_property_cache.transmission_mode	2
PARAM_VALUE	0	fe->dtv_property_cache.voltage	2
PARAM_VALUE	0	fe->dvb	4096-ptr_max
PARAM_VALUE	0	fe->frontend_priv	4096-ptr_max
PARAM_VALUE	0	fe->ops.set_frontend	3797854902560223232
CAPPED_DATA	0	fe->frontend_priv	1
MEM_ZERO	0	&fe->dtv_property_cache
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		&dev->lock
TYPE_LOCK		(struct au0828_dev)->lock

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

Type	Parameter	Key	Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/dvb-usb-v2/dvb_usb_core.c dvb_usbv2_adapter_frontend_exit() -> dvb_unregister_frontend()

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

drivers/media/usb/dvb-usb-v2/dvb_usb_core.c dvb_usbv2_adapter_frontend_init() -> dvb_unregister_frontend()

Type	Parameter	Key	Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type	Parameter	Key	Value
PARAM_VALUE	0	fe	1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&dev->mutex

drivers/media/pci/ttpci/budget-av.c budget_av_detach() -> dvb_unregister_frontend()

Type	Parameter	Key	Value
PARAM_VALUE	0	fe	1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&dev->mutex

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

Type	Parameter	Key	Value
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_unregister_frontend()

Type	Parameter	Key	Value
PARAM_VALUE	0	fe	4096-ptr_max
PARAM_VALUE	0	fe->dtv_property_cache.bandwidth_hz	0,38961000
PARAM_VALUE	0	fe->dtv_property_cache.code_rate_HP	9
PARAM_VALUE	0	fe->dtv_property_cache.code_rate_LP	9
PARAM_VALUE	0	fe->dtv_property_cache.fec_inner	9
PARAM_VALUE	0	fe->dtv_property_cache.guard_interval	4
PARAM_VALUE	0	fe->dtv_property_cache.hierarchy	4
PARAM_VALUE	0	fe->dtv_property_cache.isdbt_layer_enabled	7
PARAM_VALUE	0	fe->dtv_property_cache.lna	u32max
PARAM_VALUE	0	fe->dtv_property_cache.modulation	0,6-7
PARAM_VALUE	0	fe->dtv_property_cache.pilot	2
PARAM_VALUE	0	fe->dtv_property_cache.rolloff	0-1,3
PARAM_VALUE	0	fe->dtv_property_cache.sectone	1
PARAM_VALUE	0	fe->dtv_property_cache.stream_id	u32max
PARAM_VALUE	0	fe->dtv_property_cache.symbol_rate	0,28860000
PARAM_VALUE	0	fe->dtv_property_cache.transmission_mode	2
PARAM_VALUE	0	fe->dtv_property_cache.voltage	2
PARAM_VALUE	0	fe->dvb	4096-ptr_max
PARAM_VALUE	0	fe->frontend_priv	4096-ptr_max
CAPPED_DATA	0	fe->frontend_priv	1
MEM_ZERO	0	&fe->dtv_property_cache
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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_unregister_frontend()

Type	Parameter	Key	Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

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

drivers/media/common/b2c2/flexcop-fe-tuner.c flexcop_frontend_exit() -> dvb_unregister_frontend()

Type	Parameter	Key	Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/pci/smipcie/smipcie-main.c smi_fe_exit() -> dvb_unregister_frontend()

Type	Parameter	Key	Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type	Parameter	Key	Value
PARAM_VALUE	0	fe	4096-ptr_max
PARAM_VALUE	0	fe->dtv_property_cache.bandwidth_hz	0,38961000
PARAM_VALUE	0	fe->dtv_property_cache.code_rate_HP	9
PARAM_VALUE	0	fe->dtv_property_cache.code_rate_LP	9
PARAM_VALUE	0	fe->dtv_property_cache.fec_inner	9
PARAM_VALUE	0	fe->dtv_property_cache.guard_interval	4
PARAM_VALUE	0	fe->dtv_property_cache.hierarchy	4
PARAM_VALUE	0	fe->dtv_property_cache.isdbt_layer_enabled	7
PARAM_VALUE	0	fe->dtv_property_cache.lna	u32max
PARAM_VALUE	0	fe->dtv_property_cache.modulation	0,6-7
PARAM_VALUE	0	fe->dtv_property_cache.pilot	2
PARAM_VALUE	0	fe->dtv_property_cache.rolloff	0-1,3
PARAM_VALUE	0	fe->dtv_property_cache.sectone	1
PARAM_VALUE	0	fe->dtv_property_cache.stream_id	u32max
PARAM_VALUE	0	fe->dtv_property_cache.symbol_rate	0,28860000
PARAM_VALUE	0	fe->dtv_property_cache.transmission_mode	2
PARAM_VALUE	0	fe->dtv_property_cache.voltage	2
PARAM_VALUE	0	fe->dvb	4096-ptr_max
PARAM_VALUE	0	fe->frontend_priv	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

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

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

Type	Parameter	Key	Value
PARAM_VALUE	0	fe	4096-ptr_max
PARAM_VALUE	0	fe->dtv_property_cache.bandwidth_hz	0,38961000
PARAM_VALUE	0	fe->dtv_property_cache.code_rate_HP	9
PARAM_VALUE	0	fe->dtv_property_cache.code_rate_LP	9
PARAM_VALUE	0	fe->dtv_property_cache.fec_inner	9
PARAM_VALUE	0	fe->dtv_property_cache.guard_interval	4
PARAM_VALUE	0	fe->dtv_property_cache.hierarchy	4
PARAM_VALUE	0	fe->dtv_property_cache.isdbt_layer_enabled	7
PARAM_VALUE	0	fe->dtv_property_cache.lna	u32max
PARAM_VALUE	0	fe->dtv_property_cache.modulation	0,6-7
PARAM_VALUE	0	fe->dtv_property_cache.pilot	2
PARAM_VALUE	0	fe->dtv_property_cache.rolloff	0-1,3
PARAM_VALUE	0	fe->dtv_property_cache.sectone	1
PARAM_VALUE	0	fe->dtv_property_cache.stream_id	u32max
PARAM_VALUE	0	fe->dtv_property_cache.symbol_rate	0,28860000
PARAM_VALUE	0	fe->dtv_property_cache.transmission_mode	2
PARAM_VALUE	0	fe->dtv_property_cache.voltage	2
PARAM_VALUE	0	fe->dvb	4096-ptr_max
PARAM_VALUE	0	fe->frontend_priv	4096-ptr_max
CAPPED_DATA	0	fe->frontend_priv	1
MEM_ZERO	0	&fe->dtv_property_cache
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&pool->lock

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

Type	Parameter	Key	Value
PARAM_VALUE	0	fe	1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&dev->mutex

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

Type	Parameter	Key	Value
PARAM_VALUE	0	fe	4096-ptr_max
PARAM_VALUE	0	fe->callback	0
PARAM_VALUE	0	fe->frontend_priv	1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

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