Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

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

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->ev_probe 4096-ptr_max
PARAM_VALUE 0 channel->efx->type->ev_remove 4096-ptr_max
PARAM_VALUE 0 channel->efx->type->revision 3-6
PARAM_VALUE 0 channel->rx_queue.core_index s32min-(-1)
PARAM_VALUE 0 channel->tx_queue->efx->next_buffer_table 0-4294967295
PARAM_VALUE 0 channel->tx_queue->ptr_mask 0-4294967295
PARAM_VALUE 0 channel->tx_queue->txd.buf.len 0-4294967295
PARAM_VALUE 0 channel->tx_queue->txd.entries 0-4294967295
PARAM_VALUE 0 channel->tx_queue->txd.index 0-4294967295
PARAM_VALUE 0 channel->tx_queue->type 0-4294967295
PARAM_VALUE 0 *channel->rx_queue->efx->net_dev->name 0-255
PARAM_VALUE 0 *channel->tx_queue->efx->net_dev->name 0-255
DATA_SOURCE 0 channel $0
HARD_MAX 0 channel->rx_queue.core_index (-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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_remove_channel() -> efx_remove_eventq()

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->ev_probe 4096-ptr_max
PARAM_VALUE 0 channel->efx->type->ev_remove 4096-ptr_max
PARAM_VALUE 0 channel->efx->type->revision 3-6
PARAM_VALUE 0 channel->rx_queue.core_index s32min-(-1)
PARAM_VALUE 0 channel->tx_queue->ptr_mask 0-4294967295
PARAM_VALUE 0 channel->tx_queue->txd.len 0-4294967295
PARAM_VALUE 0 channel->tx_queue->type 0-4294967295
PARAM_VALUE 0 *channel->rx_queue->efx->net_dev->name 0-255
PARAM_VALUE 0 *channel->tx_queue->efx->net_dev->name 0-255
DATA_SOURCE 0 channel $0
HARD_MAX 0 channel->rx_queue.core_index (-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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