ef4_get_channel identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/net/ethernet/sfc/falcon/net_driver.h, line 1167 (as a function)

Referenced in 6 files:

Smatch caller information:

drivers/net/ethernet/sfc/falcon/efx.c ef4_probe_interrupts() -> ef4_get_channel()

Type	Parameter	Key	Value
PARAM_VALUE	0	efx	4096-ptr_max
PARAM_VALUE	1	index	0-2147483646
CAPPED_DATA	0	efx->n_channels	1
CAPPED_DATA	0	efx->n_tx_channels	1
CAPPED_DATA	0	efx->pci_dev	1
CAPPED_DATA	1	index	1
DATA_SOURCE	0	efx	$0
PARAM_COMPARE	0	efx->n_channels	> $1
PARAM_COMPARE	1	index	< $0->n_channels
BIT_INFO	0	efx->fixed_features	0x20,0xffffffffffffffff
BIT_INFO	0	efx->msg_enable	0x0,0xffffffff
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	efx->n_channels	2-s32max[c]
HOST_DATA	0	efx->n_rx_channels	1-s32max[c]
HOST_DATA	0	efx->n_tx_channels	1-s32max[c]
HOST_DATA	0	efx->pci_dev->acs_capabilities	0-u16max
HOST_DATA	0	efx->pci_dev->bus->bridge_ctl	0-u16max
HOST_DATA	0	efx->pci_dev->class	0-16777215
HOST_DATA	0	efx->pci_dev->current_state	0-3[c]
HOST_DATA	0	efx->pci_dev->devcap	0-u32max
HOST_DATA	0	efx->pci_dev->devfn	0-503[c]
HOST_DATA	0	efx->pci_dev->device	0-u16max
HOST_DATA	0	efx->pci_dev->eetlp_prefix_max	0-7[c]
HOST_DATA	0	efx->pci_dev->fm_enabled	0-1[c]
HOST_DATA	0	efx->pci_dev->hdr_type	0-255[c]
HOST_DATA	0	efx->pci_dev->ide_cfg	0-1[c]
HOST_DATA	0	efx->pci_dev->ide_tee_limit	0-1[c]
HOST_DATA	0	efx->pci_dev->irq	0-255
HOST_DATA	0	efx->pci_dev->is_cxl	0-1
HOST_DATA	0	efx->pci_dev->multifunction	0-1[c]
HOST_DATA	0	efx->pci_dev->nr_ide_mem	0-255[c]
HOST_DATA	0	efx->pci_dev->pcie_flags_reg	0-u16max
HOST_DATA	0	efx->pci_dev->pcie_mpss	0-7[c]
HOST_DATA	0	efx->pci_dev->pin	0
HOST_DATA	0	efx->pci_dev->pme_support	0-31[c]
HOST_DATA	0	efx->pci_dev->ptm_granularity	0-255[c]
HOST_DATA	0	efx->pci_dev->revision	0-255
HOST_DATA	0	efx->pci_dev->subsystem_device	0-u16max
HOST_DATA	0	efx->pci_dev->subsystem_vendor	0-u16max
HOST_DATA	0	efx->pci_dev->supported_speeds	0,2-254[c]
HOST_DATA	0	efx->pci_dev->transparent	0[c]
HOST_DATA	0	efx->pci_dev->vendor	0-u16max
HOST_DATA	0	efx->rss_spread	1-s32max[c]
UNITS	1	index	unit_byte
HALF_LOCKED2		&pool->lock

drivers/net/ethernet/sfc/falcon/efx.c ef4_probe_interrupts() -> ef4_get_channel()

