Open Menu /

Defined in 2 files as a function:

Referenced in 5 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
DATA_SOURCE 0 channel r efx_rx_queue_channel
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

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

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
DATA_SOURCE 0 channel r efx_rx_queue_channel
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

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

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
DATA_SOURCE 0 channel r efx_rx_queue_channel
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_process_channel() -> efx_rx_flush_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->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_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
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/sfc/efx_channels.c efx_process_channel() -> efx_rx_flush_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->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->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_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
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

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

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
DATA_SOURCE 0 channel r efx_rx_queue_channel
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

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

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
DATA_SOURCE 0 channel r efx_rx_queue_channel
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read