Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
net/mctp/route.c __mctp_route_test_fini() -> mctp_test_destroy_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $1 |
| NOCHECK_CALL |
net/mctp/route.c mctp_test_fragment() -> mctp_test_destroy_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->mdev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->mdev->addrs_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->pkts.lock.rlock.dep_map->name | 0-255 |
| CAPPED_DATA | 0 | &dev->pkts | 1 |
| DATA_SOURCE | 0 | dev | r mctp_test_create_dev |
| NOCHECK_CALL |
net/mctp/route.c mctp_test_route_gw_lookup() -> mctp_test_destroy_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev->card_data.hydra.transid | 0-255 |
| PARAM_VALUE | 0 | dev->mdev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->mdev->addrs | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->mdev->num_addrs | 1 |
| PARAM_VALUE | 0 | dev->ndev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->pkts.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->pkts.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->pkts.qlen | 0 |
| PARAM_VALUE | 0 | dev->rocker->cmd_ring.head | 0-4294967295 |
| DATA_SOURCE | 0 | dev | r mctp_test_create_dev_with_addr |
| NOCHECK_CALL |
net/mctp/route.c mctp_test_route_gw_loop() -> mctp_test_destroy_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev->card_data.hydra.transid | 0-255 |
| PARAM_VALUE | 0 | dev->mdev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->mdev->addrs | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->mdev->num_addrs | 1 |
| PARAM_VALUE | 0 | dev->mdev->refs.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 0 | dev->ndev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->pkts.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->pkts.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->pkts.qlen | 0 |
| PARAM_VALUE | 0 | dev->rocker->cmd_ring.head | 0-4294967295 |
| DATA_SOURCE | 0 | dev | r mctp_test_create_dev_with_addr |
| NOCHECK_CALL |
net/mctp/route.c mctp_test_route_gw_mtu() -> mctp_test_destroy_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev->card_data.hydra.transid | 0-255 |
| PARAM_VALUE | 0 | dev->mdev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->mdev->addrs | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->mdev->num_addrs | 1 |
| PARAM_VALUE | 0 | dev->ndev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->pkts.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->pkts.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->pkts.qlen | 0 |
| PARAM_VALUE | 0 | dev->rocker->cmd_ring.head | 0-4294967295 |
| DATA_SOURCE | 0 | dev | r mctp_test_create_dev_with_addr |
| NOCHECK_CALL |
net/mctp/route.c mctp_test_route_input_null_eid() -> mctp_test_destroy_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->mctp_ptr | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->mctp_ptr->refs.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 0 | dev->ndev->nd_net.net->ipv4.fqdir->f->frag_expire | 0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560 |
| PARAM_VALUE | 0 | dev->ndev->nd_net.net->ipv4.fqdir->f->qsize | 0,304,320 |
| PARAM_VALUE | 0 | dev->ndev->rtnl_link_ops->maxtype | 0-6,8-10,15,18,20,22,24,34,50 |
| PARAM_VALUE | 0 | dev->ndev->rtnl_link_ops->priv_size | 0,8,32,40,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,744,1056,1128,1336,1616,2176,2240,2272,2560,3296,3544,3552,3720,9688-u64max |
| CAPPED_DATA | 0 | dev->ndev->mctp_ptr | 1 |
| CAPPED_DATA | 0 | dev->ndev->nd_net.net | 1 |
| DATA_SOURCE | 0 | dev | r mctp_test_create_dev |
| NOCHECK_CALL |
net/mctp/route.c mctp_test_route_output_direct_no_eids() -> mctp_test_destroy_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->mdev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->pkts.lock.rlock.dep_map->name | 0-255 |
| CAPPED_DATA | 0 | dev->mdev->net | 1 |
| CAPPED_DATA | 0 | &dev->pkts | 1 |
| DATA_SOURCE | 0 | dev | r mctp_test_create_dev |
| NOCHECK_CALL |
net/mctp/route.c mctp_test_route_output_extaddr_no_eids() -> mctp_test_destroy_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->pkts.lock.rlock.dep_map->name | 0-255 |
| CAPPED_DATA | 0 | dev->ndev->ifindex | 1 |
| CAPPED_DATA | 0 | dev->ndev->nd_net.net | 1 |
| CAPPED_DATA | 0 | &dev->pkts | 1 |
| DATA_SOURCE | 0 | dev | r mctp_test_create_dev |
| NOCHECK_CALL |
net/mctp/route.c mctp_test_route_output_gw_no_eids() -> mctp_test_destroy_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->mdev | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | r mctp_test_create_dev |
| NOCHECK_CALL |
net/mctp/route.c mctp_test_route_output_key_create() -> mctp_test_destroy_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->mdev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->mdev->addrs | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->mdev->addrs_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->mdev->net | 50 |
| PARAM_VALUE | 0 | dev->mdev->num_addrs | 1 |
| BUF_SIZE | 0 | dev->mdev->addrs | 1 |
| DATA_SOURCE | 0 | dev | r mctp_test_create_dev |
| NOCHECK_CALL |
net/mctp/route.c mctp_test_rx_input() -> mctp_test_destroy_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->mdev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->mctp_ptr | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->mctp_ptr->refs.refs.counter | (-1073741824),0-s32max |
| CAPPED_DATA | 0 | dev->ndev->mctp_ptr | 1 |
| CAPPED_DATA | 0 | dev->ndev->nd_net.net | 1 |
| DATA_SOURCE | 0 | dev | r mctp_test_create_dev |
| RX_PATH | |||
| NOCHECK_CALL |
net/mctp/test/utils.c mctp_test_create_dev_with_addr() -> mctp_test_destroy_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev->card_data.hydra.transid | 0-255 |
| PARAM_VALUE | 0 | dev->mdev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->mdev->addrs | 0 |
| PARAM_VALUE | 0 | dev->mdev->refs.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 0 | dev->ndev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->_rx | 16,4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->_tx | 16,4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->adj_list.lower.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->adj_list.lower.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->adj_list.upper.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->adj_list.upper.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->cfg | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->cfg_pending | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->close_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->close_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->dev_addrs.list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->dev_addrs.list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->ethtool | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->ethtool_ops | 1-u64max |
| PARAM_VALUE | 0 | dev->ndev->gro_ipv4_max_size | 65536 |
| PARAM_VALUE | 0 | dev->ndev->gro_max_size | 65536 |
| PARAM_VALUE | 0 | dev->ndev->group | 0 |
| PARAM_VALUE | 0 | dev->ndev->gso_ipv4_max_size | 65536 |
| PARAM_VALUE | 0 | dev->ndev->gso_max_segs | u16max |
| PARAM_VALUE | 0 | dev->ndev->gso_max_size | 65536 |
| PARAM_VALUE | 0 | dev->ndev->link_watch_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->link_watch_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->lock.first_waiter | 0 |
| PARAM_VALUE | 0 | dev->ndev->lock.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->lock.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | dev->ndev->lock.owner.counter | 0 |
| PARAM_VALUE | 0 | dev->ndev->lower_level | 1 |
| PARAM_VALUE | 0 | dev->ndev->mc.count | 0 |
| PARAM_VALUE | 0 | dev->ndev->mc.list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->mc.list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->name_assign_type | 1 |
| PARAM_VALUE | 0 | dev->ndev->napi_config | 16,4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->napi_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->napi_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->nd_net.net | 1824583183996030976 |
| PARAM_VALUE | 0 | dev->ndev->nested_level | 0 |
| PARAM_VALUE | 0 | dev->ndev->net_notifier_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->net_notifier_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->nf_hooks_egress | 0 |
| PARAM_VALUE | 0 | dev->ndev->nf_hooks_ingress | 0 |
| PARAM_VALUE | 0 | dev->ndev->num_napi_configs | 1-u32max |
| PARAM_VALUE | 0 | dev->ndev->num_rx_queues | 1 |
| PARAM_VALUE | 0 | dev->ndev->num_tx_queues | 1 |
| PARAM_VALUE | 0 | dev->ndev->pcpu_refcnt | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->priv_flags | 131104,655392 |
| PARAM_VALUE | 0 | dev->ndev->priv_len | 152 |
| PARAM_VALUE | 0 | dev->ndev->ptype_all.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->ptype_all.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->ptype_specific.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->ptype_specific.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->real_num_rx_queues | 1 |
| PARAM_VALUE | 0 | dev->ndev->real_num_tx_queues | 1 |
| PARAM_VALUE | 0 | dev->ndev->refcnt_tracker.class | 7541498157787627520 |
| PARAM_VALUE | 0 | dev->ndev->refcnt_tracker.dead | 0 |
| PARAM_VALUE | 0 | dev->ndev->refcnt_tracker.list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->refcnt_tracker.list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->refcnt_tracker.no_tracker.refs.counter | 1 |
| PARAM_VALUE | 0 | dev->ndev->refcnt_tracker.quarantine.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->refcnt_tracker.quarantine.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->refcnt_tracker.quarantine_avail | 128 |
| PARAM_VALUE | 0 | dev->ndev->refcnt_tracker.untracked.refs.counter | 1 |
| PARAM_VALUE | 0 | dev->ndev->rx_mode_addr_cache.count | 0 |
| PARAM_VALUE | 0 | dev->ndev->rx_mode_addr_cache.list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->rx_mode_addr_cache.list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->rx_mode_retry_timer.flags | 0-4194302 |
| PARAM_VALUE | 0 | dev->ndev->tso_max_segs | u16max |
| PARAM_VALUE | 0 | dev->ndev->tso_max_size | 65536 |
| PARAM_VALUE | 0 | dev->ndev->tx_queue_len | 1-u32max |
| PARAM_VALUE | 0 | dev->ndev->uc.count | 0 |
| PARAM_VALUE | 0 | dev->ndev->uc.list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->uc.list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->unlink_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->unlink_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->unreg_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->unreg_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->unreg_list_net.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->unreg_list_net.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->upper_level | 1 |
| PARAM_VALUE | 0 | dev->ndev->watchdog_ref_held | 0 |
| PARAM_VALUE | 0 | dev->ndev->work_node.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->work_node.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev->xdp_zc_max_segs | 1 |
| PARAM_VALUE | 0 | dev->pkts.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->pkts.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->pkts.qlen | 0 |
| PARAM_VALUE | 0 | dev->rocker->cmd_ring.head | 0-4294967295 |
| BUF_SIZE | 0 | dev->mdev->addrs | 1 |
| DATA_SOURCE | 0 | dev | r __mctp_test_create_dev |
| TERMINATED | 0 | dev->ndev->refcnt_tracker.class | 1 |
| TERMINATED | 0 | dev->refcnt_tracker.class | 1 |
| NOCHECK_CALL |
net/mctp/af_mctp.c __mctp_sock_test_fini() -> mctp_test_destroy_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ndev | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $1 |
| NOCHECK_CALL |