Type	Parameter	Key	Value
PARAM_VALUE	0	efx	4096-ptr_max
PARAM_VALUE	1	index	0
CAPPED_DATA	0	efx->pci_dev	1
DATA_SOURCE	0	efx	$0
BIT_INFO	0	efx->fixed_features	0x20,0xffffffffffffffff
BIT_INFO	0	efx->msg_enable	0x0,0xffffffff
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	efx->pci_dev->acs_capabilities	0-u16max
HOST_DATA	0	efx->pci_dev->class	0-16777215
HOST_DATA	0	efx->pci_dev->current_state	0[c]
HOST_DATA	0	efx->pci_dev->devcap	0-u32max
HOST_DATA	0	efx->pci_dev->devfn	0-503[c]
HOST_DATA	0	efx->pci_dev->device	0-u16max
HOST_DATA	0	efx->pci_dev->eetlp_prefix_max	0-7[c]
HOST_DATA	0	efx->pci_dev->fm_enabled	0-1[c]
HOST_DATA	0	efx->pci_dev->hdr_type	0-255[c]
HOST_DATA	0	efx->pci_dev->ide_cfg	0-1[c]
HOST_DATA	0	efx->pci_dev->ide_tee_limit	0-1[c]
HOST_DATA	0	efx->pci_dev->is_cxl	0-1
HOST_DATA	0	efx->pci_dev->multifunction	0-1[c]
HOST_DATA	0	efx->pci_dev->nr_ide_mem	0-255[c]
HOST_DATA	0	efx->pci_dev->pcie_flags_reg	0-u16max
HOST_DATA	0	efx->pci_dev->pcie_mpss	0-7[c]
HOST_DATA	0	efx->pci_dev->pin	0
HOST_DATA	0	efx->pci_dev->pme_support	0-31[c]
HOST_DATA	0	efx->pci_dev->ptm_granularity	0-255[c]
HOST_DATA	0	efx->pci_dev->revision	0-255
HOST_DATA	0	efx->pci_dev->subsystem_device	0-u16max
HOST_DATA	0	efx->pci_dev->subsystem_vendor	0-u16max
HOST_DATA	0	efx->pci_dev->supported_speeds	0,2-254[c]
HOST_DATA	0	efx->pci_dev->transparent	0[c]
HOST_DATA	0	efx->pci_dev->vendor	0-u16max
HOST_DATA	0	efx->rss_spread	1-s32max[c]
HALF_LOCKED2		&pool->lock

drivers/net/ethernet/sfc/falcon/efx.c ef4_probe_interrupts() -> ef4_get_channel()

Type	Parameter	Key	Value
PARAM_VALUE	0	efx	4096-ptr_max
CAPPED_DATA	0	efx->pci_dev	1
DATA_SOURCE	0	efx	$0
BIT_INFO	0	efx->fixed_features	0x20,0xffffffffffffffff
BIT_INFO	0	efx->msg_enable	0x0,0xffffffff
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	efx->n_channels	2-s32max[c]
HOST_DATA	0	efx->n_rx_channels	1-s32max[c]
HOST_DATA	0	efx->n_tx_channels	1-s32max[c]
HOST_DATA	0	efx->pci_dev->acs_capabilities	0-u16max
HOST_DATA	0	efx->pci_dev->bus->bridge_ctl	0-u16max
HOST_DATA	0	efx->pci_dev->class	0-16777215
HOST_DATA	0	efx->pci_dev->current_state	0-3[c]
HOST_DATA	0	efx->pci_dev->devcap	0-u32max
HOST_DATA	0	efx->pci_dev->devfn	0-503[c]
HOST_DATA	0	efx->pci_dev->device	0-u16max
HOST_DATA	0	efx->pci_dev->eetlp_prefix_max	0-7[c]
HOST_DATA	0	efx->pci_dev->fm_enabled	0-1[c]
HOST_DATA	0	efx->pci_dev->hdr_type	0-255[c]
HOST_DATA	0	efx->pci_dev->ide_cfg	0-1[c]
HOST_DATA	0	efx->pci_dev->ide_tee_limit	0-1[c]
HOST_DATA	0	efx->pci_dev->irq	0-255
HOST_DATA	0	efx->pci_dev->is_cxl	0-1
HOST_DATA	0	efx->pci_dev->multifunction	0-1[c]
HOST_DATA	0	efx->pci_dev->nr_ide_mem	0-255[c]
HOST_DATA	0	efx->pci_dev->pcie_flags_reg	0-u16max
HOST_DATA	0	efx->pci_dev->pcie_mpss	0-7[c]
HOST_DATA	0	efx->pci_dev->pin	0
HOST_DATA	0	efx->pci_dev->pme_support	0-31[c]
HOST_DATA	0	efx->pci_dev->ptm_granularity	0-255[c]
HOST_DATA	0	efx->pci_dev->revision	0-255
HOST_DATA	0	efx->pci_dev->subsystem_device	0-u16max
HOST_DATA	0	efx->pci_dev->subsystem_vendor	0-u16max
HOST_DATA	0	efx->pci_dev->supported_speeds	0,2-254[c]
HOST_DATA	0	efx->pci_dev->transparent	0[c]
HOST_DATA	0	efx->pci_dev->vendor	0-u16max
HOST_DATA	0	efx->rss_spread	1-s32max[c]
HOST_DATA	1	index	2-s32max[c]
UNITS	1	index	unit_byte
HALF_LOCKED2		&pool->lock

