acpi_power_add_remove_device identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

drivers/acpi/internal.h, line 147 (as a prototype)

Defined in 1 files as a function:

drivers/acpi/power.c, line 597 (as a function)

Referenced in 1 files:

drivers/acpi/scan.c
- line 546
- line 1910

Smatch caller information:

drivers/acpi/scan.c acpi_add_single_object() -> acpi_power_add_remove_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	adev	4096-ptr_max
PARAM_VALUE	0	adev->data.pointer	0,4096-ptr_max
PARAM_VALUE	0	adev->data.pointer->package.count	1-u32max
PARAM_VALUE	0	adev->data.pointer->package.elements	4096-ptr_max
PARAM_VALUE	0	adev->data.pointer->type	4
PARAM_VALUE	0	adev->data.properties.next	4096-ptr_max
PARAM_VALUE	0	adev->data.properties.next->next	4096-ptr_max
PARAM_VALUE	0	adev->data.properties.prev	4096-ptr_max
PARAM_VALUE	0	adev->data.properties.prev->next	4096-ptr_max
PARAM_VALUE	0	adev->data.properties.prev->prev	4096-ptr_max
PARAM_VALUE	0	adev->data.subnodes.next	4096-ptr_max
PARAM_VALUE	0	adev->data.subnodes.next->next	4096-ptr_max
PARAM_VALUE	0	adev->data.subnodes.prev	4096-ptr_max
PARAM_VALUE	0	adev->data.subnodes.prev->next	4096-ptr_max
PARAM_VALUE	0	adev->data.subnodes.prev->next->next	4096-ptr_max
PARAM_VALUE	0	adev->data.subnodes.prev->prev	4096-ptr_max
PARAM_VALUE	0	adev->del_list.next	4096-ptr_max
PARAM_VALUE	0	adev->del_list.next->next	4096-ptr_max
PARAM_VALUE	0	adev->del_list.prev	4096-ptr_max
PARAM_VALUE	0	adev->del_list.prev->next	4096-ptr_max
PARAM_VALUE	0	adev->del_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	adev->dev.bus->bus_groups	0
PARAM_VALUE	0	adev->dev.bus->dev_groups	0
PARAM_VALUE	0	adev->dev.bus->dev_name	0
PARAM_VALUE	0	adev->dev.bus->dma_cleanup	0
PARAM_VALUE	0	adev->dev.bus->dma_configure	0
PARAM_VALUE	0	adev->dev.bus->driver_override	0
PARAM_VALUE	0	adev->dev.bus->drv_groups	0
PARAM_VALUE	0	adev->dev.bus->irq_get_affinity	0
PARAM_VALUE	0	adev->dev.bus->match	3415117442184282112
PARAM_VALUE	0	adev->dev.bus->name	8864160733933240320
PARAM_VALUE	0	adev->dev.bus->need_parent_lock	0
PARAM_VALUE	0	adev->dev.bus->num_vf	0
PARAM_VALUE	0	adev->dev.bus->offline	0
PARAM_VALUE	0	adev->dev.bus->online	0
PARAM_VALUE	0	adev->dev.bus->pm	0
PARAM_VALUE	0	adev->dev.bus->probe	0,2905756388506394624
PARAM_VALUE	0	adev->dev.bus->remove	0,5383728117758201856
PARAM_VALUE	0	adev->dev.bus->resume	0
PARAM_VALUE	0	adev->dev.bus->shutdown	0
PARAM_VALUE	0	adev->dev.bus->suspend	0
PARAM_VALUE	0	adev->dev.bus->sync_state	0
PARAM_VALUE	0	adev->dev.bus->uevent	895353040569561088
PARAM_VALUE	0	adev->dev.devres_head.next->next	4096-ptr_max
PARAM_VALUE	0	adev->dev.devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	adev->dev.devres_head.prev->prev	4096-ptr_max
PARAM_VALUE	0	adev->dev.dma_io_tlb_mem->debugfs	0,4096-u64max
PARAM_VALUE	0	adev->dev.dma_io_tlb_mem->dyn_alloc.data.counter	9007199250546704
PARAM_VALUE	0	adev->dev.dma_io_tlb_mem->dyn_alloc.entry.prev	1473117533515866344
PARAM_VALUE	0	adev->dev.dma_io_tlb_mem->dyn_alloc.func	1583282886040592384
PARAM_VALUE	0	adev->dev.dma_io_tlb_mem->pools.prev	1473117533515866320
PARAM_VALUE	0	adev->dev.dma_io_tlb_pools.next->next	4096-ptr_max
PARAM_VALUE	0	adev->dev.dma_io_tlb_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	adev->dev.dma_io_tlb_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	adev->dev.dma_pools.next->next	4096-ptr_max
PARAM_VALUE	0	adev->dev.dma_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	adev->dev.dma_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	adev->dev.flags	4096-ptr_max
PARAM_VALUE	0	adev->dev.fwnode->dev	4096-ptr_max
PARAM_VALUE	0	adev->dev.fwnode->dev->fwnode	4096-ptr_max
PARAM_VALUE	0	adev->dev.fwnode->dev->p	1-u64max
PARAM_VALUE	0	adev->dev.fwnode->dev->power.set_latency_tolerance	5740181548905971712
PARAM_VALUE	0	adev->dev.fwnode->suppliers.next	4096-ptr_max
PARAM_VALUE	0	adev->dev.fwnode->suppliers.next->next	4096-ptr_max
PARAM_VALUE	0	adev->dev.kobj->name	0-255
PARAM_VALUE	0	adev->dev.kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	adev->dev.kobj.release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	adev->dev.kobj.sd->active.counter	(-2147483647)
PARAM_VALUE	0	adev->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	adev->dev.links.consumers.next->next	4096-ptr_max
PARAM_VALUE	0	adev->dev.links.consumers.prev->next	4096-ptr_max
PARAM_VALUE	0	adev->dev.links.consumers.prev->prev	4096-ptr_max
PARAM_VALUE	0	adev->dev.links.defer_sync.next->next	4096-ptr_max
PARAM_VALUE	0	adev->dev.links.defer_sync.prev->next	4096-ptr_max
PARAM_VALUE	0	adev->dev.links.defer_sync.prev->prev	4096-ptr_max
PARAM_VALUE	0	adev->dev.links.suppliers.next->next	4096-ptr_max
PARAM_VALUE	0	adev->dev.links.suppliers.prev->next	4096-ptr_max
PARAM_VALUE	0	adev->dev.links.suppliers.prev->prev	4096-ptr_max
PARAM_VALUE	0	adev->dev.p->klist_children.get	2213798222526185472
PARAM_VALUE	0	adev->dev.p->klist_children.put	3126867300421632000
PARAM_VALUE	0	adev->dev.p->knode_bus.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	adev->dev.p->knode_class.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	adev->dev.p->knode_parent.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	adev->dev.physical_location->horizontal_position	0-3
PARAM_VALUE	0	adev->dev.physical_location->panel	0-7
PARAM_VALUE	0	adev->dev.physical_location->vertical_position	0-3
PARAM_VALUE	0	adev->dev.power.entry.next->next	4096-ptr_max
PARAM_VALUE	0	adev->dev.power.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	adev->dev.power.entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	adev->dev.power.wait_queue.head.next->next	4096-ptr_max
PARAM_VALUE	0	adev->dev.power.wait_queue.head.prev->next	4096-ptr_max
PARAM_VALUE	0	adev->dev.power.wait_queue.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	adev->device_type	0,2-6
PARAM_VALUE	0	adev->flags.cca_seen	1
PARAM_VALUE	0	adev->flags.dynamic_status	1
PARAM_VALUE	0	adev->flags.ejectable	1
PARAM_VALUE	0	adev->flags.of_compatible_ok	1
PARAM_VALUE	0	adev->flags.removable	1
PARAM_VALUE	0	adev->flags.visited	0
PARAM_VALUE	0	adev->fwnode.dev	0
PARAM_VALUE	0	adev->fwnode.flags	0
PARAM_VALUE	0	adev->fwnode.ops	8531275411893063680
PARAM_VALUE	0	adev->fwnode.ops->add_links	0
PARAM_VALUE	0	adev->fwnode.ops->device_dma_supported	159059282158383104
PARAM_VALUE	0	adev->fwnode.ops->device_get_dma_attr	4061285148595707904
PARAM_VALUE	0	adev->fwnode.ops->device_get_match_data	5916794525232787456
PARAM_VALUE	0	adev->fwnode.ops->device_is_available	4456967533150867456
PARAM_VALUE	0	adev->fwnode.ops->get	0,5266873307488796672,8589707393086369792
PARAM_VALUE	0	adev->fwnode.ops->get_name	2643902724260417536
PARAM_VALUE	0	adev->fwnode.ops->get_name_prefix	8224764746028371968
PARAM_VALUE	0	adev->fwnode.ops->get_named_child_node	7026124439836295168
PARAM_VALUE	0	adev->fwnode.ops->get_next_child_node	6091944964344102912
PARAM_VALUE	0	adev->fwnode.ops->get_parent	6537691125444190208
PARAM_VALUE	0	adev->fwnode.ops->get_reference_args	3281501320512299008
PARAM_VALUE	0	adev->fwnode.ops->graph_get_next_endpoint	3294542772007194624
PARAM_VALUE	0	adev->fwnode.ops->graph_get_port_parent	7650526914231107584
PARAM_VALUE	0	adev->fwnode.ops->graph_get_remote_endpoint	971939158805200896
PARAM_VALUE	0	adev->fwnode.ops->graph_parse_endpoint	7927257539208077312
PARAM_VALUE	0	adev->fwnode.ops->iomap	0
PARAM_VALUE	0	adev->fwnode.ops->irq_get	4799135008179109888
PARAM_VALUE	0	adev->fwnode.ops->property_present	958538007259615232
PARAM_VALUE	0	adev->fwnode.ops->property_read_bool	958538007259615232
PARAM_VALUE	0	adev->fwnode.ops->property_read_int_array	4341866810135662592
PARAM_VALUE	0	adev->fwnode.ops->property_read_string_array	6877800984586207232
PARAM_VALUE	0	adev->fwnode.ops->put	0
PARAM_VALUE	0	adev->fwnode.secondary	0
PARAM_VALUE	0	adev->handle	0,4096-ptr_max,(-1)
PARAM_VALUE	0	adev->physical_node_list.next	4096-ptr_max
PARAM_VALUE	0	adev->physical_node_list.next->next	4096-ptr_max
PARAM_VALUE	0	adev->physical_node_list.prev	4096-ptr_max
PARAM_VALUE	0	adev->physical_node_list.prev->next	4096-ptr_max
PARAM_VALUE	0	adev->physical_node_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	adev->physical_node_lock.dep_map->name	0-255
PARAM_VALUE	0	adev->physical_node_lock.first_waiter	0
PARAM_VALUE	0	adev->physical_node_lock.magic	4096-ptr_max
PARAM_VALUE	0	adev->pnp->unique_id	0-255
PARAM_VALUE	0	adev->pnp.ids.next	4096-ptr_max
PARAM_VALUE	0	adev->pnp.ids.next->next	4096-ptr_max
PARAM_VALUE	0	adev->pnp.ids.prev	4096-ptr_max
PARAM_VALUE	0	adev->pnp.ids.prev->next	4096-ptr_max
PARAM_VALUE	0	adev->pnp.ids.prev->next->next	4096-ptr_max
PARAM_VALUE	0	adev->pnp.ids.prev->prev	4096-ptr_max
PARAM_VALUE	0	adev->pnp.instance_no	0-s32max
PARAM_VALUE	0	adev->pnp.type.backlight	1
PARAM_VALUE	0	adev->pnp.type.bus_address	1
PARAM_VALUE	0	adev->pnp.type.hardware_id	1
PARAM_VALUE	0	adev->pnp.type.platform_id	1
PARAM_VALUE	0	adev->pnp.unique_id	0,4096-ptr_max
PARAM_VALUE	0	adev->wakeup_list.next	4096-ptr_max
PARAM_VALUE	0	adev->wakeup_list.next->next	4096-ptr_max
PARAM_VALUE	0	adev->wakeup_list.prev	4096-ptr_max
PARAM_VALUE	0	adev->wakeup_list.prev->next	4096-ptr_max
PARAM_VALUE	0	adev->wakeup_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	*adev->dev->groups	4096-ptr_max
PARAM_VALUE	0	*adev->dev.groups	1567384277213827072
PARAM_VALUE	1	add	1
BUF_SIZE	0	adev	2408
CAPPED_DATA	0	adev->handle	1
DATA_SOURCE	0	adev	r _kzalloc_noprof
MEM_ZERO	0	&adev->dev.power.suspend_timer
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		global &acpi_scan_lock

drivers/acpi/scan.c acpi_device_del() -> acpi_power_add_remove_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	adev	4096-ptr_max
PARAM_VALUE	1	add	0
DATA_SOURCE	0	adev	$0
NOCHECK_CALL
HALF_LOCKED2		&pool->lock