fbnic_devlink_free identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

drivers/net/ethernet/meta/fbnic/fbnic.h, line 173 (as a prototype)

Defined in 1 files as a function:

drivers/net/ethernet/meta/fbnic/fbnic_devlink.c, line 621 (as a function)

Referenced in 1 files:

drivers/net/ethernet/meta/fbnic/fbnic_pci.c
- line 395
- line 430

Smatch caller information:

drivers/net/ethernet/meta/fbnic/fbnic_pci.c fbnic_probe() -> fbnic_devlink_free()

Type	Parameter	Key	Value
PARAM_VALUE	0	fbd	4096-ptr_max
PARAM_VALUE	0	fbd->dev	4096-ptr_max
PARAM_VALUE	0	fbd->dev->dma_mask	4096-ptr_max
PARAM_VALUE	0	fbd->dev->driver_data	4096-ptr_max
PARAM_VALUE	0	fbd->dsn	0
PARAM_VALUE	0	fbd->fw_log.data_start	0
PARAM_VALUE	0	fbd->fw_reporter	4096-ptr_max,(-22),(-17),(-12)
PARAM_VALUE	0	fbd->fw_reporter->burst_period	0
PARAM_VALUE	0	fbd->fw_reporter->devlink->lock.dep_map->name	0-255
PARAM_VALUE	0	fbd->fw_reporter->devlink->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	fbd->fw_reporter->devlink->lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	fbd->fw_reporter->devlink->lock.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	fbd->fw_reporter->devlink->lock.first_waiter->task->blocked_on	0
PARAM_VALUE	0	fbd->fw_reporter->devlink->lock.osq.tail.counter	s32min-s32max
PARAM_VALUE	0	fbd->fw_reporter->graceful_period	0
PARAM_VALUE	0	fbd->fw_reporter->ops	1339610171699183616
PARAM_VALUE	0	fbd->fw_reporter->ops->default_burst_period	0
PARAM_VALUE	0	fbd->fw_reporter->ops->default_graceful_period	0
PARAM_VALUE	0	fbd->fw_reporter->ops->recover	0
PARAM_VALUE	0	fbd->mac	2395203975314513920
PARAM_VALUE	0	fbd->mac->get_eth_ctrl_stats	4261181610207076352
PARAM_VALUE	0	fbd->mac->get_eth_mac_stats	3290386805554442240
PARAM_VALUE	0	fbd->mac->get_fec_stats	3676484134554521600
PARAM_VALUE	0	fbd->mac->get_link	2522778047849771008
PARAM_VALUE	0	fbd->mac->get_link_event	3822213427729780736
PARAM_VALUE	0	fbd->mac->get_pause_stats	7780547122057314304
PARAM_VALUE	0	fbd->mac->get_pcs_stats	7700767459908743168
PARAM_VALUE	0	fbd->mac->get_rmon_stats	1974047852114022400
PARAM_VALUE	0	fbd->mac->get_sensor	7201553899718569984
PARAM_VALUE	0	fbd->mac->init_regs	7750535783315251200
PARAM_VALUE	0	fbd->mac->link_down	3074944342695354368
PARAM_VALUE	0	fbd->mac->link_up	7867787319019593728
PARAM_VALUE	0	fbd->mac->prepare	1291118527101566976
PARAM_VALUE	0	fbd->mac_addr_boundary	24
PARAM_VALUE	0	fbd->max_num_queues	128
PARAM_VALUE	0	fbd->num_irqs	0
PARAM_VALUE	0	fbd->otp_reporter->devlink->lock.dep_map->name	0-255
PARAM_VALUE	0	fbd->otp_reporter->devlink->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	fbd->otp_reporter->devlink->lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	fbd->otp_reporter->devlink->lock.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	fbd->otp_reporter->devlink->lock.first_waiter->task->blocked_on	0
PARAM_VALUE	0	fbd->otp_reporter->devlink->lock.osq.tail.counter	s32min-s32max
PARAM_VALUE	0	fbd->ps_timeout	500
PARAM_VALUE	0	fbd->relaxed_ord	0
CAPPED_DATA	0	fbd	1
DATA_SOURCE	0	fbd	r fbnic_devlink_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	fbd->dsn	0[c]
HOST_DATA	0	fbd->relaxed_ord	0[c]

drivers/net/ethernet/meta/fbnic/fbnic_pci.c fbnic_remove() -> fbnic_devlink_free()

Type	Parameter	Key	Value
PARAM_VALUE	0	fbd	4096-ptr_max
PARAM_VALUE	0	fbd->dbg_fbd	0
PARAM_VALUE	0	fbd->dev->dma_io_tlb_pools.next	4096-ptr_max
PARAM_VALUE	0	fbd->dev->dma_io_tlb_pools.next->prev	4096-ptr_max
PARAM_VALUE	0	fbd->dev->dma_io_tlb_pools.next->prev->prev	4096-ptr_max
PARAM_VALUE	0	fbd->dev->dma_uses_io_tlb	1
PARAM_VALUE	0	fbd->dev->iommu->pci_32bit_workaround	0-1
PARAM_VALUE	0	fbd->fw_log.data_start	0
PARAM_VALUE	0	fbd->fw_msix_vector	0
PARAM_VALUE	0	fbd->fw_reporter	4096-ptr_max
PARAM_VALUE	0	fbd->fw_reporter->devlink->lock.dep_map->name	0-255
PARAM_VALUE	0	fbd->fw_reporter->devlink->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	fbd->fw_reporter->devlink->lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	fbd->fw_reporter->devlink->lock.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	fbd->fw_reporter->devlink->lock.first_waiter->task->blocked_on	0
PARAM_VALUE	0	fbd->fw_reporter->devlink->lock.osq.tail.counter	s32min-s32max
PARAM_VALUE	0	fbd->fw_tx_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	fbd->hwmon	0
PARAM_VALUE	0	fbd->mac->get_link	4096-ptr_max
PARAM_VALUE	0	fbd->mac->get_sensor	4096-ptr_max
PARAM_VALUE	0	fbd->mac->init_regs	4096-ptr_max
PARAM_VALUE	0	fbd->mac->link_down	4096-ptr_max
PARAM_VALUE	0	fbd->mac->link_up	4096-ptr_max
PARAM_VALUE	0	fbd->mac->prepare	4096-ptr_max
PARAM_VALUE	0	fbd->netdev	0
PARAM_VALUE	0	fbd->num_irqs	0
PARAM_VALUE	0	fbd->otp_reporter	4096-ptr_max
PARAM_VALUE	0	fbd->otp_reporter->devlink->lock.dep_map->name	0-255
PARAM_VALUE	0	fbd->otp_reporter->devlink->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	fbd->otp_reporter->devlink->lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	fbd->otp_reporter->devlink->lock.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	fbd->otp_reporter->devlink->lock.first_waiter->task->blocked_on	0
PARAM_VALUE	0	fbd->otp_reporter->devlink->lock.osq.tail.counter	s32min-s32max
PARAM_VALUE	0	*fbd->dbg_fbd->d_inode->i_hash.next->pprev	1-u64max
PARAM_VALUE	0	*fbd->dbg_fbd->d_inode->i_sb->s_fs_info->nm_info->nat_root.xa_head	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*fbd->dbg_fbd->d_inode->i_sb->s_fs_info->wbuf_verify	0-255
PARAM_VALUE	0	*fbd->netdev->name	0-255
BUF_SIZE	0	fbd	s32min-(-2),1-s32max
BUF_SIZE	0	fbd	s32min-(-2),1-s32max
CAPPED_DATA	0	fbd->fw_reporter	1
CAPPED_DATA	0	fbd->fw_reporter->dump_fmsg	1
CAPPED_DATA	0	fbd->otp_reporter	1
CAPPED_DATA	0	fbd->otp_reporter->dump_fmsg	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	fbd	unit_byte