Defined in 2 files as a function:

Referenced in 9 files:

Smatch caller information:

drivers/net/ethernet/sfc/siena/mcdi.c efx_siena_mcdi_flush_rxqs() -> efx_channel_has_rx_queue()

Type Parameter Key Value
PARAM_VALUE 0 channel 1-u64max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/sfc/ethtool_common.c efx_describe_per_queue_stats() -> efx_channel_has_rx_queue()

Type Parameter Key Value
PARAM_VALUE 0 channel 1-u64max
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/sfc/ethtool_common.c efx_ethtool_get_stats() -> efx_channel_has_rx_queue()

Type Parameter Key Value
PARAM_VALUE 0 channel 1-u64max

drivers/net/ethernet/sfc/ethtool_common.c efx_ethtool_get_stats() -> efx_channel_has_rx_queue()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 0 channel->rx_queue.core_index 0-s32max

drivers/net/ethernet/sfc/efx.c efx_init_irq_moderation() -> efx_channel_has_rx_queue()

Type Parameter Key Value
PARAM_VALUE 0 channel 1-u64max
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/sfc/siena/efx_channels.c efx_poll() -> efx_channel_has_rx_queue()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/sfc/siena/efx_channels.c efx_probe_channel() -> efx_channel_has_rx_queue()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
DATA_SOURCE 0 channel $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 channel->efx->ptp_data->pps_workwq->rescuer->task->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE 0 channel->efx->ptp_data->workwq->rescuer->task->dl.pi_se->dl_runtime

drivers/net/ethernet/sfc/siena/efx_channels.c efx_process_channel() -> efx_channel_has_rx_queue()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
BUF_SIZE 0 channel->rx_list 16
DATA_SOURCE 0 channel $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/sfc/siena/efx_channels.c efx_siena_realloc_channels() -> efx_channel_has_rx_queue()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/sfc/siena/efx_channels.c efx_siena_remove_channel() -> efx_channel_has_rx_queue()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
DATA_SOURCE 0 channel $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 channel->efx->ptp_data->pps_workwq->rescuer->task->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE 0 channel->efx->ptp_data->workwq->rescuer->task->dl.pi_se->dl_runtime

drivers/net/ethernet/sfc/siena/efx_channels.c efx_siena_start_channels() -> efx_channel_has_rx_queue()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/sfc/siena/efx_channels.c efx_siena_stop_channels() -> efx_channel_has_rx_queue()

Type Parameter Key Value
PARAM_VALUE 0 channel 1-u64max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/sfc/siena/efx_channels.c efx_siena_stop_channels() -> efx_channel_has_rx_queue()

Type Parameter Key Value
PARAM_VALUE 0 channel 1-u64max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/sfc/siena/efx_channels.c efx_siena_stop_channels() -> efx_channel_has_rx_queue()

Type Parameter Key Value
PARAM_VALUE 0 channel 1-u64max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/sfc/siena/ethtool_common.c efx_describe_per_queue_stats() -> efx_channel_has_rx_queue()

Type Parameter Key Value
PARAM_VALUE 0 channel 1-u64max
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/sfc/siena/ethtool_common.c efx_siena_ethtool_get_stats() -> efx_channel_has_rx_queue()

Type Parameter Key Value
PARAM_VALUE 0 channel 1-u64max

drivers/net/ethernet/sfc/siena/ethtool_common.c efx_siena_ethtool_get_stats() -> efx_channel_has_rx_queue()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 0 channel->rx_queue.core_index 0-s32max

drivers/net/ethernet/sfc/efx_channels.c efx_poll() -> efx_channel_has_rx_queue()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/sfc/efx_channels.c efx_probe_channel() -> efx_channel_has_rx_queue()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
DATA_SOURCE 0 channel $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 channel->efx->ptp_data->pps_workwq->rescuer->task->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE 0 channel->efx->ptp_data->workwq->rescuer->task->dl.pi_se->dl_runtime

drivers/net/ethernet/sfc/efx_channels.c efx_process_channel() -> efx_channel_has_rx_queue()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
BUF_SIZE 0 channel->rx_list 16
DATA_SOURCE 0 channel $0
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_remove_channel() -> efx_channel_has_rx_queue()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
DATA_SOURCE 0 channel $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 channel->efx->ptp_data->pps_workwq->rescuer->task->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE 0 channel->efx->ptp_data->workwq->rescuer->task->dl.pi_se->dl_runtime

drivers/net/ethernet/sfc/efx_channels.c efx_start_channels() -> efx_channel_has_rx_queue()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/sfc/efx_channels.c efx_stop_channels() -> efx_channel_has_rx_queue()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/sfc/efx_channels.c efx_stop_channels() -> efx_channel_has_rx_queue()

Type Parameter Key Value
PARAM_VALUE 0 channel 1-u64max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/sfc/efx_channels.c efx_stop_channels() -> efx_channel_has_rx_queue()

Type Parameter Key Value
PARAM_VALUE 0 channel 1-u64max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/sfc/mcdi_functions.c efx_fini_dmaq() -> efx_channel_has_rx_queue()

Type Parameter Key Value
PARAM_VALUE 0 channel 1-u64max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/sfc/siena/farch.c efx_farch_do_flush() -> efx_channel_has_rx_queue()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/sfc/siena/farch.c efx_farch_do_flush() -> efx_channel_has_rx_queue()

Type Parameter Key Value
PARAM_VALUE 0 channel 1-u64max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/sfc/siena/farch.c efx_farch_fini_dmaq() -> efx_channel_has_rx_queue()

Type Parameter Key Value
PARAM_VALUE 0 channel 1-u64max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/sfc/siena/farch.c efx_farch_handle_generated_event() -> efx_channel_has_rx_queue()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
BUF_SIZE 0 channel->rx_list 16
DATA_SOURCE 0 channel $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/sfc/siena/farch.c efx_farch_handle_rx_flush_done() -> efx_channel_has_rx_queue()

Type Parameter Key Value
DATA_SOURCE 0 channel r efx_get_channel
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/sfc/siena/efx.c efx_siena_init_irq_moderation() -> efx_channel_has_rx_queue()

Type Parameter Key Value
PARAM_VALUE 0 channel 1-u64max
RX_PATH
TASK_NOT_RUNNING