__efx_siena_rx_packet identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

drivers/net/ethernet/sfc/siena/efx.h, line 30 (as a prototype)

Defined in 1 files as a function:

drivers/net/ethernet/sfc/siena/rx.c, line 360 (as a function)

Referenced in 2 files:

Smatch caller information:

drivers/net/ethernet/sfc/siena/rx.c efx_rx_flush_packet() -> __efx_siena_rx_packet()

Type	Parameter	Key	Value
PARAM_VALUE	0	channel	4096-ptr_max
PARAM_VALUE	0	channel->rx_pkt_n_frags	1-u32max
DATA_SOURCE	0	channel	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&ni->dev_lock
HALF_LOCKED2		bh
HALF_LOCKED2		rcu_read

drivers/net/ethernet/sfc/siena/efx_channels.c efx_rx_flush_packet() -> __efx_siena_rx_packet()

Type	Parameter	Key	Value
PARAM_VALUE	0	channel	4096-ptr_max
PARAM_VALUE	0	channel->efx	4096-ptr_max
PARAM_VALUE	0	channel->efx->link_state.fc	0,2-3,7
PARAM_VALUE	0	channel->efx->link_state.speed	100,1000,10000,25000,40000,50000,100000
PARAM_VALUE	0	channel->efx->mc_bist_for_other_fn	1
PARAM_VALUE	0	channel->efx->net_dev->link_watch_list.next	4096-ptr_max
PARAM_VALUE	0	channel->efx->net_dev->link_watch_list.next->prev	4096-ptr_max
PARAM_VALUE	0	channel->efx->net_dev->link_watch_list.prev	4096-ptr_max
PARAM_VALUE	0	channel->efx->net_dev->refcnt_tracker.list.next->next	4096-ptr_max
PARAM_VALUE	0	channel->efx->net_dev->tx_global_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	channel->efx->ptp_data->evt_code	s32min-s32max
PARAM_VALUE	0	channel->efx->ptp_data->evt_frag_idx	s32min-s32max
PARAM_VALUE	0	channel->efx->ptp_data->evt_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	channel->efx->ptp_data->reset_required	0-1
PARAM_VALUE	0	channel->efx->ptp_warned	1
PARAM_VALUE	0	channel->efx->reset_work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	channel->efx->type	4096-ptr_max
PARAM_VALUE	0	channel->efx->type->ev_process	4096-ptr_max
PARAM_VALUE	0	channel->efx->type->mcdi_max_ver	1-2
PARAM_VALUE	0	channel->enabled	1
PARAM_VALUE	0	channel->event_test_cpu	0
PARAM_VALUE	0	channel->rx_list	316796043964850176
PARAM_VALUE	0	channel->rx_list->next	316796043964850176
PARAM_VALUE	0	channel->rx_list->prev	316796043964850176
PARAM_VALUE	0	channel->rx_pkt_n_frags	1-u32max
PARAM_VALUE	0	channel->rx_queue.core_index	0-s32max
PARAM_VALUE	0	channel->rx_queue.efx->pci_dev->dev.iommu->pci_32bit_workaround	0-1
PARAM_VALUE	0	channel->rx_queue.min_fill	1-4294967294
PARAM_VALUE	0	channel->rx_queue.slow_fill.entry->pprev	4096-ptr_max
PARAM_VALUE	0	channel->rx_queue.slow_fill.entry.pprev	0,4096-ptr_max
PARAM_VALUE	0	*channel->efx->net_dev->name	0-255
BUF_SIZE	0	channel->rx_list	16
DATA_SOURCE	0	channel	$0
RX_PATH
NOCHECK_CALL

drivers/net/ethernet/sfc/ef100_rx.c efx_rx_flush_packet() -> efx_rx_flush_packet ptr __f1()

Type	Parameter	Key	Value
PARAM_VALUE	0	channel	4096-ptr_max
PARAM_VALUE	0	channel->efx	4096-ptr_max
PARAM_VALUE	0	channel->efx->type	4096-ptr_max
PARAM_VALUE	0	channel->efx->type->rx_packet	3222028056046903296
PARAM_VALUE	0	channel->rx_pkt_n_frags	1-u32max
DATA_SOURCE	0	channel	$0
CONTAINER	0	-496-72-0+0	$(-1)
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2		&ni->dev_lock
HALF_LOCKED2		bh
HALF_LOCKED2		rcu_read

