Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/usb/smsc75xx.c smsc75xx_reset() -> smsc75xx_phy_initialize()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->data 4096-ptr_max
PARAM_VALUE 0 dev->driver_info 4096-ptr_max
PARAM_VALUE 0 dev->driver_info->flags 32,82,96,1024,1536,2080,2592,4096-4097,4100,4112,4114,4128,4152
PARAM_VALUE 0 dev->driver_info->reset 0,4096-ptr_max
PARAM_VALUE 0 dev->intf 4096-ptr_max
PARAM_VALUE 0 dev->intf->dev.power.runtime_status 0,2
PARAM_VALUE 0 dev->intf->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->net 4096-ptr_max
PARAM_VALUE 0 dev->net->dev.parent 0,4096-ptr_max
PARAM_VALUE 0 dev->net->dev_addr 4096-ptr_max
PARAM_VALUE 0 dev->net->priv->intf->dev.power.deferred_resume 0-1
PARAM_VALUE 0 dev->net->priv->intf->dev.power.idle_notification 0-1
PARAM_VALUE 0 dev->net->priv->intf->dev.power.request 0-4294967295
PARAM_VALUE 0 dev->net->priv->intf->dev.power.request_pending 0-1
PARAM_VALUE 0 dev->net->priv->intf->dev.power.runtime_error s32min-s32max
PARAM_VALUE 0 dev->net->priv->intf->dev.power.runtime_status s32min-s32max
PARAM_VALUE 0 dev->net->priv->intf->dev.power.timer_autosuspends 0-1
PARAM_VALUE 0 dev->net->priv->intf->dev.power.usage_count.counter s32min-s32max
PARAM_VALUE 0 dev->net->priv->intf->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->rx_urb_size 8256,9000,18944
PARAM_VALUE 0 *dev->net->name 0-255
PARAM_VALUE 0 *dev->udev->toggle 0-4294967295
BUF_SIZE 0 dev->driver_name (-1),4-25,28-29,32
DATA_SOURCE 0 dev $0
FUZZY_MAX 0 dev->rx_urb_size 18944
BIT_INFO 0 dev->msg_enable 0x0,0xffffffff
BIT_INFO 0 dev->rx_urb_size 0x0,0x6b68
HARD_MAX 0 dev->rx_urb_size 18944
RX_PATH
TASK_NOT_RUNNING