Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/google/gve/gve_rx.c gve_rx_alloc_ring_gqi() -> gve_rx_init_ring_state_gqi()

Type Parameter Key Value
PARAM_VALUE 0 rx 4096-ptr_max
BUF_SIZE 0 rx (-1)-0,8,16,512,1536
BUF_SIZE 0 rx (-1)-0,8,16,512,1536
BUF_SIZE 0 rx->data.data_ring 0-524280
BUF_SIZE 0 rx->data.qpl 0,24
BUF_SIZE 0 rx->desc.desc_ring 0-4194240
BUF_SIZE 0 rx->q_resources 64
BUF_SIZE 0 rx->qpl_copy_pool 32
CAPPED_DATA 0 rx->fill_cnt 1
CAPPED_DATA 0 rx->q_num 1
CAPPED_DATA 0 rx->qpl_copy_pool_mask 1
DATA_SOURCE 0 rx $2
BIT_INFO 0 rx->q_num 0x0,0x7fffffff
NOSPEC 0 rx->q_num
MEM_ZERO 0 rx
MEM_ZERO 0 rx->data.data_ring
MEM_ZERO 0 rx->desc.desc_ring
MEM_ZERO 0 rx->gve
MEM_ZERO 0 rx->q_resources
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 rx->q_num 1-s32max[c]
NO_OVERFLOW_SIMPLE 0 rx->fill_cnt
NO_OVERFLOW_SIMPLE 0 rx->q_num

drivers/net/ethernet/google/gve/gve_rx.c gve_rx_reset_ring_gqi() -> gve_rx_init_ring_state_gqi()

Type Parameter Key Value
PARAM_VALUE 0 rx 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL