Open Menu /

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pmdomain/core.c genpd_remove() -> genpd_debug_remove()

Type Parameter Key Value
PARAM_VALUE 0 genpd 4096-ptr_max
PARAM_VALUE 0 genpd->device_count 0
PARAM_VALUE 0 genpd->has_provider 0
PARAM_VALUE 0 genpd->lock_ops 4096-ptr_max
PARAM_VALUE 0 genpd->parent_links.next 4096-ptr_max
BUF_SIZE 0 genpd (-1),2376
BUF_SIZE 0 genpd (-1),2376
CAPPED_DATA 0 &genpd->child_links 1
CAPPED_DATA 0 &genpd->parent_links 1
DATA_SOURCE 0 genpd $0
PARAM_COMPARE 0 &genpd->parent_links == $0->parent_links.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 genpd->accounting_time 0
HOST_DATA 0 genpd->dev.bus_dma_limit 0
HOST_DATA 0 genpd->dev.coherent_dma_mask 0
HOST_DATA 0 genpd->dev.devt 0
HOST_DATA 0 genpd->dev.dma_uses_io_tlb 0
HOST_DATA 0 genpd->dev.id 0
HOST_DATA 0 genpd->dev.kobj.kref.refcount.refs.counter 1
HOST_DATA 0 genpd->dev.kobj.release.cpu 0
HOST_DATA 0 genpd->dev.kobj.release.timer.expires 0
HOST_DATA 0 genpd->dev.kobj.release.timer.flags 0
HOST_DATA 0 genpd->dev.kobj.release.work.data.counter 0
HOST_DATA 0 genpd->dev.kobj.state_add_uevent_sent 0
HOST_DATA 0 genpd->dev.kobj.state_in_sysfs 0
HOST_DATA 0 genpd->dev.kobj.state_initialized 1
HOST_DATA 0 genpd->dev.kobj.state_remove_uevent_sent 0
HOST_DATA 0 genpd->dev.kobj.uevent_suppress 0
HOST_DATA 0 genpd->dev.links.status 0
HOST_DATA 0 genpd->dev.mutex.osq.tail.counter 0
HOST_DATA 0 genpd->dev.mutex.owner.counter 0
HOST_DATA 0 genpd->dev.numa_node (-1)
HOST_DATA 0 genpd->dev.power.accounting_timestamp 0
HOST_DATA 0 genpd->dev.power.active_time 0
HOST_DATA 0 genpd->dev.power.async_suspend 0
HOST_DATA 0 genpd->dev.power.autosuspend_delay 0
HOST_DATA 0 genpd->dev.power.can_wakeup 0
HOST_DATA 0 genpd->dev.power.child_count.counter 0
HOST_DATA 0 genpd->dev.power.completion.done 0
HOST_DATA 0 genpd->dev.power.deferred_resume 0
HOST_DATA 0 genpd->dev.power.detach_power_off 0
HOST_DATA 0 genpd->dev.power.direct_complete 0
HOST_DATA 0 genpd->dev.power.disable_depth 1
HOST_DATA 0 genpd->dev.power.driver_flags 0
HOST_DATA 0 genpd->dev.power.early_init 1
HOST_DATA 0 genpd->dev.power.idle_notification 0
HOST_DATA 0 genpd->dev.power.ignore_children 0
HOST_DATA 0 genpd->dev.power.in_dpm_list 0
HOST_DATA 0 genpd->dev.power.irq_safe 0
HOST_DATA 0 genpd->dev.power.is_late_suspended 0
HOST_DATA 0 genpd->dev.power.is_noirq_suspended 0
HOST_DATA 0 genpd->dev.power.is_prepared 0
HOST_DATA 0 genpd->dev.power.is_suspended 0
HOST_DATA 0 genpd->dev.power.last_busy 0
HOST_DATA 0 genpd->dev.power.last_status (-1)
HOST_DATA 0 genpd->dev.power.links_count 0
HOST_DATA 0 genpd->dev.power.may_skip_resume 0
HOST_DATA 0 genpd->dev.power.memalloc_noio 0
HOST_DATA 0 genpd->dev.power.must_resume 0
HOST_DATA 0 genpd->dev.power.needs_force_resume 0
HOST_DATA 0 genpd->dev.power.no_callbacks 0
HOST_DATA 0 genpd->dev.power.no_pm 0
HOST_DATA 0 genpd->dev.power.no_pm_callbacks 0
HOST_DATA 0 genpd->dev.power.out_band_wakeup 0
HOST_DATA 0 genpd->dev.power.power_state.event 0
HOST_DATA 0 genpd->dev.power.request 0
HOST_DATA 0 genpd->dev.power.request_pending 0
HOST_DATA 0 genpd->dev.power.runtime_auto 1
HOST_DATA 0 genpd->dev.power.runtime_error 0
HOST_DATA 0 genpd->dev.power.runtime_status 2
HOST_DATA 0 genpd->dev.power.smart_suspend 0
HOST_DATA 0 genpd->dev.power.strict_midlayer 0
HOST_DATA 0 genpd->dev.power.suspended_time 0
HOST_DATA 0 genpd->dev.power.syscore 0
HOST_DATA 0 genpd->dev.power.timer_autosuspends 0
HOST_DATA 0 genpd->dev.power.timer_expires 0
HOST_DATA 0 genpd->dev.power.usage_count.counter 0
HOST_DATA 0 genpd->dev.power.use_autosuspend 0
HOST_DATA 0 genpd->dev.power.work_in_progress 0
HOST_DATA 0 genpd->dev.removable 0
HOST_DATA 0 genpd->device_count 0
HOST_DATA 0 genpd->device_id 0-s32max,4294967290
HOST_DATA 0 genpd->flags 0,32-u32max
HOST_DATA 0 genpd->has_provider 0
HOST_DATA 0 genpd->lock_flags 0
HOST_DATA 0 genpd->mlock.osq.tail.counter 0
HOST_DATA 0 genpd->mlock.owner.counter 0
HOST_DATA 0 genpd->on_time 0
HOST_DATA 0 genpd->performance_state 0
HOST_DATA 0 genpd->power_off_work.data.counter 0
HOST_DATA 0 genpd->prepared_count 0
HOST_DATA 0 genpd->raw_lock_flags 0
HOST_DATA 0 genpd->raw_slock.magic 3735899821
HOST_DATA 0 genpd->raw_slock.owner_cpu u32max
HOST_DATA 0 genpd->raw_slock.raw_lock.locked 0
HOST_DATA 0 genpd->raw_slock.raw_lock.locked_pending 0
HOST_DATA 0 genpd->raw_slock.raw_lock.pending 0
HOST_DATA 0 genpd->raw_slock.raw_lock.tail 0
HOST_DATA 0 genpd->raw_slock.raw_lock.val.counter 0
HOST_DATA 0 genpd->sd_count.counter 0
HOST_DATA 0 genpd->state_count 1-u32max
HOST_DATA 0 genpd->state_idx 0
HOST_DATA 0 genpd->status 0-1
HOST_DATA 0 genpd->stay_on 0
HOST_DATA 0 genpd->suspended_count 0
HOST_DATA 0 genpd->sync_state 0
HOST_DATA 0 genpd->synced_poweroff 0
LOCK2 global &gpd_list_lock