Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/chipidea/core.c ci_usb_phy_init() -> _ci_usb_phy_init()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 0 ci->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 ci->phy->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 ci->platdata 4096-ptr_max
PARAM_VALUE 0 ci->platdata->phy_mode 1-2,5
BUF_SIZE 0 ci s32min-(-2),1-s32max
BUF_SIZE 0 ci s32min-(-2),1-s32max
BUF_SIZE 0 ci->dev (-1),1616
BUF_SIZE 0 ci->platdata (-1),1-s32max
DATA_SOURCE 0 ci $0
BIT_INFO 0 ci->platdata->flags 0x0,0xffffffffffffefff
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 ci->rev 0-u32max[c]
UNITS 0 ci unit_byte

drivers/usb/chipidea/core.c ci_usb_phy_init() -> _ci_usb_phy_init()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 0 ci->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 ci->phy->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 ci->platdata 4096-ptr_max
PARAM_VALUE 0 ci->platdata->phy_mode 3-4
BUF_SIZE 0 ci s32min-(-2),1-s32max
BUF_SIZE 0 ci s32min-(-2),1-s32max
BUF_SIZE 0 ci->dev (-1),1616
BUF_SIZE 0 ci->platdata (-1),1-s32max
DATA_SOURCE 0 ci $0
BIT_INFO 0 ci->platdata->flags 0x0,0xffffffffffffefff
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 ci->rev 0-u32max[c]
UNITS 0 ci unit_byte

drivers/usb/chipidea/core.c ci_usb_phy_init() -> _ci_usb_phy_init()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 0 ci->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 ci->phy->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 ci->platdata 4096-ptr_max
PARAM_VALUE 0 ci->platdata->phy_mode 0,6-u32max
BUF_SIZE 0 ci s32min-(-2),1-s32max
BUF_SIZE 0 ci s32min-(-2),1-s32max
BUF_SIZE 0 ci->dev (-1),1616
BUF_SIZE 0 ci->platdata (-1),1-s32max
DATA_SOURCE 0 ci $0
BIT_INFO 0 ci->platdata->flags 0x0,0xffffffffffffefff
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 ci->rev 0-u32max[c]
UNITS 0 ci unit_byte