free_test_dev_kmod identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

lib/test_kmod.c, line 1117 (as a function)

Referenced in 1 files:

lib/test_kmod.c
- line 1149
- line 1213

Smatch caller information:

lib/test_kmod.c register_test_dev_kmod() -> free_test_dev_kmod()

Type	Parameter	Key	Value
PARAM_VALUE	0	test_dev	4096-ptr_max
PARAM_VALUE	0	test_dev->config.num_threads	50
PARAM_VALUE	0	test_dev->config.test_case	1
PARAM_VALUE	0	test_dev->config.test_driver	4096-ptr_max
PARAM_VALUE	0	test_dev->config.test_fs	0,4096-ptr_max
PARAM_VALUE	0	test_dev->config.test_result	0
PARAM_VALUE	0	test_dev->config_mutex.dep_map->name	0-255
PARAM_VALUE	0	test_dev->config_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	test_dev->config_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	test_dev->config_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	test_dev->config_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	test_dev->config_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	test_dev->config_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	test_dev->config_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	test_dev->config_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	test_dev->dev_idx	s32min-2147483645,s32max
PARAM_VALUE	0	test_dev->info	1-u64max
PARAM_VALUE	0	test_dev->kthreads_done.done	0
PARAM_VALUE	0	test_dev->kthreads_done.wait.lock.magic	3735899821
PARAM_VALUE	0	test_dev->kthreads_done.wait.lock.owner	(-1)
PARAM_VALUE	0	test_dev->kthreads_done.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	test_dev->kthreads_done.wait.task_list.next	4096-ptr_max
PARAM_VALUE	0	test_dev->kthreads_done.wait.task_list.next->next	4096-ptr_max
PARAM_VALUE	0	test_dev->kthreads_done.wait.task_list.prev	4096-ptr_max
PARAM_VALUE	0	test_dev->kthreads_done.wait.task_list.prev->next	4096-ptr_max
PARAM_VALUE	0	test_dev->kthreads_done.wait.task_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	test_dev->misc_dev.groups	8049780752579936256
PARAM_VALUE	0	test_dev->misc_dev.list.next	4096-ptr_max
PARAM_VALUE	0	test_dev->misc_dev.list.next->next	4096-ptr_max
PARAM_VALUE	0	test_dev->misc_dev.list.prev	4096-ptr_max
PARAM_VALUE	0	test_dev->misc_dev.list.prev->next	4096-ptr_max
PARAM_VALUE	0	test_dev->misc_dev.list.prev->prev	4096-ptr_max
PARAM_VALUE	0	test_dev->misc_dev.minor	255
PARAM_VALUE	0	test_dev->misc_dev.name	1-u64max
PARAM_VALUE	0	test_dev->misc_dev.this_device	(-4095)-(-1)
PARAM_VALUE	0	test_dev->test_is_oom	0
PARAM_VALUE	0	test_dev->thread_mutex.dep_map->name	0-255
PARAM_VALUE	0	test_dev->thread_mutex.first_waiter	0
PARAM_VALUE	0	test_dev->thread_mutex.magic	4096-ptr_max
PARAM_VALUE	0	test_dev->thread_mutex.osq.tail.counter	0
PARAM_VALUE	0	test_dev->thread_mutex.owner.counter	0
PARAM_VALUE	0	test_dev->trigger_mutex.dep_map->name	0-255
PARAM_VALUE	0	test_dev->trigger_mutex.first_waiter	0
PARAM_VALUE	0	test_dev->trigger_mutex.magic	4096-ptr_max
PARAM_VALUE	0	test_dev->trigger_mutex.owner.counter	0
BUF_SIZE	0	test_dev	712
CAPPED_DATA	0	test_dev->misc_dev.this_device	1
DATA_SOURCE	0	test_dev	r alloc_test_dev_kmod
NOCHECK_CALL
LOCK2		global &reg_dev_mutex

lib/test_kmod.c unregister_test_dev_kmod() -> free_test_dev_kmod()

Type	Parameter	Key	Value
PARAM_VALUE	0	test_dev	4096-ptr_max
PARAM_VALUE	0	test_dev->config_mutex.dep_map->name	0-255
PARAM_VALUE	0	test_dev->config_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	test_dev->config_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	test_dev->config_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	test_dev->config_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	test_dev->config_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	test_dev->config_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	test_dev->config_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	test_dev->config_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	test_dev->config_mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	test_dev->dev	0,4096-ptr_max
PARAM_VALUE	0	test_dev->dev->bus	0,4096-ptr_max
PARAM_VALUE	0	test_dev->dev->class	0,4096-ptr_max
PARAM_VALUE	0	test_dev->dev->driver	0,4096-ptr_max
PARAM_VALUE	0	test_dev->misc_dev.list.next->prev	4096-ptr_max
PARAM_VALUE	0	test_dev->misc_dev.list.prev->next	4096-ptr_max
PARAM_VALUE	0	test_dev->misc_dev.minor	s32min-255
PARAM_VALUE	0	test_dev->thread_mutex.dep_map->name	0-255
PARAM_VALUE	0	test_dev->thread_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	test_dev->thread_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	test_dev->thread_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	test_dev->thread_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	test_dev->thread_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	test_dev->thread_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	test_dev->thread_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	test_dev->thread_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	test_dev->trigger_mutex.dep_map->name	0-255
PARAM_VALUE	0	test_dev->trigger_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	test_dev->trigger_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	test_dev->trigger_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	test_dev->trigger_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	test_dev->trigger_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	test_dev->trigger_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	test_dev->trigger_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	test_dev->trigger_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	test_dev->trigger_mutex.wait_lock.dep_map->name	0-255
CAPPED_DATA	0	test_dev->config.num_threads	1
CAPPED_DATA	0	&test_dev->config_mutex	1
CAPPED_DATA	0	&test_dev->trigger_mutex	1
DATA_SOURCE	0	test_dev	$0
NOCHECK_CALL
LOCK2		global &reg_dev_mutex