Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/platform/x86/intel/pmc/core.c pmc_core_probe() -> (struct pmc_dev_info)->init()

Type Parameter Key Value
PARAM_VALUE 0 pmcdev 4096-ptr_max
PARAM_VALUE 0 pmcdev->crystal_freq 0
PARAM_VALUE 0 pmcdev->lock.dep_map->name 0-255
PARAM_VALUE 0 pmcdev->lock.first_waiter 0
PARAM_VALUE 0 pmcdev->lock.magic 4096-ptr_max
PARAM_VALUE 0 pmcdev->lock.osq.tail.counter 0
PARAM_VALUE 0 pmcdev->lock.owner.counter 0
PARAM_VALUE 0 pmcdev->num_of_pkgc 7
PARAM_VALUE 0 pmcdev->pdev 4096-ptr_max
PARAM_VALUE 0 pmcdev->pdev->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 pmcdev->pdev->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 pmcdev->pkgc_res_cnt 1-u64max
PARAM_VALUE 1 pmc_dev_info 4096-ptr_max
PARAM_VALUE 1 pmc_dev_info->init 4096-ptr_max
BUF_SIZE 0 pmcdev 296
BUF_SIZE 0 pmcdev->pkgc_res_cnt 56
DATA_SOURCE 0 pmcdev r devm_kzalloc
CONTAINER 1 -88+0 $(-1)
MEM_ZERO 0 pmcdev
MEM_ZERO 0 pmcdev->pkgc_res_cnt
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 pmcdev->num_of_pkgc