Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pci/controller/pcie-rockchip-host.c rockchip_pcie_probe() -> rockchip_pcie_set_vpcie()

Type Parameter Key Value
PARAM_VALUE 0 rockchip 4096-ptr_max
PARAM_VALUE 0 rockchip->apb_base 4096-ptr_max
PARAM_VALUE 0 rockchip->clks 4096-ptr_max
PARAM_VALUE 0 rockchip->dev 4096-ptr_max
PARAM_VALUE 0 rockchip->dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 rockchip->dev->devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 rockchip->dev->devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 rockchip->dev->dma_mem->pfn_base 0-s64max
PARAM_VALUE 0 rockchip->is_rc 1
PARAM_VALUE 0 rockchip->legacy_phy 1
PARAM_VALUE 0 rockchip->link_gen 0-2
PARAM_VALUE 0 rockchip->mem_res 4096-ptr_max
PARAM_VALUE 0 rockchip->mem_res->name 1-u64max
PARAM_VALUE 0 rockchip->num_clks 0-s32max
PARAM_VALUE 0 rockchip->perst_gpio 0,4096-ptr_max
PARAM_VALUE 0 rockchip->reg_base 4096-ptr_max
PARAM_VALUE 0 rockchip->vpcie0v9 4096-ptr_max
PARAM_VALUE 0 rockchip->vpcie12v 4096-ptr_max,(-19)
PARAM_VALUE 0 rockchip->vpcie1v8 4096-ptr_max
PARAM_VALUE 0 rockchip->vpcie3v3 4096-ptr_max,(-19)
BUF_SIZE 0 rockchip 0-1080
BUF_SIZE 0 rockchip 0-1080
BUF_SIZE 0 rockchip->dev 1616
CAPPED_DATA 0 rockchip->dev 1
CAPPED_DATA 0 rockchip->num_clks 1
RX_PATH
TASK_NOT_RUNNING