Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/amazon/ena/ena_netdev.c ena_clean_rx_irq() -> ena_refill_rx_bufs()

Type Parameter Key Value
PARAM_VALUE 0 rx_ring 4096-ptr_max
PARAM_VALUE 0 rx_ring->adapter 4096-ptr_max
PARAM_VALUE 0 rx_ring->ena_com_io_cq 4096-ptr_max
PARAM_VALUE 0 rx_ring->ena_com_io_cq->phase 0-1
PARAM_VALUE 0 rx_ring->ena_com_io_cq->q_depth 0
PARAM_VALUE 0 rx_ring->ena_com_io_sq 4096-ptr_max
PARAM_VALUE 0 *rx_ring->netdev->name 0-255
PARAM_VALUE 1 num 0-s32max,2147483649-u32max
DATA_SOURCE 0 rx_ring $0
DATA_SOURCE 1 num r ena_com_free_q_entries
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/amazon/ena/ena_netdev.c ena_refill_all_rx_bufs() -> ena_refill_rx_bufs()

Type Parameter Key Value
PARAM_VALUE 0 rx_ring 4096-ptr_max
PARAM_VALUE 0 rx_ring->ena_com_io_sq->mem_queue_type 0-1,3
RX_PATH
TASK_NOT_RUNNING