prestera_switchdev_fini identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

drivers/net/ethernet/marvell/prestera/prestera_switchdev.h, line 8 (as a prototype)

Defined in 1 files as a function:

drivers/net/ethernet/marvell/prestera/prestera_switchdev.c, line 1910 (as a function)

Referenced in 1 files:

drivers/net/ethernet/marvell/prestera/prestera_main.c
- line 1442
- line 1463

Smatch caller information:

drivers/net/ethernet/marvell/prestera/prestera_main.c prestera_switch_fini() -> prestera_switchdev_fini()

Type	Parameter	Key	Value
PARAM_VALUE	0	sw	4096-ptr_max
PARAM_VALUE	0	sw->acl	4096-ptr_max
PARAM_VALUE	0	sw->acl->acl_rule_entry_ht.run_work.lockdep_map->name	0-255
PARAM_VALUE	0	sw->acl->acl_rule_entry_ht.tbl->hash_rnd	0-4294967295
PARAM_VALUE	0	sw->acl->acl_rule_entry_ht.tbl->nest	0-4294967295
PARAM_VALUE	0	sw->acl->acl_rule_entry_ht.tbl->size	0-4294967295
PARAM_VALUE	0	sw->acl->ruleset_ht.run_work.lockdep_map->name	0-255
PARAM_VALUE	0	sw->acl->ruleset_ht.tbl->hash_rnd	0-4294967295
PARAM_VALUE	0	sw->acl->ruleset_ht.tbl->nest	0-4294967295
PARAM_VALUE	0	sw->acl->ruleset_ht.tbl->size	0-4294967295
PARAM_VALUE	0	sw->acl->uid.idr_rt.xa_flags	0-4294967295
PARAM_VALUE	0	sw->counter	4096-ptr_max
PARAM_VALUE	0	sw->counter->stats_dw.work.lockdep_map->name	0-255
PARAM_VALUE	0	sw->lags	4096-ptr_max
PARAM_VALUE	0	sw->rxtx	4096-ptr_max
PARAM_VALUE	0	sw->rxtx->sdma.desc_pool->dev->cma_area->nranges	s32min-s32max
PARAM_VALUE	0	sw->rxtx->sdma.napi_dev	4096-ptr_max
PARAM_VALUE	0	sw->rxtx->sdma.napi_dev->lock.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	sw->rxtx->sdma.napi_dev->needs_free_netdev	1
PARAM_VALUE	0	sw->rxtx->sdma.napi_dev->refcnt_tracker.dead	1
PARAM_VALUE	0	sw->rxtx->sdma.napi_dev->reg_state	0,2,4-5
PARAM_VALUE	0	sw->rxtx->sdma.rx_napi->skb->sk->sk_callback_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	sw->rxtx->sdma.rx_napi->thread->delays->lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	sw->rxtx->sdma.rx_napi.dev	4096-ptr_max
PARAM_VALUE	0	sw->rxtx->sdma.rx_napi.dev->lock.dep_map->name	0-255
PARAM_VALUE	0	sw->rxtx->sdma.rx_napi.dev->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	sw->rxtx->sdma.rx_napi.dev->lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	sw->rxtx->sdma.rx_napi.dev->lock.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	sw->rxtx->sdma.rx_napi.dev->lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	sw->rxtx->sdma.rx_napi.dev->lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	sw->rxtx->sdma.rx_napi.dev->lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	sw->rxtx->sdma.sw	4096-ptr_max
PARAM_VALUE	0	sw->rxtx->sdma.sw->dev	4096-ptr_max
PARAM_VALUE	0	sw->rxtx->sdma.tx_work.lockdep_map->name	0-255
PARAM_VALUE	0	sw->span	4096-ptr_max
PARAM_VALUE	0	sw->trap_data	4096-ptr_max
CAPPED_DATA	0	sw->acl	1
CAPPED_DATA	0	sw->counter	1
CAPPED_DATA	0	sw->lag_max	1
CAPPED_DATA	0	sw->lags	1
CAPPED_DATA	0	sw->rxtx	1
CAPPED_DATA	0	sw->span	1
CAPPED_DATA	0	sw->trap_data	1
DATA_SOURCE	0	sw	$0
PARAM_COMPARE	0	&sw->rxtx->sdma.rx_napi.timer	!= $0->rxtx->sdma.rx_napi.timer.base->running
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/marvell/prestera/prestera_main.c prestera_switch_init() -> prestera_switchdev_fini()

