w1_free_dev identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/w1/w1_int.c, line 79 (as a function)

Referenced in 1 files:

drivers/w1/w1_int.c
- line 163
- line 212

Smatch caller information:

drivers/w1/w1_int.c __w1_remove_master_device() -> w1_free_dev()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.sd	0,4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	dev->list_mutex.dep_map->name	0-255
PARAM_VALUE	0	dev->list_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	dev->list_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	dev->list_mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	dev->mutex.dep_map->name	0-255
PARAM_VALUE	0	dev->mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	dev->mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	dev->mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	dev->mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	dev->mutex.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	dev->mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	dev->mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	dev->thread	4096-ptr_max
PARAM_VALUE	0	dev->thread->__state	0,512
PARAM_VALUE	0	dev->thread->blocked_on	0
PARAM_VALUE	0	dev->thread->core_node.__rb_parent_color	1
PARAM_VALUE	0	dev->thread->core_node.rb_left	4096-ptr_max
PARAM_VALUE	0	dev->thread->core_node.rb_right	4096-ptr_max
PARAM_VALUE	0	dev->thread->cpus_ptr	4096-ptr_max
PARAM_VALUE	0	dev->thread->delays->blkio_count	0-4294967295
PARAM_VALUE	0	dev->thread->delays->blkio_delay_max_ts.tv_nsec	0-999999999
PARAM_VALUE	0	dev->thread->delays->lock.dep_map->name	0-255
PARAM_VALUE	0	dev->thread->delays->lock.owner	(-1)
PARAM_VALUE	0	dev->thread->delays->lock.owner_cpu	4294967295
PARAM_VALUE	0	dev->thread->delays->lock.raw_lock.val.counter	0-s32max
PARAM_VALUE	0	dev->thread->dl.dl_timer.base->active.rb_root.rb_leftmost->node.__rb_parent_color	1
PARAM_VALUE	0	dev->thread->dl.dl_timer.entry.pprev	0
PARAM_VALUE	0	dev->thread->dl.inactive_timer.base->index	0-7
PARAM_VALUE	0	dev->thread->dl.pi_se->pi_se	4096-ptr_max
PARAM_VALUE	0	dev->thread->dl.rb_node.__rb_parent_color	1
PARAM_VALUE	0	dev->thread->dl.rq->active_balance	s32min-s32max
PARAM_VALUE	0	dev->thread->dl.rq->clock_update_flags	0-4294967295
PARAM_VALUE	0	dev->thread->dl.rq->core_enabled	0-4294967295
PARAM_VALUE	0	dev->thread->dl.rq->core_forceidle_count	0-4294967295
PARAM_VALUE	0	dev->thread->dl.rq->core_forceidle_occupation	0-4294967295
PARAM_VALUE	0	dev->thread->dl.rq->core_forceidle_seq	0-4294967295
PARAM_VALUE	0	dev->thread->dl.rq->core_pick_seq	0-4294967295
PARAM_VALUE	0	dev->thread->dl.rq->core_sched_seq	0-4294967295
PARAM_VALUE	0	dev->thread->dl.rq->core_task_seq	0-4294967295
PARAM_VALUE	0	dev->thread->dl.rq->cpu	s32min-s32max
PARAM_VALUE	0	dev->thread->dl.rq->has_blocked_load	0-4294967295
PARAM_VALUE	0	dev->thread->dl.rq->hrtick_sched	0-4294967295
PARAM_VALUE	0	dev->thread->dl.rq->idle_balance	0-255
PARAM_VALUE	0	dev->thread->dl.rq->membarrier_state	s32min-s32max
PARAM_VALUE	0	dev->thread->dl.rq->nohz_idle_balance	0-255
PARAM_VALUE	0	dev->thread->dl.rq->nohz_tick_stopped	0-4294967295
PARAM_VALUE	0	dev->thread->dl.rq->nr_llc_running	0-4294967295
PARAM_VALUE	0	dev->thread->dl.rq->nr_numa_running	0-4294967295
PARAM_VALUE	0	dev->thread->dl.rq->nr_pinned	0-4294967295
PARAM_VALUE	0	dev->thread->dl.rq->nr_pref_llc_running	0-4294967295
PARAM_VALUE	0	dev->thread->dl.rq->nr_preferred_running	0-4294967295
PARAM_VALUE	0	dev->thread->dl.rq->nr_running	0-4294967295
PARAM_VALUE	0	dev->thread->dl.rq->numa_migrate_on	0-4294967295
PARAM_VALUE	0	dev->thread->dl.rq->online	s32min-s32max
PARAM_VALUE	0	dev->thread->dl.rq->push_busy	0-4294967295
PARAM_VALUE	0	dev->thread->dl.rq->push_cpu	s32min-s32max
PARAM_VALUE	0	dev->thread->dl.rq->sched_count	0-4294967295
PARAM_VALUE	0	dev->thread->dl.rq->sched_goidle	0-4294967295
PARAM_VALUE	0	dev->thread->dl.rq->ticks_without_resched	s32min-s32max
PARAM_VALUE	0	dev->thread->dl.rq->ttwu_count	0-4294967295
PARAM_VALUE	0	dev->thread->dl.rq->ttwu_local	0-4294967295
PARAM_VALUE	0	dev->thread->dl.rq->ttwu_pending	0-4294967295
PARAM_VALUE	0	dev->thread->dl.rq->uclamp_flags	0-4294967295
PARAM_VALUE	0	dev->thread->dl.rq->yld_count	0-4294967295
PARAM_VALUE	0	dev->thread->flags	0,67108864-u32max
PARAM_VALUE	0	dev->thread->is_blocked	0
PARAM_VALUE	0	dev->thread->migration_disabled	0-1
PARAM_VALUE	0	dev->thread->mm->mm_cid.irq_work.node.a_flags.counter	0-s32max
PARAM_VALUE	0	dev->thread->mm->mm_cid.max_cids	0-s32max
PARAM_VALUE	0	dev->thread->mm->mm_cid.pcpu_thrs	1-1073741823
PARAM_VALUE	0	dev->thread->mm->mm_cid.update_deferred	1
PARAM_VALUE	0	dev->thread->on_rq	0-1,3-255
PARAM_VALUE	0	dev->thread->pi_lock.dep_map->name	0-255
PARAM_VALUE	0	dev->thread->pi_lock.owner	(-1)
PARAM_VALUE	0	dev->thread->pi_lock.owner_cpu	u32max
PARAM_VALUE	0	dev->thread->pushable_dl_tasks.__rb_parent_color	1
PARAM_VALUE	0	dev->thread->pushable_tasks.node_list.next->next	4096-ptr_max
PARAM_VALUE	0	dev->thread->pushable_tasks.node_list.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->thread->pushable_tasks.node_list.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->thread->pushable_tasks.node_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->thread->pushable_tasks.prio_list.next->next	4096-ptr_max
PARAM_VALUE	0	dev->thread->pushable_tasks.prio_list.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->thread->pushable_tasks.prio_list.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->thread->pushable_tasks.prio_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->thread->rcu.func	1-u64max
PARAM_VALUE	0	dev->thread->rcu.next	0
PARAM_VALUE	0	dev->thread->rseq.event.ids_changed	1
PARAM_VALUE	0	dev->thread->rt.run_list.next->next	4096-ptr_max
PARAM_VALUE	0	dev->thread->rt.run_list.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->thread->rt.run_list.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->thread->rt.run_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->thread->saved_state	0
PARAM_VALUE	0	dev->thread->sched_migrated	1
PARAM_VALUE	0	dev->thread->sched_task_group->idle	s32min-s32max
PARAM_VALUE	0	dev->thread->se.avg.util_avg	0-u32max
PARAM_VALUE	0	dev->thread->se.cfs_rq->pelt_clock_throttled	1
PARAM_VALUE	0	dev->thread->se.cfs_rq->propagate	1
PARAM_VALUE	0	dev->thread->se.cfs_rq->removed.lock.owner	(-1)
PARAM_VALUE	0	dev->thread->se.cfs_rq->removed.lock.owner_cpu	4294967295
PARAM_VALUE	0	dev->thread->se.cfs_rq->removed.lock.raw_lock.val.counter	0-s32max
PARAM_VALUE	0	dev->thread->se.cfs_rq->rq->curr->mm->sc_stat.cpu	(-1)
PARAM_VALUE	0	dev->thread->se.cfs_rq->rq->curr->pref_llc_queued	0-1
PARAM_VALUE	0	dev->thread->se.cfs_rq->rq->donor->__state	0,512
PARAM_VALUE	0	dev->thread->se.cfs_rq->rq->donor->core_node.__rb_parent_color	1
PARAM_VALUE	0	dev->thread->se.cfs_rq->rq->donor->dl.dl_timer.base->cpu_base->expires_next	0-s64max
PARAM_VALUE	0	dev->thread->se.cfs_rq->rq->donor->mm->mm_cid.irq_work.node.a_flags.counter	0-s32max
PARAM_VALUE	0	dev->thread->se.cfs_rq->rq->donor->on_rq	0-1,3-255
PARAM_VALUE	0	dev->thread->se.cfs_rq->rq->donor->pushable_dl_tasks.__rb_parent_color	1
PARAM_VALUE	0	dev->thread->se.cfs_rq->rq->donor->rseq.event.ids_changed	1
PARAM_VALUE	0	dev->thread->se.cfs_rq->rq->donor->sched_migrated	1
PARAM_VALUE	0	dev->thread->se.cfs_rq->rq->donor->wake_cpu	0-s32max
PARAM_VALUE	0	dev->thread->se.cfs_rq->rq->fair_server.dl_timer.base->cpu_base->expires_next	0-s64max
PARAM_VALUE	0	dev->thread->se.cfs_rq->rq->fair_server.inactive_timer.flags	0-4294967295
PARAM_VALUE	0	dev->thread->se.cfs_rq->rq->fair_server.rb_node.__rb_parent_color	1
PARAM_VALUE	0	dev->thread->se.group_node.next->next	4096-ptr_max
PARAM_VALUE	0	dev->thread->se.group_node.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->thread->se.group_node.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->thread->se.group_node.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->thread->throttle_node.next->next	4096-ptr_max
PARAM_VALUE	0	dev->thread->throttle_node.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->thread->throttle_node.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->thread->throttle_node.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->thread->wake_cpu	0-s32max
PARAM_VALUE	0	dev->thread->worker_private	4096-ptr_max
PARAM_VALUE	0	dev->thread->worker_private->exited.done	0-4294967293,4294967295
PARAM_VALUE	0	dev->thread->worker_private->exited.wait.lock.dep_map->name	0-255
PARAM_VALUE	0	dev->thread->worker_private->exited.wait.lock.owner	(-1)
PARAM_VALUE	0	dev->thread->worker_private->exited.wait.lock.owner_cpu	4294967295
PARAM_VALUE	0	*dev->thread->se->cfs_rq->removed.lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*dev->thread->se.cfs_rq->removed.lock.owner	(-4611686018427387904)-4611686018427387903
CAPPED_DATA	0	dev->thread	1
CAPPED_DATA	0	&dev->list_mutex	1
CAPPED_DATA	0	&dev->mutex	1
CAPPED_DATA	0	&dev->slist	1
DATA_SOURCE	0	dev	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/w1/w1_int.c w1_add_master_device() -> w1_free_dev()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->async_list.next	4096-ptr_max
PARAM_VALUE	0	dev->async_list.next->next	4096-ptr_max
PARAM_VALUE	0	dev->async_list.prev	4096-ptr_max
PARAM_VALUE	0	dev->async_list.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->async_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->attempts	0
PARAM_VALUE	0	dev->bus_master->data	4096-ptr_max
PARAM_VALUE	0	dev->bus_mutex.dep_map->name	0-255
PARAM_VALUE	0	dev->bus_mutex.first_waiter	0
PARAM_VALUE	0	dev->bus_mutex.magic	4096-ptr_max
PARAM_VALUE	0	dev->bus_mutex.osq.tail.counter	0
PARAM_VALUE	0	dev->bus_mutex.owner.counter	0
PARAM_VALUE	0	dev->dev.bus	0,4096-ptr_max
PARAM_VALUE	0	dev->dev.class	0,4096-ptr_max
PARAM_VALUE	0	dev->dev.devres_head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.devres_head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.data.counter	9007199250546704
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.entry.prev	1473117533515866344
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.func	1583282886040592384
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->pools.prev	1473117533515866320
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.driver	0,4096-ptr_max
PARAM_VALUE	0	dev->dev.flags	4096-ptr_max
PARAM_VALUE	0	dev->dev.fwnode->dev	4096-ptr_max
PARAM_VALUE	0	dev->dev.fwnode->dev->fwnode	4096-ptr_max
PARAM_VALUE	0	dev->dev.fwnode->dev->p	1-u64max
PARAM_VALUE	0	dev->dev.fwnode->dev->power.set_latency_tolerance	5740181548905971712
PARAM_VALUE	0	dev->dev.fwnode->suppliers.next	4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	dev->dev.kobj.release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.consumers.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.consumers.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.consumers.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.p->klist_children.get	2213798222526185472
PARAM_VALUE	0	dev->dev.p->klist_children.put	3126867300421632000
PARAM_VALUE	0	dev->dev.p->knode_bus.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.p->knode_class.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.p->knode_parent.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.physical_location->dock	0
PARAM_VALUE	0	dev->dev.physical_location->horizontal_position	0
PARAM_VALUE	0	dev->dev.physical_location->lid	0
PARAM_VALUE	0	dev->dev.physical_location->panel	0
PARAM_VALUE	0	dev->dev.physical_location->vertical_position	0
PARAM_VALUE	0	dev->dev.power.entry.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->driver	1428657492903911424
PARAM_VALUE	0	dev->enable_pullup	1
PARAM_VALUE	0	dev->id	1-s32max
PARAM_VALUE	0	dev->initialized	0-1
PARAM_VALUE	0	dev->list_mutex.dep_map->name	0-255
PARAM_VALUE	0	dev->list_mutex.first_waiter	0
PARAM_VALUE	0	dev->list_mutex.magic	4096-ptr_max
PARAM_VALUE	0	dev->list_mutex.osq.tail.counter	0
PARAM_VALUE	0	dev->list_mutex.owner.counter	0
PARAM_VALUE	0	dev->mutex.dep_map->name	0-255
PARAM_VALUE	0	dev->mutex.first_waiter	0
PARAM_VALUE	0	dev->mutex.magic	4096-ptr_max
PARAM_VALUE	0	dev->mutex.osq.tail.counter	0
PARAM_VALUE	0	dev->mutex.owner.counter	0
PARAM_VALUE	0	dev->owner	0
PARAM_VALUE	0	dev->refcnt.counter	1
PARAM_VALUE	0	dev->seq	1
PARAM_VALUE	0	dev->slave_count	0
PARAM_VALUE	0	dev->slist.next	4096-ptr_max
PARAM_VALUE	0	dev->slist.next->next	4096-ptr_max
PARAM_VALUE	0	dev->slist.prev	4096-ptr_max
PARAM_VALUE	0	dev->slist.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->slist.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->thread	(-12),(-4)
BUF_SIZE	0	dev	2368
BUF_SIZE	0	dev	2368
BUF_SIZE	0	dev->driver	152
CAPPED_DATA	0	dev->id	1
DATA_SOURCE	0	dev	r w1_alloc_dev
FUZZY_MAX	0	dev->initialized	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL