fun_free_stats_area identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/net/ethernet/fungible/funeth/funeth_main.c, line 1477 (as a function)

Referenced in 1 files:

drivers/net/ethernet/fungible/funeth/funeth_main.c
- line 1797
- line 1817

Smatch caller information:

drivers/net/ethernet/fungible/funeth/funeth_main.c fun_create_netdev() -> fun_free_stats_area()

Type	Parameter	Key	Value
PARAM_VALUE	0	fp	4096-ptr_max
PARAM_VALUE	0	fp->cq_depth	1-1024
PARAM_VALUE	0	fp->cq_irq_db	2232418304
PARAM_VALUE	0	fp->dl_port.attrs.flavour	0-2,4-7
PARAM_VALUE	0	fp->dl_port.attrs.pci_pf.controller	0
PARAM_VALUE	0	fp->dl_port.attrs.pci_pf.external	0
PARAM_VALUE	0	fp->dl_port.attrs.pci_pf.pf	0
PARAM_VALUE	0	fp->dl_port.attrs.pci_sf.controller	0
PARAM_VALUE	0	fp->dl_port.attrs.pci_sf.external	0
PARAM_VALUE	0	fp->dl_port.attrs.pci_sf.pf	0-255
PARAM_VALUE	0	fp->dl_port.attrs.pci_vf.controller	0
PARAM_VALUE	0	fp->dl_port.attrs.pci_vf.external	0
PARAM_VALUE	0	fp->dl_port.attrs.pci_vf.pf	0-255
PARAM_VALUE	0	fp->dl_port.attrs.switch_id.id_len	0-32
PARAM_VALUE	0	fp->dl_port.attrs_set	1
PARAM_VALUE	0	fp->dl_port.devlink	4096-ptr_max
PARAM_VALUE	0	fp->dl_port.devlink->_net.net->netns_ids.idr_rt.xa_flags	0-4294967295
PARAM_VALUE	0	fp->dl_port.devlink->lock.dep_map->name	0-255
PARAM_VALUE	0	fp->dl_port.devlink->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	fp->dl_port.devlink->lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	fp->dl_port.devlink->lock.osq.tail.counter	s32min-s32max
PARAM_VALUE	0	fp->dl_port.devlink->ports.xa_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	fp->dl_port.index	0-u16max
PARAM_VALUE	0	fp->dl_port.initialized	1
PARAM_VALUE	0	fp->dl_port.ops->port_del	0,5297280653917495296,7056166776116604928
PARAM_VALUE	0	fp->dl_port.ops->port_fn_hw_addr_get	0,1105552436811452416,2161372112124977152,2881830882648793088,3086837170211098624,5331084624549416960
PARAM_VALUE	0	fp->dl_port.ops->port_fn_hw_addr_set	0,3534299544314576896,4238284642390831104,6293962769029922816,7613046309317726208,8690544359101091840
PARAM_VALUE	0	fp->dl_port.ops->port_fn_ipsec_crypto_get	0,4902228933308452864
PARAM_VALUE	0	fp->dl_port.ops->port_fn_ipsec_crypto_set	0,5372495510538301440
PARAM_VALUE	0	fp->dl_port.ops->port_fn_ipsec_packet_get	0,1775539211769454592
PARAM_VALUE	0	fp->dl_port.ops->port_fn_ipsec_packet_set	0,758161232406708224
PARAM_VALUE	0	fp->dl_port.ops->port_fn_max_io_eqs_get	0,7025178205638221824
PARAM_VALUE	0	fp->dl_port.ops->port_fn_max_io_eqs_set	0,8597896118109675520
PARAM_VALUE	0	fp->dl_port.ops->port_fn_migratable_get	0,609373278646910976
PARAM_VALUE	0	fp->dl_port.ops->port_fn_migratable_set	0,3871053410285416448
PARAM_VALUE	0	fp->dl_port.ops->port_fn_roce_get	0,4455983247024910336
PARAM_VALUE	0	fp->dl_port.ops->port_fn_roce_set	0,1612805619800064000
PARAM_VALUE	0	fp->dl_port.ops->port_fn_state_get	0,6521951712662228992,7263765225596121088,7671851536357396480
PARAM_VALUE	0	fp->dl_port.ops->port_fn_state_set	0,784175470144167936,6855704840655306752,9130591050118823936
PARAM_VALUE	0	fp->dl_port.ops->port_split	0,5395478576842731520,5914476347301904384,7303769814657187840
PARAM_VALUE	0	fp->dl_port.ops->port_type_set	0,7366619749569720320
PARAM_VALUE	0	fp->dl_port.ops->port_unsplit	0,958128192443506688,5601030920313925632,7070045751322910720
PARAM_VALUE	0	fp->dl_port.registered	0
PARAM_VALUE	0	fp->dl_port.type_warn_dw.cpu	s32min-s32max
PARAM_VALUE	0	fp->dl_port.type_warn_dw.timer.flags	0-4294967295
PARAM_VALUE	0	fp->dl_port.type_warn_dw.work.lockdep_map->name	0-255
PARAM_VALUE	0	fp->fdev	4096-ptr_max
PARAM_VALUE	0	fp->fdev->admin_q	4096-ptr_max
PARAM_VALUE	0	fp->fdev->admin_q->sq_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	fp->fdev->admin_sbq.completion_cnt.counter	s32min-s32max
PARAM_VALUE	0	fp->fdev->admin_sbq.wake_index.counter	s32min-s32max
PARAM_VALUE	0	fp->fdev->admin_sbq.wakeup_cnt.counter	s32min-s32max
PARAM_VALUE	0	fp->fdev->admin_sbq.ws_active.counter	s32min-s32max
PARAM_VALUE	0	fp->fdev->adminq_cb	1105875079318130688
PARAM_VALUE	0	fp->fdev->fw_handle	u32max
PARAM_VALUE	0	fp->fdev->q_depth	1-65536
PARAM_VALUE	0	fp->fdev->serv_cb	507762089812451328
PARAM_VALUE	0	fp->fdev->suppress_cmds	1
PARAM_VALUE	0	fp->hash_algo	0-4294967295
PARAM_VALUE	0	fp->indir_table_nentries	0-4294967295
PARAM_VALUE	0	fp->irqs.xa_flags	0
PARAM_VALUE	0	fp->irqs.xa_head	0
PARAM_VALUE	0	fp->ktls_id	u32max
PARAM_VALUE	0	fp->lane_attrs	0-4294967295
PARAM_VALUE	0	fp->link_seq.dep_map->name	0-255
PARAM_VALUE	0	fp->link_seq.sequence	0
PARAM_VALUE	0	fp->lport	0-u16max
PARAM_VALUE	0	fp->netdev->num_tc	0
PARAM_VALUE	0	fp->netdev->real_num_rx_queues	0-16
PARAM_VALUE	0	fp->netdev->real_num_tx_queues	0-16
PARAM_VALUE	0	fp->pdev	4096-ptr_max
PARAM_VALUE	0	fp->pdev->dev.cma_area->nranges	s32min-s32max
PARAM_VALUE	0	fp->pdev->dev.dma_uses_io_tlb	0-1
PARAM_VALUE	0	fp->rq_depth	1-512
PARAM_VALUE	0	fp->rss_hw_id	4294967295
PARAM_VALUE	0	fp->rx_coal_count	16
PARAM_VALUE	0	fp->rx_coal_usec	10
PARAM_VALUE	0	fp->rx_irq_ofst	0-s32max
PARAM_VALUE	0	fp->sq_depth	1-512
PARAM_VALUE	0	fp->tx_coal_count	16
PARAM_VALUE	0	fp->tx_coal_usec	10
BUF_SIZE	0	fp->fdev	336
CAPPED_DATA	0	fp->cq_depth	1
CAPPED_DATA	0	fp->netdev->dev_port	1
CAPPED_DATA	0	fp->rq_depth	1
CAPPED_DATA	0	fp->sq_depth	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	fp->netdev->dev_port
HALF_LOCKED2		&pool->lock

drivers/net/ethernet/fungible/funeth/funeth_main.c fun_destroy_netdev() -> fun_free_stats_area()

Type	Parameter	Key	Value
PARAM_VALUE	0	fp	4096-ptr_max
PARAM_VALUE	0	fp->dl_port->devlink->_net.net->netns_ids.idr_rt.xa_head	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	fp->dl_port.devlink	4096-ptr_max
PARAM_VALUE	0	fp->dl_port.devlink->_net.net->netns_ids.idr_rt.xa_flags	0-4294967295
PARAM_VALUE	0	fp->dl_port.devlink->lock.dep_map->name	0-255
PARAM_VALUE	0	fp->dl_port.devlink->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	fp->dl_port.devlink->lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	fp->dl_port.devlink->lock.osq.tail.counter	s32min-s32max
PARAM_VALUE	0	fp->dl_port.devlink->ports.xa_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	fp->dl_port.registered	0
PARAM_VALUE	0	fp->dl_port.type_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	fp->dl_port.type_warn_dw.work.lockdep_map->name	0-255
PARAM_VALUE	0	fp->fdev->suppress_cmds	1
PARAM_VALUE	0	fp->ktls_id	u32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL