acpi_device_add_finalize 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 123 (as a prototype)

Defined in 1 files as a function:

drivers/acpi/scan.c, line 1850 (as a function)

Referenced in 2 files:

Smatch caller information:

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

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

drivers/acpi/power.c acpi_add_power_resource() -> acpi_device_add_finalize()

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