Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/marvell/sky2.c sky2_init_netdev() -> sky2_set_mac_address()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev->addr_assign_type | 1 |
| PARAM_VALUE | 0 | dev->dev.parent | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.parent->bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.parent->class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.parent->dma_mask | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.parent->driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev_addr | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ethtool_ops | 8126133705667010560 |
| PARAM_VALUE | 0 | dev->max_mtu | 1500,9000 |
| PARAM_VALUE | 0 | dev->min_mtu | 60 |
| PARAM_VALUE | 0 | dev->netdev_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->priv->advertising | 15,48,63 |
| PARAM_VALUE | 0 | dev->priv->duplex | 255 |
| PARAM_VALUE | 0 | dev->priv->flags | 6 |
| PARAM_VALUE | 0 | dev->priv->flow_mode | 3 |
| PARAM_VALUE | 0 | dev->priv->hw | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->priv->hw->chip_id | 179-186,188-190 |
| PARAM_VALUE | 0 | dev->priv->hw->chip_rev | 0-15 |
| PARAM_VALUE | 0 | dev->priv->hw->flags | 12,14,28-1786 |
| PARAM_VALUE | 0 | dev->priv->hw->pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->priv->hw->ports | 1-2 |
| PARAM_VALUE | 0 | dev->priv->hw->st_le | 1-ptr_max |
| PARAM_VALUE | 0 | dev->priv->netdev->dev.parent | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->priv->netdev->ethtool_ops | 8126133705667010560 |
| PARAM_VALUE | 0 | dev->priv->netdev->netdev_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->priv->netdev->watchdog_timeo | 1250 |
| PARAM_VALUE | 0 | dev->priv->port | 0-1 |
| PARAM_VALUE | 0 | dev->priv->rx_pending | 168 |
| PARAM_VALUE | 0 | dev->priv->speed | u16max |
| PARAM_VALUE | 0 | dev->priv->tx_pending | 63 |
| PARAM_VALUE | 0 | dev->priv->wol | 0,32 |
| PARAM_VALUE | 0 | dev->watchdog_timeo | 1250 |
| PARAM_VALUE | 0 | *dev->name | 0 |
| PARAM_VALUE | 1 | p | 7634739572467388416 |
| BUF_SIZE | 0 | dev->dev.parent | 1616 |
| BUF_SIZE | 0 | dev->ethtool_ops | 656 |
| BUF_SIZE | 1 | p | 16 |
| DATA_SOURCE | 0 | dev | r alloc_etherdev_mqs |
| FUZZY_MAX | 0 | dev->max_mtu | 9000 |
| BIT_INFO | 0 | dev->features | 0x10003,0xffffffffffffffff |
| BIT_INFO | 0 | dev->hw_features | 0x10003,0xffffffffffffffff |
| BIT_INFO | 0 | dev->max_mtu | 0x108,0xffffffffffffffff |
| HARD_MAX | 0 | dev->max_mtu | 9000 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
net/core/dev.c netif_set_mac_address() -> (struct net_device_ops)->ndo_set_mac_address()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->nd_net.net->ipv4.fqdir->f->frag_expire | 0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560 |
| PARAM_VALUE | 0 | dev->nd_net.net->ipv4.fqdir->f->qsize | 0,304,320 |
| PARAM_VALUE | 0 | dev->ndisc_ops->fill_addr_option | 9149257602806276096 |
| PARAM_VALUE | 0 | dev->ndisc_ops->parse_options | 4570881757937598464 |
| PARAM_VALUE | 0 | dev->ndisc_ops->update | 8455145027589103616 |
| PARAM_VALUE | 0 | dev->netdev_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->netdev_ops->ndo_set_config | 0,1586268954384080896,2133952100825280512,4430316855586635776 |
| PARAM_VALUE | 0 | dev->netdev_ops->ndo_set_mac_address | 1-u64max |
| PARAM_VALUE | 0 | dev->rtnl_link_ops->alloc | 0,1182153660833808384,3130032447137456128 |
| PARAM_VALUE | 0 | dev->rtnl_link_ops->get_num_rx_queues | 0,1694260139628544000,4559208055891021824,7097615251001798656,8443738062496038912 |
| PARAM_VALUE | 0 | dev->rtnl_link_ops->get_num_tx_queues | 0,1694260139628544000,4559208055891021824,7071371917186535424,8443738062496038912 |
| PARAM_VALUE | 0 | dev->rtnl_link_ops->maxtype | 0-6,8-10,15,18,20,22,24,34,50 |
| PARAM_VALUE | 0 | dev->rtnl_link_ops->peer_type | 0-1 |
| PARAM_VALUE | 1 | p | 4096-ptr_max |
| BUF_SIZE | 0 | dev->nd_net.net | (-1),10304,10432 |
| BUF_SIZE | 1 | p | (-1),16 |
| CAPPED_DATA | 0 | dev->addr_len | 1 |
| CAPPED_DATA | 0 | dev->type | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | p | $1 |
| PARAM_COMPARE | 0 | dev->type | == $1->ss_family |
| NOSPEC | 0 | dev->flags | |
| NOSPEC | 0 | dev->ifindex | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | dev->flags | 0-527362[c] |
| USER_DATA | 0 | dev->ifindex | 0-s32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | dev->group | |
| NO_OVERFLOW_SIMPLE | 0 | dev->num_napi_configs | |
| NO_OVERFLOW_SIMPLE | 0 | dev->num_rx_queues | |
| NO_OVERFLOW_SIMPLE | 0 | dev->num_tc | |
| NO_OVERFLOW_SIMPLE | 0 | dev->num_tx_queues | |
| NO_OVERFLOW_SIMPLE | 0 | dev->proto_down | |
| NO_OVERFLOW_SIMPLE | 0 | dev->real_num_rx_queues | |
| NO_OVERFLOW_SIMPLE | 0 | dev->real_num_tx_queues | |
| HALF_LOCKED2 | global &dev_addr_sem | ||
| HALF_LOCKED2 | global &rtnl_mutex |