Type	Parameter	Key	Value
PARAM_VALUE	0	sw	4096-ptr_max
PARAM_VALUE	0	sw->acl->acl_rule_entry_ht.run_work.lockdep_map->name	0-255
PARAM_VALUE	0	sw->acl->acl_rule_entry_ht.tbl->hash_rnd	0-4294967295
PARAM_VALUE	0	sw->acl->acl_rule_entry_ht.tbl->nest	0-4294967295
PARAM_VALUE	0	sw->acl->acl_rule_entry_ht.tbl->size	0-4294967295
PARAM_VALUE	0	sw->acl->ruleset_ht.run_work.lockdep_map->name	0-255
PARAM_VALUE	0	sw->acl->ruleset_ht.tbl->hash_rnd	0-4294967295
PARAM_VALUE	0	sw->acl->ruleset_ht.tbl->nest	0-4294967295
PARAM_VALUE	0	sw->acl->ruleset_ht.tbl->size	0-4294967295
PARAM_VALUE	0	sw->base_mac	4096-ptr_max
PARAM_VALUE	0	sw->counter->stats_dw.work.lockdep_map->name	0-255
PARAM_VALUE	0	sw->dev	4096-ptr_max
PARAM_VALUE	0	sw->dev->dev	4096-ptr_max
PARAM_VALUE	0	sw->dev->fw_rev.maj	4
PARAM_VALUE	0	sw->dev->priv	4096-ptr_max
PARAM_VALUE	0	sw->dev->recv_msg	4615878285560152064
PARAM_VALUE	0	sw->dev->recv_pkt	2461078512769716224
PARAM_VALUE	0	sw->dev->send_req	5794103767870840832
PARAM_VALUE	0	sw->event_handlers.next->next	4096-ptr_max
PARAM_VALUE	0	sw->event_handlers.prev	4096-ptr_max
PARAM_VALUE	0	sw->event_handlers.prev->next	4096-ptr_max
PARAM_VALUE	0	sw->event_handlers.prev->prev	4096-ptr_max
PARAM_VALUE	0	sw->lags	0,16,4096-ptr_max
PARAM_VALUE	0	sw->mtu_min	64
PARAM_VALUE	0	sw->netdev_nb.next	0,4096-ptr_max
PARAM_VALUE	0	sw->netdev_nb.notifier_call	847249929335279616
PARAM_VALUE	0	sw->np->properties	0,4096-ptr_max
PARAM_VALUE	0	sw->port_count	1-u32max
PARAM_VALUE	0	sw->port_list.next	4096-ptr_max
PARAM_VALUE	0	sw->port_list.next->next	4096-ptr_max
PARAM_VALUE	0	sw->port_list.prev	4096-ptr_max
PARAM_VALUE	0	sw->port_list.prev->next	4096-ptr_max
PARAM_VALUE	0	sw->port_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	sw->port_list_lock.magic	3736018669
PARAM_VALUE	0	sw->port_list_lock.owner	(-1)
PARAM_VALUE	0	sw->port_list_lock.owner_cpu	u32max
PARAM_VALUE	0	sw->router	4096-ptr_max
PARAM_VALUE	0	sw->router->fib_ht.key_len	0-u16max
PARAM_VALUE	0	sw->router->fib_ht.max_elems	0-2147483646,2147483648
PARAM_VALUE	0	sw->router->fib_ht.nelems.counter	0
PARAM_VALUE	0	sw->router->fib_ht.p.min_size	4-u16max
PARAM_VALUE	0	sw->router->fib_ht.rhlist	0
PARAM_VALUE	0	sw->router->fib_ht.run_work.func	0
PARAM_VALUE	0	sw->router->fib_ht.tbl	0,4096-ptr_max
PARAM_VALUE	0	sw->router->fib_ht.tbl->rcu.func	(-1)
PARAM_VALUE	0	sw->router->fib_ht.tbl->size	4-u16max
PARAM_VALUE	0	sw->router->neighs_update.dw.timer.entry->pprev	4096-ptr_max
PARAM_VALUE	0	sw->router->nexthop_group_ht.key_len	0-u16max
PARAM_VALUE	0	sw->router->nexthop_group_ht.max_elems	0-2147483646,2147483648
PARAM_VALUE	0	sw->router->nexthop_group_ht.p.min_size	4-u16max
PARAM_VALUE	0	sw->router->nexthop_group_ht.rhlist	0
PARAM_VALUE	0	sw->router->nexthop_group_ht.tbl	0,4096-ptr_max
PARAM_VALUE	0	sw->router->nexthop_group_ht.tbl->rcu.func	(-1)
PARAM_VALUE	0	sw->router->nexthop_group_ht.tbl->size	4-u16max
PARAM_VALUE	0	sw->router->nh_neigh_ht.key_len	0-u16max
PARAM_VALUE	0	sw->router->nh_neigh_ht.max_elems	0-2147483646,2147483648
PARAM_VALUE	0	sw->router->nh_neigh_ht.nelems.counter	0
PARAM_VALUE	0	sw->router->nh_neigh_ht.p.min_size	4-u16max
PARAM_VALUE	0	sw->router->nh_neigh_ht.rhlist	0
PARAM_VALUE	0	sw->router->nh_neigh_ht.run_work.func	0
PARAM_VALUE	0	sw->router->nh_neigh_ht.tbl	0,4096-ptr_max
PARAM_VALUE	0	sw->router->nh_neigh_ht.tbl->rcu.func	(-1)
PARAM_VALUE	0	sw->router->nh_neigh_ht.tbl->size	4-u16max
PARAM_VALUE	0	sw->router->rif_entry_list.next	4096-ptr_max
PARAM_VALUE	0	sw->router->rif_entry_list.next->next	4096-ptr_max
PARAM_VALUE	0	sw->router->rif_entry_list.prev	4096-ptr_max
PARAM_VALUE	0	sw->router->rif_entry_list.prev->next	4096-ptr_max
PARAM_VALUE	0	sw->router->rif_entry_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	sw->router->vr_list.next	4096-ptr_max
PARAM_VALUE	0	sw->router->vr_list.next->next	4096-ptr_max
PARAM_VALUE	0	sw->router->vr_list.prev	4096-ptr_max
PARAM_VALUE	0	sw->router->vr_list.prev->next	4096-ptr_max
PARAM_VALUE	0	sw->router->vr_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	sw->rxtx->sdma.desc_pool->dev->cma_area->nranges	s32min-s32max
PARAM_VALUE	0	sw->rxtx->sdma.napi_dev	4096-ptr_max
PARAM_VALUE	0	sw->rxtx->sdma.napi_dev->needs_free_netdev	1
PARAM_VALUE	0	sw->rxtx->sdma.napi_dev->refcnt_tracker.dead	1
PARAM_VALUE	0	sw->rxtx->sdma.napi_dev->reg_state	0,2,4-5
PARAM_VALUE	0	sw->rxtx->sdma.rx_napi->skb->sk->sk_callback_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	sw->rxtx->sdma.rx_napi->thread->delays->lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	sw->rxtx->sdma.rx_napi.dev	4096-ptr_max
PARAM_VALUE	0	sw->rxtx->sdma.sw	4096-ptr_max
PARAM_VALUE	0	sw->rxtx->sdma.sw->dev	4096-ptr_max
PARAM_VALUE	0	sw->swdev	4096-ptr_max
PARAM_VALUE	0	*sw->base_mac	0-255
CAPPED_DATA	0	sw->lags	1
CAPPED_DATA	0	sw->port_count	1
DATA_SOURCE	0	sw	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	sw->lag_max
NO_OVERFLOW_SIMPLE	0	sw->trap_data->traps_count
HALF_LOCKED2		&pool->lock