drivers/net/ethernet/sfc/falcon/rx.c __ef4_filter_rfs_expire() -> ef4_get_channel()

Type	Parameter	Key	Value
PARAM_VALUE	0	efx	4096-ptr_max
DATA_SOURCE	0	efx	$0
LOCK2		bh
LOCK2	0	&efx->filter_lock
TYPE_LOCK		(struct ef4_nic)->filter_lock

drivers/net/ethernet/sfc/falcon/rx.c ef4_filter_rfs() -> ef4_get_channel()

Type	Parameter	Key	Value
PARAM_VALUE	0	efx	4096-ptr_max
DATA_SOURCE	1	index	$2
RX_PATH
TASK_NOT_RUNNING
LOCK2		rcu_read
HALF_LOCKED2		bh

drivers/net/ethernet/sfc/falcon/farch.c ef4_farch_handle_rx_flush_done() -> ef4_get_channel()

Type	Parameter	Key	Value
PARAM_VALUE	0	efx	4096-ptr_max
PARAM_VALUE	1	index	0-4095
CAPPED_DATA	0	efx->n_tx_channels	1
CAPPED_DATA	1	index	1
DATA_SOURCE	0	efx	$0
PARAM_COMPARE	0	efx->n_channels	> $1
PARAM_COMPARE	1	index	< $0->n_channels
RX_PATH
TASK_NOT_RUNNING
UNITS	1	index	unit_byte
HALF_LOCKED2		&ni->dev_lock
HALF_LOCKED2		bh
HALF_LOCKED2		rcu_read

drivers/net/ethernet/sfc/falcon/falcon.c falcon_legacy_interrupt_a1() -> ef4_get_channel()

Type	Parameter	Key	Value
PARAM_VALUE	0	efx	4096-ptr_max
PARAM_VALUE	1	index	0
DATA_SOURCE	0	efx	$1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2		&desc->request_mutex
HALF_LOCKED2		flags

drivers/net/ethernet/sfc/falcon/falcon.c falcon_legacy_interrupt_a1() -> ef4_get_channel()

Type	Parameter	Key	Value
PARAM_VALUE	0	efx	4096-ptr_max
PARAM_VALUE	1	index	1
DATA_SOURCE	0	efx	$1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2		&desc->request_mutex
HALF_LOCKED2		flags

drivers/net/ethernet/sfc/falcon/selftest.c ef4_test_loopbacks() -> ef4_get_channel()

Type	Parameter	Key	Value
PARAM_VALUE	0	efx	4096-ptr_max
CAPPED_DATA	0	efx->net_dev->num_tx_queues	1
DATA_SOURCE	0	efx	$0
BIT_INFO	0	efx->msg_enable	0x0,0xffffffff
UNITS	1	index	unit_byte

drivers/net/ethernet/sfc/falcon/ethtool.c ef4_fill_loopback_test() -> ef4_get_channel()

Type	Parameter	Key	Value
PARAM_VALUE	0	efx	4096-ptr_max
PARAM_VALUE	0	efx->channel	4096-ptr_max
DATA_SOURCE	0	efx	$0
RX_PATH
TASK_NOT_RUNNING
UNITS	1	index	unit_byte