Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/phy/phy.c usb_add_phy() -> usb_add_extcon()

Type Parameter Key Value
PARAM_VALUE 0 x 4096-ptr_max
PARAM_VALUE 0 x->chg_cur.aca_max 5000
PARAM_VALUE 0 x->chg_cur.aca_min 1500
PARAM_VALUE 0 x->chg_cur.cdp_max 5000
PARAM_VALUE 0 x->chg_cur.cdp_min 1500
PARAM_VALUE 0 x->chg_cur.dcp_max 5000
PARAM_VALUE 0 x->chg_cur.dcp_min 500
PARAM_VALUE 0 x->chg_cur.sdp_max 500
PARAM_VALUE 0 x->chg_cur.sdp_min 2
PARAM_VALUE 0 x->chg_state 0
PARAM_VALUE 0 x->chg_type 0
PARAM_VALUE 0 x->dev 4096-ptr_max
PARAM_VALUE 0 x->head.next 4096-ptr_max
PARAM_VALUE 0 x->head.next->next 4096-ptr_max
PARAM_VALUE 0 x->head.prev 4096-ptr_max
PARAM_VALUE 0 x->head.prev->next 4096-ptr_max
PARAM_VALUE 0 x->head.prev->prev 4096-ptr_max
PARAM_VALUE 0 x->label 2471505004356169728,7810278885530976256
PARAM_VALUE 0 x->otg 4096-ptr_max
PARAM_VALUE 0 x->type 0
DATA_SOURCE 0 x $0
TERMINATED 0 x->label 1
RX_PATH
TASK_NOT_RUNNING

drivers/usb/phy/phy.c usb_add_phy_dev() -> usb_add_extcon()

Type Parameter Key Value
PARAM_VALUE 0 x 4096-ptr_max
PARAM_VALUE 0 x->chg_cur.aca_max 5000
PARAM_VALUE 0 x->chg_cur.aca_min 1500
PARAM_VALUE 0 x->chg_cur.cdp_max 5000
PARAM_VALUE 0 x->chg_cur.cdp_min 1500
PARAM_VALUE 0 x->chg_cur.dcp_max 5000
PARAM_VALUE 0 x->chg_cur.dcp_min 500
PARAM_VALUE 0 x->chg_cur.sdp_max 500
PARAM_VALUE 0 x->chg_cur.sdp_min 2
PARAM_VALUE 0 x->chg_state 0
PARAM_VALUE 0 x->chg_type 0
PARAM_VALUE 0 x->dev 4096-ptr_max
PARAM_VALUE 0 x->head.next 4096-ptr_max
PARAM_VALUE 0 x->head.next->next 4096-ptr_max
PARAM_VALUE 0 x->head.prev 4096-ptr_max
PARAM_VALUE 0 x->head.prev->next 4096-ptr_max
PARAM_VALUE 0 x->head.prev->prev 4096-ptr_max
BUF_SIZE 0 x (-1),448
BUF_SIZE 0 x (-1),448
BUF_SIZE 0 x->dev (-1),1616
BUF_SIZE 0 x->label s32min,(-10),(-1),1-s32max
DATA_SOURCE 0 x $0
STR_LEN 0 x->label (-1),7
MEM_ZERO 0 x
RX_PATH
TASK_NOT_RUNNING