Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/fungible/funeth/funeth_main.c fun_change_num_queues() -> fun_prune_queue_irqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.parent | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.parent->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | dev->ethtool | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ethtool->rss_indir_user_size | 0-1 |
| PARAM_VALUE | 0 | dev->ethtool->rss_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->ethtool->rss_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->ethtool->rss_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->ethtool->rss_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->ethtool->rss_lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->ethtool->rss_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | dev->ethtool->rss_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | dev->ethtool->rss_lock.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | dev->ethtool->rss_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | dev->ethtool->rss_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | dev->ethtool_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ethtool_ops->get_channels | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->ethtool_ops->set_channels | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->ip6_ptr->dev->rtnl_link_ops->priv_size | 0,8,32,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,1056,1128,1336,1616,2176,2240,2272,2560,3296,3720,9688-u64max |
| PARAM_VALUE | 0 | dev->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | dev->lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | dev->lock.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | dev->lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | dev->netdev_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->priv->fdev->irqmgr_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->priv->fdev->irqs_avail | 0-4294967295 |
| PARAM_VALUE | 0 | dev->priv->irqs.xa_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->priv->num_rx_irqs | 0-4294967295 |
| PARAM_VALUE | 0 | dev->priv->num_tx_irqs | 0-4294967295 |
| PARAM_VALUE | 0 | dev->priv->rxqs | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->priv->txqs | 0,4096-ptr_max |
| 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->priv_size | 0,8,32,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,1056,1128,1336,1616,2176,2240,2272,2560,3296,3720,9688-u64max |
| PARAM_VALUE | 0 | dev->threaded | 0 |
| PARAM_VALUE | 0 | *dev->name | 0-255 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &rtnl_mutex |
drivers/net/ethernet/fungible/funeth/funeth_main.c fun_change_num_queues() -> fun_prune_queue_irqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.parent | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.parent->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | dev->ethtool | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ethtool->rss_indir_user_size | 0-1 |
| PARAM_VALUE | 0 | dev->ethtool->rss_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->ethtool->rss_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->ethtool->rss_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->ethtool->rss_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->ethtool->rss_lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->ethtool->rss_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | dev->ethtool->rss_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | dev->ethtool->rss_lock.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | dev->ethtool->rss_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | dev->ethtool->rss_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | dev->ethtool_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ethtool_ops->get_channels | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->ethtool_ops->set_channels | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | dev->lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | dev->lock.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | dev->lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | dev->netdev_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->priv->fdev->admin_q->sq_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->priv->fdev->admin_sbq.completion_cnt.counter | s32min-s32max |
| PARAM_VALUE | 0 | dev->priv->fdev->admin_sbq.sb->alloc_hint | 0-4294967294 |
| PARAM_VALUE | 0 | dev->priv->fdev->admin_sbq.wake_index.counter | s32min-s32max |
| PARAM_VALUE | 0 | dev->priv->fdev->admin_sbq.wakeup_cnt.counter | 0-s32max |
| PARAM_VALUE | 0 | dev->priv->fdev->admin_sbq.ws_active.counter | s32min-s32max |
| PARAM_VALUE | 0 | dev->priv->fdev->irqmgr_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->priv->fdev->irqs_avail | 0-4294967295 |
| PARAM_VALUE | 0 | dev->priv->fdev->suppress_cmds | 1 |
| PARAM_VALUE | 0 | dev->priv->indir_table_nentries | 0-4294967295 |
| PARAM_VALUE | 0 | dev->priv->irqs.xa_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->priv->num_rx_irqs | 0-4294967295 |
| PARAM_VALUE | 0 | dev->priv->num_tx_irqs | 0-4294967295 |
| PARAM_VALUE | 0 | dev->priv->rxqs | 0 |
| PARAM_VALUE | 0 | dev->priv->txqs | 0 |
| PARAM_VALUE | 0 | dev->priv->xdpqs | 0 |
| 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->priv_size | 0,8,32,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736 |
| PARAM_VALUE | 0 | dev->threaded | 0 |
| PARAM_VALUE | 0 | *dev->name | 0-255 |
| PARAM_VALUE | 0 | *dev->priv->indir_table | 0-4294967295 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &rtnl_mutex |
drivers/net/ethernet/fungible/funeth/funeth_main.c fun_uninit() -> fun_prune_queue_irqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | dev->dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | dev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | dev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | dev->ip6_ptr->dev->rtnl_link_ops->maxtype | 0-6,8-10,15,18,20,22,24,34,50 |
| PARAM_VALUE | 0 | dev->netdev_ops->ndo_init | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->netdev_ops->ndo_uninit | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->queues_kset->kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | dev->rtnl_link_ops->alloc | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->rtnl_link_ops->changelink | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->rtnl_link_ops->dellink | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->rtnl_link_ops->fill_info | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->rtnl_link_ops->fill_linkxstats | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->rtnl_link_ops->fill_slave_info | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->rtnl_link_ops->fill_xstats | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->rtnl_link_ops->get_link_net | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->rtnl_link_ops->get_linkxstats_size | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->rtnl_link_ops->get_num_rx_queues | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->rtnl_link_ops->get_num_tx_queues | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->rtnl_link_ops->get_size | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->rtnl_link_ops->get_slave_size | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->rtnl_link_ops->get_xstats_size | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->rtnl_link_ops->kind | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->rtnl_link_ops->maxtype | 0-6,8-10,15-16,18,20,22,24,33-34,50 |
| PARAM_VALUE | 0 | dev->rtnl_link_ops->newlink | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->rtnl_link_ops->peer_type | 0-1 |
| PARAM_VALUE | 0 | dev->rtnl_link_ops->policy | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->rtnl_link_ops->setup | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->rtnl_link_ops->slave_changelink | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->rtnl_link_ops->slave_maxtype | 0,12,45 |
| PARAM_VALUE | 0 | dev->rtnl_link_ops->slave_policy | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->rtnl_link_ops->validate | 0,4096-ptr_max |
| PARAM_VALUE | 0 | *dev->name | 0-255 |
| BUF_SIZE | 0 | dev->dcbnl_ops | (-1),424 |
| BUF_SIZE | 0 | dev->dev.parent | (-1),1616 |
| BUF_SIZE | 0 | dev->dev.type | (-1),48 |
| BUF_SIZE | 0 | dev->devlink_port | (-1),472 |
| BUF_SIZE | 0 | dev->ethtool_ops | (-1),656 |
| BUF_SIZE | 0 | dev->ieee80211_ptr | (-1),2512 |
| BUF_SIZE | 0 | dev->ieee802154_ptr | (-1),272 |
| BUF_SIZE | 0 | dev->ml_priv | (-1),48 |
| BUF_SIZE | 0 | dev->name_node | (-1),64 |
| BUF_SIZE | 0 | dev->name_node->name | (-1),16 |
| BUF_SIZE | 0 | dev->nd_net.net | (-1),10304,10432,10624 |
| BUF_SIZE | 0 | dev->netdev_ops | (-1),760 |
| BUF_SIZE | 0 | dev->qdisc_tx_busylock | (-1),16 |
| BUF_SIZE | 0 | dev->queue_mgmt_ops | (-1),80 |
| BUF_SIZE | 0 | dev->rtnl_link_ops | (-1),288 |
| BUF_SIZE | 0 | dev->stat_ops | (-1),24 |
| BUF_SIZE | 0 | dev->sysfs_rx_queue_group | (-1),48 |
| BUF_SIZE | 0 | dev->xdp_metadata_ops | (-1),24 |
| CAPPED_DATA | 0 | dev | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| STR_LEN | 0 | dev->ieee80211_ptr->wiphy | (-1),5-6 |
| STR_LEN | 0 | dev->name | (-1),15 |
| STR_LEN | 0 | dev->name_node->name | (-1),15 |
| STR_LEN | 0 | dev->nd_net.net | (-1) |
| STR_LEN | 0 | dev->rtnl_link_ops->kind | (-1),13 |
| NOSPEC | 0 | dev->ifindex | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | dev->max_mtu | 68-u16max |
| HOST_DATA | 0 | dev->mtu | 68-u16max |
| USER_DATA | 0 | dev->ifindex | s32min-s32max |
| USER_DATA | 0 | dev->threaded | 0-255 |
| 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_tx_queues | |
| NO_OVERFLOW_SIMPLE | 0 | dev->phydev->attached_dev->group | |
| NO_OVERFLOW_SIMPLE | 0 | dev->phydev->attached_dev->proto_down | |
| NO_OVERFLOW_SIMPLE | 0 | dev->phydev->attached_dev->real_num_tx_queues | |
| NO_OVERFLOW_SIMPLE | 0 | dev->phydev->attached_dev->stats.tx_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | dev->phydev->attached_dev->tx_queue_len | |
| NO_OVERFLOW_SIMPLE | 0 | dev->real_num_rx_queues | |
| NO_OVERFLOW_SIMPLE | 0 | dev->real_num_tx_queues | |
| USER_PTR | 0 | dev->name_node->name | |
| HALF_LOCKED2 | 0 | &dev->lock |