Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pmdomain/core.c genpd_debug_init() -> genpd_debug_add()

Type Parameter Key Value
PARAM_VALUE 0 genpd 4096-ptr_max
CAPPED_DATA 0 &genpd->gpd_list_node 1
NOCHECK_CALL

drivers/pmdomain/core.c pm_genpd_init() -> genpd_debug_add()

Type Parameter Key Value
PARAM_VALUE 0 genpd 4096-ptr_max
PARAM_VALUE 0 genpd->child_links.next 4096-ptr_max
PARAM_VALUE 0 genpd->child_links.next->next 4096-ptr_max
PARAM_VALUE 0 genpd->child_links.prev 4096-ptr_max
PARAM_VALUE 0 genpd->child_links.prev->next 4096-ptr_max
PARAM_VALUE 0 genpd->child_links.prev->prev 4096-ptr_max
PARAM_VALUE 0 genpd->dev.bus 6647646156274597888
PARAM_VALUE 0 genpd->dev.bus->bus_groups 0,4096-ptr_max
PARAM_VALUE 0 genpd->dev.bus->dev_groups 0,4096-ptr_max
PARAM_VALUE 0 genpd->dev.bus->dev_name 0,4096-ptr_max
PARAM_VALUE 0 genpd->dev.bus->dma_cleanup 0,1104241704522911744,2567693292227600384,2768152908493389824,7812820361545043968
PARAM_VALUE 0 genpd->dev.bus->dma_configure 0,336080655347347456,2640283715357872128,6790945466981969920,7339647197731467264,9135293919241822208
PARAM_VALUE 0 genpd->dev.bus->driver_override 0
PARAM_VALUE 0 genpd->dev.bus->drv_groups 0,4096-ptr_max
PARAM_VALUE 0 genpd->dev.bus->irq_get_affinity 0,2736213929819951104,8458669627886727168
PARAM_VALUE 0 genpd->dev.bus->match 0,4096-ptr_max
PARAM_VALUE 0 genpd->dev.bus->name 8916542996927733760
PARAM_VALUE 0 genpd->dev.bus->need_parent_lock 0
PARAM_VALUE 0 genpd->dev.bus->num_vf 0,1401569716023488512,5437838145057775616,5865131444347011072
PARAM_VALUE 0 genpd->dev.bus->offline 0,1666089020764061696,5755435740054507520,7184779815589322752
PARAM_VALUE 0 genpd->dev.bus->online 0,2122979978047275008,3981819987924254720,5315967098752217088
PARAM_VALUE 0 genpd->dev.bus->pm 0,4096-ptr_max
PARAM_VALUE 0 genpd->dev.bus->probe 0,4096-ptr_max
PARAM_VALUE 0 genpd->dev.bus->remove 0,4096-ptr_max
PARAM_VALUE 0 genpd->dev.bus->resume 0,5825847710628618240,5935021209610387456,6756237279030640640,9194075036045950976
PARAM_VALUE 0 genpd->dev.bus->shutdown 0,4096-ptr_max
PARAM_VALUE 0 genpd->dev.bus->suspend 0,464535525743861760,904963096479051776,1039294648882290688,5145086701300998144
PARAM_VALUE 0 genpd->dev.bus->sync_state 0
PARAM_VALUE 0 genpd->dev.bus->uevent 0,4096-ptr_max
PARAM_VALUE 0 genpd->dev.devres_head.next 4096-ptr_max
PARAM_VALUE 0 genpd->dev.devres_head.next->next 4096-ptr_max
PARAM_VALUE 0 genpd->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 genpd->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 genpd->dev.devres_head.prev->prev 4096-ptr_max
PARAM_VALUE 0 genpd->dev.dma_io_tlb_mem 1473117533515866112
PARAM_VALUE 0 genpd->dev.dma_io_tlb_mem->dyn_alloc.data.counter 9007199250546704
PARAM_VALUE 0 genpd->dev.dma_io_tlb_mem->dyn_alloc.entry.prev 1473117533515866344
PARAM_VALUE 0 genpd->dev.dma_io_tlb_mem->dyn_alloc.func 1583282886040592384
PARAM_VALUE 0 genpd->dev.dma_io_tlb_mem->pools.prev 1473117533515866320
PARAM_VALUE 0 genpd->dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 genpd->dev.dma_io_tlb_pools.next->next 4096-ptr_max
PARAM_VALUE 0 genpd->dev.dma_io_tlb_pools.prev 4096-ptr_max
PARAM_VALUE 0 genpd->dev.dma_io_tlb_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 genpd->dev.dma_io_tlb_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 genpd->dev.dma_pools.next 4096-ptr_max
PARAM_VALUE 0 genpd->dev.dma_pools.next->next 4096-ptr_max
PARAM_VALUE 0 genpd->dev.dma_pools.prev 4096-ptr_max
PARAM_VALUE 0 genpd->dev.dma_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 genpd->dev.dma_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 genpd->dev.dma_uses_io_tlb 0
PARAM_VALUE 0 genpd->dev.kobj->name 0-255
PARAM_VALUE 0 genpd->dev.kobj.kref.refcount.refs.counter 1
PARAM_VALUE 0 genpd->dev.kobj.kset 0,4096-ptr_max
PARAM_VALUE 0 genpd->dev.kobj.ktype 5399513539053756416
PARAM_VALUE 0 genpd->dev.kobj.state_add_uevent_sent 0
PARAM_VALUE 0 genpd->dev.kobj.state_in_sysfs 0
PARAM_VALUE 0 genpd->dev.kobj.state_initialized 1
PARAM_VALUE 0 genpd->dev.links.consumers.next 4096-ptr_max
PARAM_VALUE 0 genpd->dev.links.consumers.next->next 4096-ptr_max
PARAM_VALUE 0 genpd->dev.links.consumers.prev 4096-ptr_max
PARAM_VALUE 0 genpd->dev.links.consumers.prev->next 4096-ptr_max
PARAM_VALUE 0 genpd->dev.links.consumers.prev->prev 4096-ptr_max
PARAM_VALUE 0 genpd->dev.links.defer_sync.next 4096-ptr_max
PARAM_VALUE 0 genpd->dev.links.defer_sync.next->next 4096-ptr_max
PARAM_VALUE 0 genpd->dev.links.defer_sync.prev 4096-ptr_max
PARAM_VALUE 0 genpd->dev.links.defer_sync.prev->next 4096-ptr_max
PARAM_VALUE 0 genpd->dev.links.defer_sync.prev->prev 4096-ptr_max
PARAM_VALUE 0 genpd->dev.links.status 0
PARAM_VALUE 0 genpd->dev.links.suppliers.next 4096-ptr_max
PARAM_VALUE 0 genpd->dev.links.suppliers.next->next 4096-ptr_max
PARAM_VALUE 0 genpd->dev.links.suppliers.prev 4096-ptr_max
PARAM_VALUE 0 genpd->dev.links.suppliers.prev->next 4096-ptr_max
PARAM_VALUE 0 genpd->dev.links.suppliers.prev->prev 4096-ptr_max
PARAM_VALUE 0 genpd->dev.numa_node (-1)
PARAM_VALUE 0 genpd->dev.power.child_count.counter 0
PARAM_VALUE 0 genpd->dev.power.deferred_resume 0
PARAM_VALUE 0 genpd->dev.power.disable_depth 1
PARAM_VALUE 0 genpd->dev.power.early_init 1
PARAM_VALUE 0 genpd->dev.power.entry.next 4096-ptr_max
PARAM_VALUE 0 genpd->dev.power.entry.next->next 4096-ptr_max
PARAM_VALUE 0 genpd->dev.power.entry.prev 4096-ptr_max
PARAM_VALUE 0 genpd->dev.power.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 genpd->dev.power.entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 genpd->dev.power.idle_notification 0
PARAM_VALUE 0 genpd->dev.power.ignore_children 0
PARAM_VALUE 0 genpd->dev.power.is_late_suspended 0
PARAM_VALUE 0 genpd->dev.power.is_noirq_suspended 0
PARAM_VALUE 0 genpd->dev.power.is_prepared 0
PARAM_VALUE 0 genpd->dev.power.is_suspended 0
PARAM_VALUE 0 genpd->dev.power.last_status (-1)
PARAM_VALUE 0 genpd->dev.power.needs_force_resume 0
PARAM_VALUE 0 genpd->dev.power.qos 0
PARAM_VALUE 0 genpd->dev.power.request 0
PARAM_VALUE 0 genpd->dev.power.request_pending 0
PARAM_VALUE 0 genpd->dev.power.runtime_auto 1
PARAM_VALUE 0 genpd->dev.power.runtime_error 0
PARAM_VALUE 0 genpd->dev.power.runtime_status 2
PARAM_VALUE 0 genpd->dev.power.timer_expires 0
PARAM_VALUE 0 genpd->dev.power.usage_count.counter 0
PARAM_VALUE 0 genpd->dev.power.wait_queue.head.next 4096-ptr_max
PARAM_VALUE 0 genpd->dev.power.wait_queue.head.next->next 4096-ptr_max
PARAM_VALUE 0 genpd->dev.power.wait_queue.head.prev 4096-ptr_max
PARAM_VALUE 0 genpd->dev.power.wait_queue.head.prev->next 4096-ptr_max
PARAM_VALUE 0 genpd->dev.power.wait_queue.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 genpd->dev.release 4498126507169976320
PARAM_VALUE 0 genpd->dev_list.next 4096-ptr_max
PARAM_VALUE 0 genpd->dev_list.next->next 4096-ptr_max
PARAM_VALUE 0 genpd->dev_list.prev 4096-ptr_max
PARAM_VALUE 0 genpd->dev_list.prev->next 4096-ptr_max
PARAM_VALUE 0 genpd->dev_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 genpd->device_count 0
PARAM_VALUE 0 genpd->device_id 0-s32max,4294967290
PARAM_VALUE 0 genpd->domain.ops.complete 1004347886988566528
PARAM_VALUE 0 genpd->domain.ops.freeze_noirq 8690030668173246464
PARAM_VALUE 0 genpd->domain.ops.poweroff_noirq 3789290820821409792
PARAM_VALUE 0 genpd->domain.ops.prepare 1826114028323295232
PARAM_VALUE 0 genpd->domain.ops.restore_noirq 3839159336744919040
PARAM_VALUE 0 genpd->domain.ops.resume_noirq 8343993075963838464
PARAM_VALUE 0 genpd->domain.ops.runtime_resume 5384972513493499904
PARAM_VALUE 0 genpd->domain.ops.runtime_suspend 6954808720484810752
PARAM_VALUE 0 genpd->domain.ops.suspend_noirq 996759921906446336
PARAM_VALUE 0 genpd->domain.ops.thaw_noirq 7286280336855867392
PARAM_VALUE 0 genpd->domain.set_performance_state 8760149491048140800
PARAM_VALUE 0 genpd->domain.start 3458540904158425088
PARAM_VALUE 0 genpd->gd 0,4096-ptr_max
PARAM_VALUE 0 genpd->gd->max_off_time_changed 1
PARAM_VALUE 0 genpd->gd->max_off_time_ns (-1)
PARAM_VALUE 0 genpd->gd->next_hrtimer s64max
PARAM_VALUE 0 genpd->gd->next_wakeup s64max
PARAM_VALUE 0 genpd->has_provider 0
PARAM_VALUE 0 genpd->lock_ops 296264094257299456,1053484389753860096,4730849383004450816
PARAM_VALUE 0 genpd->lock_ops->lock 6676849293189758976,7373712020810973184,9217463096719405056
PARAM_VALUE 0 genpd->lock_ops->lock_interruptible 6348352003893985280,7663144285840572416,8622790898177114112
PARAM_VALUE 0 genpd->lock_ops->lock_nested 990936228207894528,2558499572585488384,7543574661479067648
PARAM_VALUE 0 genpd->lock_ops->unlock 2256047256663965696,5341715117440966656,7650154700668387328
PARAM_VALUE 0 genpd->mlock.dep_map->name 0-255
PARAM_VALUE 0 genpd->mlock.first_waiter 0
PARAM_VALUE 0 genpd->mlock.magic 4096-ptr_max
PARAM_VALUE 0 genpd->mlock.osq.tail.counter 0
PARAM_VALUE 0 genpd->mlock.owner.counter 0
PARAM_VALUE 0 genpd->opp_table 0
PARAM_VALUE 0 genpd->parent_links.next 4096-ptr_max
PARAM_VALUE 0 genpd->parent_links.next->next 4096-ptr_max
PARAM_VALUE 0 genpd->parent_links.prev 4096-ptr_max
PARAM_VALUE 0 genpd->parent_links.prev->next 4096-ptr_max
PARAM_VALUE 0 genpd->parent_links.prev->prev 4096-ptr_max
PARAM_VALUE 0 genpd->provider 0
PARAM_VALUE 0 genpd->sd_count.counter 0
PARAM_VALUE 0 genpd->state_count 1-u32max
PARAM_VALUE 0 genpd->status 0-1
PARAM_VALUE 0 genpd->sync_state 0
BUF_SIZE 0 genpd (-1),2376
BUF_SIZE 0 genpd (-1),2376
BUF_SIZE 0 genpd->gov (-1),24
BUF_SIZE 0 genpd->name (-1),7
DATA_SOURCE 0 genpd $0
FUZZY_MAX 0 genpd->status 1
HARD_MAX 0 genpd->status 1
MEM_ZERO 0 &genpd->dev.power.suspend_timer
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 genpd->stay_on 0-1