drivers/net/ethernet/sfc/efx_channels.c efx_rx_flush_packet() -> efx_rx_flush_packet ptr __f1()

Type	Parameter	Key	Value
PARAM_VALUE	0	channel	4096-ptr_max
PARAM_VALUE	0	channel->efx	4096-ptr_max
PARAM_VALUE	0	channel->efx->link_state.fc	0,2-3,7
PARAM_VALUE	0	channel->efx->link_state.speed	100,1000,10000,25000,40000,50000,100000
PARAM_VALUE	0	channel->efx->mc_bist_for_other_fn	1
PARAM_VALUE	0	channel->efx->net_dev->link_watch_list.next	4096-ptr_max
PARAM_VALUE	0	channel->efx->net_dev->link_watch_list.next->prev	4096-ptr_max
PARAM_VALUE	0	channel->efx->net_dev->link_watch_list.prev	4096-ptr_max
PARAM_VALUE	0	channel->efx->net_dev->refcnt_tracker.list.next->next	4096-ptr_max
PARAM_VALUE	0	channel->efx->net_dev->tx_global_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	channel->efx->ptp_data->evt_code	s32min-s32max
PARAM_VALUE	0	channel->efx->ptp_data->evt_frag_idx	s32min-s32max
PARAM_VALUE	0	channel->efx->ptp_data->evt_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	channel->efx->ptp_data->reset_required	0-1
PARAM_VALUE	0	channel->efx->ptp_warned	1
PARAM_VALUE	0	channel->efx->reset_work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	channel->efx->type	4096-ptr_max
PARAM_VALUE	0	channel->efx->type->ev_process	4096-ptr_max
PARAM_VALUE	0	channel->efx->type->mcdi_max_ver	1-2
PARAM_VALUE	0	channel->efx->type->rx_packet	3222028056046903296
PARAM_VALUE	0	channel->enabled	1
PARAM_VALUE	0	channel->event_test_cpu	0
PARAM_VALUE	0	channel->n_rx_mcast_mismatch	0-4294967295
PARAM_VALUE	0	channel->rx_list	9187292007477997568
PARAM_VALUE	0	channel->rx_list->next	9187292007477997568
PARAM_VALUE	0	channel->rx_list->prev	9187292007477997568
PARAM_VALUE	0	channel->rx_pkt_n_frags	1-u32max
PARAM_VALUE	0	channel->rx_queue.core_index	0-s32max
PARAM_VALUE	0	channel->rx_queue.efx->pci_dev->dev.iommu->pci_32bit_workaround	0-1
PARAM_VALUE	0	channel->rx_queue.grant_work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	channel->rx_queue.min_fill	1-4294967294
PARAM_VALUE	0	channel->rx_queue.slow_fill.entry->pprev	4096-ptr_max
PARAM_VALUE	0	channel->rx_queue.slow_fill.entry.pprev	0,4096-ptr_max
PARAM_VALUE	0	*channel->efx->net_dev->name	0-255
BUF_SIZE	0	channel->rx_list	16
DATA_SOURCE	0	channel	$0
CONTAINER	0	-496-72-0+0	$(-1)
RX_PATH

drivers/net/ethernet/sfc/rx.c efx_rx_flush_packet() -> efx_rx_flush_packet ptr __f1()

Type	Parameter	Key	Value
PARAM_VALUE	0	channel	4096-ptr_max
PARAM_VALUE	0	channel->efx	4096-ptr_max
PARAM_VALUE	0	channel->efx->type	4096-ptr_max
PARAM_VALUE	0	channel->efx->type->rx_packet	3222028056046903296
PARAM_VALUE	0	channel->rx_pkt_n_frags	1-u32max
DATA_SOURCE	0	channel	$0
CONTAINER	0	-496-72-0+0	$(-1)
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2		bh
HALF_LOCKED2		rcu_read