Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/platform/x86/intel/pmc/core.c generic_core_init() -> pmc_core_ssram_get_reg_base()

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 0 pmcdev->regmap_list 1547007430279208960,2242235333363896320,2456516191930232832,5598935691219013632,7113372030839115776,7307107739194339328
PARAM_VALUE 0 pmcdev->resume 0,4096-ptr_max
PARAM_VALUE 0 pmcdev->suspend 0,2557737054682484736
PARAM_VALUE 1 num_pmcs 0-3
PARAM_VALUE 2 pmc_list 0,4096-ptr_max
BUF_SIZE 0 pmcdev 296
BUF_SIZE 0 pmcdev->pkgc_res_cnt 56
DATA_SOURCE 0 pmcdev $0
MEM_ZERO 0 pmcdev
MEM_ZERO 0 pmcdev->pkgc_res_cnt
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 pmcdev->num_of_pkgc