Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pci/controller/dwc/pcie-kirin.c kirin_pcie_get_resource() -> kirin_pcie_get_gpio_enable()

Type Parameter Key Value
PARAM_VALUE 0 pcie 4096-ptr_max
PARAM_VALUE 0 pcie->apb 0-ptr_max
PARAM_VALUE 0 pcie->id_dwc_perst_gpio 4096-ptr_max
PARAM_VALUE 0 pcie->pci 4096-ptr_max
PARAM_VALUE 0 pcie->pci->dev 4096-ptr_max
PARAM_VALUE 0 pcie->pci->ops 3988361702379626496
PARAM_VALUE 0 pcie->pci->pp.ops 4083255486064095232
PARAM_VALUE 1 pdev 4096-ptr_max
PARAM_VALUE 1 pdev->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 1 pdev->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 1 pdev->dev.devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 1 pdev->num_resources 1-u32max
BUF_SIZE 0 pcie 160
BUF_SIZE 0 pcie->id_dwc_perst_gpio s32min-(-1),1-s32max
BUF_SIZE 0 pcie->pci 7224
CAPPED_DATA 0 pcie->id_dwc_perst_gpio 1
CAPPED_DATA 1 pdev->num_resources 1
DATA_SOURCE 0 pcie $0
DATA_SOURCE 1 pdev $1
MEM_ZERO 0 pcie
RX_PATH
TASK_NOT_RUNNING