Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/media/dvb-core/dvb_ca_en50221.c dvb_ca_en50221_release() -> dvb_remove_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

drivers/media/dvb-core/dvbdev.c dvb_unregister_device() -> dvb_remove_device()

Type Parameter Key Value
DATA_SOURCE 0 dvbdev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/dvb-core/dvb_frontend.c dvb_unregister_frontend() -> dvb_remove_device()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &frontend_mutex
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