Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/google/gve/gve_tx_dqo.c gve_tx_alloc_ring_dqo() -> gve_tx_qpl_buf_init()

Type Parameter Key Value
PARAM_VALUE 0 tx 4096-ptr_max
PARAM_VALUE 0 tx->dev 4096-ptr_max
PARAM_VALUE 0 tx->dqo.compl_ring 1-ptr_max
PARAM_VALUE 0 tx->dqo.pending_packets 4096-ptr_max
PARAM_VALUE 0 tx->dqo.qpl 4096-ptr_max
PARAM_VALUE 0 tx->dqo.qpl->id 0-65534
PARAM_VALUE 0 tx->dqo.qpl->page_buses 16,4096-ptr_max
PARAM_VALUE 0 tx->dqo.qpl->pages 16,4096-ptr_max
PARAM_VALUE 0 tx->dqo.tx_ring 1-ptr_max
PARAM_VALUE 0 tx->dqo.xsk_reorder_queue 0-18446744073709551614
PARAM_VALUE 0 tx->dqo_compl.free_pending_packets.counter (-1)
PARAM_VALUE 0 tx->dqo_compl.hw_tx_head.counter 0
PARAM_VALUE 0 tx->dqo_compl.miss_completions.head (-1)
PARAM_VALUE 0 tx->dqo_compl.miss_completions.tail (-1)
PARAM_VALUE 0 tx->dqo_compl.timed_out_completions.head (-1)
PARAM_VALUE 0 tx->dqo_compl.timed_out_completions.tail (-1)
PARAM_VALUE 0 tx->q_num 0-65534
PARAM_VALUE 0 tx->q_resources 1-ptr_max
BUF_SIZE 0 tx->dev 1616
BUF_SIZE 0 tx->dqo.compl_ring 0-u64max
BUF_SIZE 0 tx->dqo.pending_packets 0-u64max
BUF_SIZE 0 tx->dqo.qpl 24
BUF_SIZE 0 tx->dqo.tx_ring 0-u64max
BUF_SIZE 0 tx->dqo.xsk_reorder_queue 0,2
BUF_SIZE 0 tx->q_resources 64
CAPPED_DATA 0 tx->dqo.num_pending_packets 1
CAPPED_DATA 0 tx->dqo.qpl->id 1
CAPPED_DATA 0 tx->q_num 1
DATA_SOURCE 0 tx $2
MEM_ZERO 0 tx
MEM_ZERO 0 tx->dqo.compl_ring
MEM_ZERO 0 tx->dqo.tx_ring
MEM_ZERO 0 tx->q_resources
MEM_ZERO 0 &tx->dqo_compl.free_pending_packets
MEM_ZERO 0 &tx->dqo_compl.hw_tx_head
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 tx->dqo.num_pending_packets