Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pci/controller/pci-thunder-pem.c thunder_pem_acpi_init() -> thunder_pem_init()

Type Parameter Key Value
PARAM_VALUE 1 cfg 4096-ptr_max
PARAM_VALUE 1 cfg->bus_shift 1-u32max
PARAM_VALUE 1 cfg->busr.flags 4096
PARAM_VALUE 1 cfg->ops 4096-ptr_max
PARAM_VALUE 1 cfg->res.flags 2147484160
PARAM_VALUE 1 cfg->res.name 1768490226494242816
PARAM_VALUE 1 cfg->res.parent->child 4096-ptr_max
PARAM_VALUE 1 cfg->res.sibling 0,4096-ptr_max
PARAM_VALUE 1 cfg->res.sibling->start 1-u64max
PARAM_VALUE 1 cfg->winp 0
PARAM_VALUE 2 res_pem 1-u64max
PARAM_VALUE 2 res_pem->end 0,16777215-281474993487870
PARAM_VALUE 2 res_pem->flags 0,512
PARAM_VALUE 2 res_pem->start 0-281474976710655
BUF_SIZE 0 dev (-1),1616
BUF_SIZE 0 dev (-1),1616
BUF_SIZE 1 cfg 168
BUF_SIZE 1 cfg->parent (-1),1616
BUF_SIZE 1 cfg->res.name 9
BUF_SIZE 2 res_pem 64
CAPPED_DATA 1 cfg->busr.start 1
CAPPED_DATA 1 cfg->res.start 1
DATA_SOURCE 1 cfg $0
DATA_SOURCE 2 res_pem r devm_kzalloc
FUZZY_MAX 2 res_pem->end 0
FUZZY_MAX 2 res_pem->flags 0
FUZZY_MAX 2 res_pem->start 0
STR_LEN 1 cfg->res.name 8
TERMINATED 1 cfg->res.name 1
MEM_ZERO 2 res_pem
RX_PATH
TASK_NOT_RUNNING

drivers/pci/controller/pci-thunder-pem.c thunder_pem_platform_init() -> thunder_pem_init()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->of_node 1-u64max
PARAM_VALUE 1 cfg 4096-ptr_max
PARAM_VALUE 1 cfg->bus_shift 1-u32max
PARAM_VALUE 1 cfg->busr.flags 4096
PARAM_VALUE 1 cfg->ops 4096-ptr_max
PARAM_VALUE 1 cfg->parent 4096-ptr_max
PARAM_VALUE 1 cfg->parent->of_node 1-u64max
PARAM_VALUE 1 cfg->res.flags 2147484160
PARAM_VALUE 1 cfg->res.name 1768490226494242816
PARAM_VALUE 1 cfg->res.parent->child 4096-ptr_max
PARAM_VALUE 1 cfg->res.sibling 0,4096-ptr_max
PARAM_VALUE 1 cfg->res.sibling->start 1-u64max
PARAM_VALUE 1 cfg->winp 0
PARAM_VALUE 2 res_pem 4096-ptr_max
BUF_SIZE 0 dev (-1),1616
BUF_SIZE 0 dev (-1),1616
BUF_SIZE 1 cfg 168
BUF_SIZE 1 cfg->parent (-1),1616
BUF_SIZE 1 cfg->res.name 9
CAPPED_DATA 1 cfg->busr.start 1
CAPPED_DATA 1 cfg->res.start 1
DATA_SOURCE 1 cfg $0
DATA_SOURCE 2 res_pem r platform_get_resource
STR_LEN 1 cfg->res.name 8
TERMINATED 1 cfg->res.name 1
RX_PATH
TASK_NOT_RUNNING