Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/phy/phy-tegra-usb.c tegra_usb_phy_probe() -> utmi_phy_probe()

Type Parameter Key Value
PARAM_VALUE 0 tegra_phy 4096-ptr_max
PARAM_VALUE 0 tegra_phy->irq s32min-(-1),1-s32max
PARAM_VALUE 0 tegra_phy->mode 1-3
PARAM_VALUE 0 tegra_phy->phy_type 1,5
PARAM_VALUE 0 tegra_phy->pll_u 0,4096-ptr_max
PARAM_VALUE 0 tegra_phy->regs 1-u64max
PARAM_VALUE 0 tegra_phy->vbus 4096-ptr_max
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->dev.dma_mem->pfn_base 0-s64max
PARAM_VALUE 1 pdev->dev.iommu->attach_deferred 0-1
PARAM_VALUE 1 pdev->dev.iommu->max_pasids 0-4294967295
PARAM_VALUE 1 pdev->dev.power.entry.prev->next 4096-ptr_max
PARAM_VALUE 1 pdev->num_resources 1-u32max
BUF_SIZE 0 tegra_phy 584
BUF_SIZE 0 tegra_phy->irq s32min-(-1),1-s32max
BUF_SIZE 0 tegra_phy->pll_u (-1),1-s32max
BUF_SIZE 0 tegra_phy->vbus s32min,(-1)-s32max
CAPPED_DATA 0 tegra_phy->mode 1
CAPPED_DATA 1 pdev->num_resources 1
DATA_SOURCE 0 tegra_phy r devm_kzalloc
DATA_SOURCE 1 pdev $0
FUZZY_MAX 0 tegra_phy->mode 1
MEM_ZERO 0 tegra_phy
RX_PATH
TASK_NOT_RUNNING