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_set_rx_hash()

Type Parameter Key Value
PARAM_VALUE 0 rx_ring 4096-ptr_max
PARAM_VALUE 0 rx_ring->netdev 4096-ptr_max
PARAM_VALUE 1 ena_rx_ctx 4065827146605604864
PARAM_VALUE 1 ena_rx_ctx->l4_proto 0-31
PARAM_VALUE 2 skb 4096-ptr_max
PARAM_VALUE 2 skb->hash 0
PARAM_VALUE 2 skb->l4_hash 0
PARAM_VALUE 2 skb->sw_hash 0
BUF_SIZE 2 skb 0-s32max
BUF_SIZE 2 skb 0-s32max
CAPPED_DATA 2 skb 1
DATA_SOURCE 0 rx_ring $0
DATA_SOURCE 2 skb r ena_rx_skb
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 2 skb->end
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read