Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/usb/smsc75xx.c smsc75xx_change_mtu() -> smsc75xx_set_rx_max_frame_length()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

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

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.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->mii.dev 4096-ptr_max
PARAM_VALUE 0 dev->mii.dev->dev.parent 0,4096-ptr_max
PARAM_VALUE 0 dev->mii.dev->dev_addr 4096-ptr_max
PARAM_VALUE 0 dev->mii.mdio_read 4506166300912726016
PARAM_VALUE 0 dev->mii.mdio_write 4273843114506457088
PARAM_VALUE 0 dev->mii.phy_id 1
PARAM_VALUE 0 dev->mii.phy_id_mask 31
PARAM_VALUE 0 dev->mii.reg_num_mask 31
PARAM_VALUE 0 dev->mii.supports_gmii 1
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->net->priv->phy_mutex.dep_map->name 0-255
PARAM_VALUE 0 dev->net->priv->phy_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->net->priv->phy_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 dev->net->priv->phy_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->net->priv->phy_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 dev->net->priv->phy_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 dev->net->priv->phy_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 dev->net->priv->phy_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 dev->net->priv->phy_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev->rx_urb_size 8256,9000,18944
PARAM_VALUE 0 *dev->net->name 0
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
UNITS 1 size unit_byte