Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/phy/rockchip/phy-rockchip-inno-usb2.c rockchip_usb2phy_probe() -> rockchip_usb2phy_clk480m_register()

Type Parameter Key Value
PARAM_VALUE 0 rphy 4096-ptr_max
PARAM_VALUE 0 rphy->chg_state 0
PARAM_VALUE 0 rphy->chg_type 0
PARAM_VALUE 0 rphy->clks 0,4096-ptr_max
PARAM_VALUE 0 rphy->dev 4096-ptr_max
PARAM_VALUE 0 rphy->dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 rphy->dev->devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 rphy->dev->devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 rphy->dev->of_node 4096-ptr_max
PARAM_VALUE 0 rphy->dev->parent 0,4096-ptr_max
PARAM_VALUE 0 rphy->edev 4096-ptr_max
PARAM_VALUE 0 rphy->grf 0-ptr_max
PARAM_VALUE 0 rphy->irq s32min-(-1),1-s32max
PARAM_VALUE 0 rphy->num_clks 0-s32max
PARAM_VALUE 0 rphy->phy_base 0-ptr_max
PARAM_VALUE 0 rphy->phy_cfg 4096-ptr_max
PARAM_VALUE 0 rphy->phy_reset 0,4096-ptr_max
BUF_SIZE 0 rphy 1672
BUF_SIZE 0 rphy->dev 1616
BUF_SIZE 0 rphy->grf (-1),1-s32max
BUF_SIZE 0 rphy->irq s32min-(-1),1-s32max
BUF_SIZE 0 rphy->phy_base (-1),1-s32max
BUF_SIZE 0 rphy->phy_reset (-1),8,280
CAPPED_DATA 0 rphy->num_clks 1
DATA_SOURCE 0 rphy r devm_kzalloc
FUZZY_MAX 0 rphy->num_clks 0
MEM_ZERO 0 rphy
RX_PATH
TASK_NOT_RUNNING