Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/acpi/processor_driver.c __acpi_processor_start() -> acpi_processor_power_exit()

Type Parameter Key Value
PARAM_VALUE 0 pr 4096-ptr_max
PARAM_VALUE 0 pr->cdev 0,4096-u64max
PARAM_VALUE 0 pr->cdev->debugfs 0
PARAM_VALUE 0 pr->cdev->devdata 4096-ptr_max
PARAM_VALUE 0 pr->cdev->devdata->brightness->curr s32min-s32max
PARAM_VALUE 0 pr->cdev->devdata->conf_mutex.dep_map->name 0-255
PARAM_VALUE 0 pr->cdev->devdata->conf_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 pr->cdev->devdata->conf_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 pr->cdev->devdata->conf_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 pr->cdev->devdata->conf_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 pr->cdev->devdata->conf_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 pr->cdev->devdata->conf_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 pr->cdev->devdata->conf_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 pr->cdev->devdata->driver_data->config 0-255
PARAM_VALUE 0 pr->cdev->devdata->driver_data->duty_cycle 0-15
PARAM_VALUE 0 pr->cdev->devdata->driver_data->status 0-255
PARAM_VALUE 0 pr->cdev->devdata->driver_data->update_lock.dep_map->name 0-255
PARAM_VALUE 0 pr->cdev->devdata->driver_data->update_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 pr->cdev->devdata->driver_data->update_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 pr->cdev->devdata->driver_data->update_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 pr->cdev->devdata->driver_data->valid 1
PARAM_VALUE 0 pr->cdev->devdata->fan->regmap->cache->cached_rbnode->node.__rb_parent_color 0-1
PARAM_VALUE 0 pr->cdev->devdata->power.state s32min-s32max
PARAM_VALUE 0 pr->cdev->devdata->thermal->core->bus_priv->cmd.lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 pr->cdev->devdata->thermal.lock.dep_map->name 0-255
PARAM_VALUE 0 pr->cdev->devdata->thermal.lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 pr->cdev->devdata->thermal.lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 pr->cdev->devdata->thermal.lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 pr->cdev->devdata->thermal.lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 pr->cdev->devdata->thermal.lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 pr->cdev->devdata->thermal.lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 pr->cdev->devdata->thermal.lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 pr->cdev->device.devres_head.next->next 4096-ptr_max
PARAM_VALUE 0 pr->cdev->device.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 pr->cdev->device.devres_head.prev->prev 4096-ptr_max
PARAM_VALUE 0 pr->cdev->device.dma_io_tlb_mem->dyn_alloc.data.counter 9007199250546704
PARAM_VALUE 0 pr->cdev->device.dma_io_tlb_mem->dyn_alloc.entry.prev 1473117533515866344
PARAM_VALUE 0 pr->cdev->device.dma_io_tlb_mem->dyn_alloc.func 1583282886040592384
PARAM_VALUE 0 pr->cdev->device.dma_io_tlb_mem->pools.prev 1473117533515866320
PARAM_VALUE 0 pr->cdev->device.dma_io_tlb_pools.next->next 4096-ptr_max
PARAM_VALUE 0 pr->cdev->device.dma_io_tlb_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 pr->cdev->device.dma_io_tlb_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 pr->cdev->device.dma_pools.next->next 4096-ptr_max
PARAM_VALUE 0 pr->cdev->device.dma_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 pr->cdev->device.dma_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 pr->cdev->device.driver 0
PARAM_VALUE 0 pr->cdev->device.flags 4096-ptr_max
PARAM_VALUE 0 pr->cdev->device.fwnode->dev->fwnode 4096-ptr_max
PARAM_VALUE 0 pr->cdev->device.fwnode->dev->p 1-u64max
PARAM_VALUE 0 pr->cdev->device.fwnode->dev->power.set_latency_tolerance 5740181548905971712
PARAM_VALUE 0 pr->cdev->device.fwnode->suppliers.next 4096-ptr_max
PARAM_VALUE 0 pr->cdev->device.fwnode->suppliers.next->prev 4096-ptr_max
PARAM_VALUE 0 pr->cdev->device.kobj->name 0-255
PARAM_VALUE 0 pr->cdev->device.kobj->release.timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 pr->cdev->device.kobj.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 pr->cdev->device.kobj.parent->release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 pr->cdev->device.kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 pr->cdev->device.kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 pr->cdev->device.kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 pr->cdev->device.kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 pr->cdev->device.kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 pr->cdev->device.kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 pr->cdev->device.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 pr->cdev->device.kobj.sd->priv 4096-ptr_max
PARAM_VALUE 0 pr->cdev->device.links.consumers.next->next 4096-ptr_max
PARAM_VALUE 0 pr->cdev->device.links.consumers.prev->next 4096-ptr_max
PARAM_VALUE 0 pr->cdev->device.links.consumers.prev->prev 4096-ptr_max
PARAM_VALUE 0 pr->cdev->device.links.defer_sync.next->next 4096-ptr_max
PARAM_VALUE 0 pr->cdev->device.links.defer_sync.prev->next 4096-ptr_max
PARAM_VALUE 0 pr->cdev->device.links.defer_sync.prev->prev 4096-ptr_max
PARAM_VALUE 0 pr->cdev->device.links.suppliers.next->next 4096-ptr_max
PARAM_VALUE 0 pr->cdev->device.links.suppliers.prev->next 4096-ptr_max
PARAM_VALUE 0 pr->cdev->device.links.suppliers.prev->prev 4096-ptr_max
PARAM_VALUE 0 pr->cdev->device.p->klist_children.get 2213798222526185472
PARAM_VALUE 0 pr->cdev->device.p->klist_children.put 3126867300421632000
PARAM_VALUE 0 pr->cdev->device.p->knode_class.n_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 pr->cdev->device.p->knode_parent.n_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 pr->cdev->device.parent->kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 pr->cdev->device.power.entry.next->next 4096-ptr_max
PARAM_VALUE 0 pr->cdev->device.power.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 pr->cdev->device.power.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 pr->cdev->device.power.entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 pr->cdev->device.power.irq_safe 0
PARAM_VALUE 0 pr->cdev->device.power.wait_queue.head.next->next 4096-ptr_max
PARAM_VALUE 0 pr->cdev->device.power.wait_queue.head.prev->next 4096-ptr_max
PARAM_VALUE 0 pr->cdev->device.power.wait_queue.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 pr->cdev->device.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 pr->cdev->id 0-s32max
PARAM_VALUE 0 pr->cdev->lock.dep_map->name 0-255
PARAM_VALUE 0 pr->cdev->node.next 4096-ptr_max
PARAM_VALUE 0 pr->cdev->node.prev 4096-ptr_max
PARAM_VALUE 0 pr->cdev->ops 7476786560681222144
PARAM_VALUE 0 pr->cdev->ops->get_cur_state 4096-ptr_max
PARAM_VALUE 0 pr->cdev->ops->get_max_state 4096-ptr_max
PARAM_VALUE 0 pr->cdev->ops->set_cur_state 4096-ptr_max
PARAM_VALUE 0 pr->cdev->stats 0,4096-ptr_max
PARAM_VALUE 0 pr->cdev->thermal_instances.next 4096-ptr_max
PARAM_VALUE 0 pr->cdev->thermal_instances.next->next 4096-ptr_max
PARAM_VALUE 0 pr->cdev->thermal_instances.prev 4096-ptr_max
PARAM_VALUE 0 pr->cdev->thermal_instances.prev->next 4096-ptr_max
PARAM_VALUE 0 pr->cdev->thermal_instances.prev->prev 4096-ptr_max
PARAM_VALUE 0 pr->cdev->type 4096-ptr_max
PARAM_VALUE 0 pr->cdev->updated 0
PARAM_VALUE 0 pr->flags.limit 1
PARAM_VALUE 0 pr->perflib_req.pnode.node_list.next->prev 4096-ptr_max
PARAM_VALUE 0 pr->perflib_req.pnode.node_list.prev->next 4096-ptr_max
PARAM_VALUE 0 pr->perflib_req.pnode.prio_list.next->next 4096-ptr_max
PARAM_VALUE 0 pr->perflib_req.pnode.prio_list.prev->next 4096-ptr_max
PARAM_VALUE 0 pr->perflib_req.qos->max_freq.list.node_list.next 4096-ptr_max
PARAM_VALUE 0 pr->perflib_req.qos->min_freq.list.node_list.next 4096-ptr_max
PARAM_VALUE 0 pr->power.states->address 0-4294967295
PARAM_VALUE 0 pr->power.states->bm_sts_skip 0-255
PARAM_VALUE 0 pr->power.states->entry_method 0-255
PARAM_VALUE 0 pr->power.states->index 0-255
PARAM_VALUE 0 pr->power.states->latency 0-4294967295
PARAM_VALUE 0 pr->power.states->type 0-255
PARAM_VALUE 0 pr->power.states->valid 0-255
PARAM_VALUE 0 pr->throttling.acpi_processor_get_throttling 2051368337146097664,8767090224619003904
PARAM_VALUE 0 pr->throttling.acpi_processor_set_throttling 3991903722241024000,9144556295628607488
PARAM_VALUE 0 pr->throttling.state_count 0-s32max
PARAM_VALUE 0 pr->throttling.tsd_valid_flag 0-1
BUF_SIZE 0 pr 24,32,88,104,108-1096,1616,2592
BUF_SIZE 0 pr 24,32,88,104,108-1096,1616,2592
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &cpuhp_state_mutex
HALF_LOCKED2 irq

drivers/acpi/processor_driver.c acpi_processor_stop() -> acpi_processor_power_exit()

Type Parameter Key Value
PARAM_VALUE 0 pr 1-u64max
BUF_SIZE 0 pr 24,32,88,104,108-1096,1616,2592
BUF_SIZE 0 pr 24,32,88,104,108-1096,1616,2592
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex