Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/usb/smsc75xx.c smsc75xx_read_eeprom() -> smsc75xx_wait_eeprom()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->driver_info->flags 32,82,96,1024,1536,2080,2592,4096-4097,4100,4112,4114,4128,4152,6176,8288,8544,9232,9744,10336,12848,14384,14896,15376,17408,48144,67072
PARAM_VALUE 0 dev->intf->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->net 0,4096-ptr_max
PARAM_VALUE 0 dev->net->dev.parent 0,4096-ptr_max
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
RX_PATH
TASK_NOT_RUNNING

drivers/net/usb/smsc75xx.c smsc75xx_write_eeprom() -> smsc75xx_wait_eeprom()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->intf->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->net 0,4096-ptr_max
PARAM_VALUE 0 dev->net->dev.parent 0,4096-ptr_max
PARAM_VALUE 0 *dev->net->name 0
DATA_SOURCE 0 dev $0
HALF_LOCKED2 global &rtnl_mutex

drivers/net/usb/smsc75xx.c smsc75xx_write_eeprom() -> smsc75xx_wait_eeprom()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->intf->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->net 0,4096-ptr_max
PARAM_VALUE 0 dev->net->dev.parent 0,4096-ptr_max
PARAM_VALUE 0 *dev->net->name 0
DATA_SOURCE 0 dev $0
HALF_LOCKED2 global &rtnl_mutex