dvb_media_device_free identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/media/dvb-core/dvbdev.c, line 207 (as a function)

Referenced in 1 files:

drivers/media/dvb-core/dvbdev.c

Smatch caller information:

drivers/media/dvb-core/dvbdev.c dvb_register_device() -> dvb_media_device_free()

Type	Parameter	Key	Value
PARAM_VALUE	0	dvbdev	4096-ptr_max
PARAM_VALUE	0	dvbdev->adapter	4096-ptr_max
PARAM_VALUE	0	dvbdev->adapter->mdev	1-u64max
PARAM_VALUE	0	dvbdev->adapter->mdev->entities.prev->next->next	4096-ptr_max
PARAM_VALUE	0	dvbdev->adapter->mdev->entity_internal_idx_max	0-s32max
PARAM_VALUE	0	dvbdev->adapter->mdev->graph_mutex.dep_map->name	0-255
PARAM_VALUE	0	dvbdev->adapter->mdev->graph_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	dvbdev->adapter->mdev->graph_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	dvbdev->adapter->mdev->graph_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	dvbdev->adapter->mdev->graph_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	dvbdev->adapter->mdev->graph_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	dvbdev->adapter->mdev->graph_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	dvbdev->adapter->mdev->interfaces.prev->next	4096-ptr_max
PARAM_VALUE	0	dvbdev->adapter->mdev->interfaces.prev->next->next	4096-ptr_max
PARAM_VALUE	0	dvbdev->adapter->mdev->links.prev->next->next	4096-ptr_max
PARAM_VALUE	0	dvbdev->adapter->mdev->pads.prev->next->next	4096-ptr_max
PARAM_VALUE	0	dvbdev->entity->function	1-3
PARAM_VALUE	0	dvbdev->entity->graph_obj.id	0-67108863
PARAM_VALUE	0	dvbdev->entity->graph_obj.list.next	4096-ptr_max
PARAM_VALUE	0	dvbdev->entity->graph_obj.mdev->graph_mutex.dep_map->name	0-255
PARAM_VALUE	0	dvbdev->entity->graph_obj.mdev->graph_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	dvbdev->entity->graph_obj.mdev->graph_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	dvbdev->entity->graph_obj.mdev->graph_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	dvbdev->entity->graph_obj.mdev->graph_mutex.first_waiter->task->blocked_on	0
PARAM_VALUE	0	dvbdev->entity->graph_obj.mdev->graph_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	dvbdev->entity->graph_obj.mdev->graph_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	dvbdev->entity->graph_obj.mdev->interfaces.prev->next	4096-ptr_max
PARAM_VALUE	0	dvbdev->entity->graph_obj.mdev->interfaces.prev->next->next	4096-ptr_max
PARAM_VALUE	0	dvbdev->entity->internal_idx	0-s32max
PARAM_VALUE	0	dvbdev->entity->links.next	4096-ptr_max
PARAM_VALUE	0	dvbdev->entity->links.next->next	4096-ptr_max
PARAM_VALUE	0	dvbdev->entity->links.prev	4096-ptr_max
PARAM_VALUE	0	dvbdev->entity->links.prev->next	4096-ptr_max
PARAM_VALUE	0	dvbdev->entity->links.prev->prev	4096-ptr_max
PARAM_VALUE	0	dvbdev->entity->num_backlinks	0
PARAM_VALUE	0	dvbdev->entity->num_links	0
PARAM_VALUE	0	dvbdev->entity->num_pads	0-511
PARAM_VALUE	0	dvbdev->entity->pads	4096-ptr_max
PARAM_VALUE	0	dvbdev->entity->pads->entity	4096-ptr_max
PARAM_VALUE	0	dvbdev->fops	4096-ptr_max
PARAM_VALUE	0	dvbdev->id	0
PARAM_VALUE	0	dvbdev->list_head.next	4096-ptr_max
PARAM_VALUE	0	dvbdev->minor	0-255
PARAM_VALUE	0	dvbdev->tsout_entity	0,16,4096-ptr_max
PARAM_VALUE	0	dvbdev->tsout_num_entities	0-s32max
PARAM_VALUE	0	dvbdev->tsout_pads	0,16,4096-ptr_max
PARAM_VALUE	0	dvbdev->type	1-5
PARAM_VALUE	0	dvbdev->wait_queue.head.next	4096-ptr_max
PARAM_VALUE	0	dvbdev->wait_queue.head.next->next	4096-ptr_max
PARAM_VALUE	0	dvbdev->wait_queue.head.prev	4096-ptr_max
PARAM_VALUE	0	dvbdev->wait_queue.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dvbdev->wait_queue.head.prev->prev	4096-ptr_max
BUF_SIZE	0	dvbdev	224
BUF_SIZE	0	dvbdev->adapter	(-1),424
BUF_SIZE	0	dvbdev->fops	(-1),272
BUF_SIZE	0	dvbdev->priv	(-1)-0,472,1264,1296,23200
CAPPED_DATA	0	dvbdev->type	1
DATA_SOURCE	0	dvbdev	r _kzalloc_noprof
BIT_INFO	0	dvbdev->type	0x0,0xf
HARD_MAX	0	dvbdev->type	5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	dvbdev->entity->num_pads
NO_OVERFLOW_SIMPLE	0	dvbdev->tsout_num_entities
LOCK2		global &dvbdev_register_lock
HALF_LOCKED2		global &frontend_mutex

drivers/media/dvb-core/dvbdev.c dvb_register_device() -> dvb_media_device_free()

Type	Parameter	Key	Value
PARAM_VALUE	0	dvbdev	4096-ptr_max
PARAM_VALUE	0	dvbdev->adapter	4096-ptr_max
PARAM_VALUE	0	dvbdev->fops	4096-ptr_max
PARAM_VALUE	0	dvbdev->id	0
PARAM_VALUE	0	dvbdev->list_head.next	4096-ptr_max
PARAM_VALUE	0	dvbdev->minor	0-255
PARAM_VALUE	0	dvbdev->type	0-8
PARAM_VALUE	0	dvbdev->wait_queue.head.next	4096-ptr_max
PARAM_VALUE	0	dvbdev->wait_queue.head.next->next	4096-ptr_max
PARAM_VALUE	0	dvbdev->wait_queue.head.prev	4096-ptr_max
PARAM_VALUE	0	dvbdev->wait_queue.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dvbdev->wait_queue.head.prev->prev	4096-ptr_max
BUF_SIZE	0	dvbdev	224
BUF_SIZE	0	dvbdev->adapter	(-1),424
BUF_SIZE	0	dvbdev->fops	(-1),272
BUF_SIZE	0	dvbdev->priv	(-1)-0,472,1264,1296,23200
CAPPED_DATA	0	dvbdev->type	1
DATA_SOURCE	0	dvbdev	r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	dvbdev->entity->num_pads
NO_OVERFLOW_SIMPLE	0	dvbdev->tsout_num_entities
LOCK2		global &dvbdev_register_lock
HALF_LOCKED2		global &frontend_mutex

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

Type	Parameter	Key	Value
PARAM_VALUE	0	dvbdev	4096-ptr_max
DATA_SOURCE	0	dvbdev	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		global &frontend_mutex