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_buffer() -> gve_setup_rx_buffer()

Type Parameter Key Value
PARAM_VALUE 0 rx 4096-ptr_max
PARAM_VALUE 0 rx->data.data_ring 4096-ptr_max
PARAM_VALUE 0 rx->data.page_info 4096-ptr_max
PARAM_VALUE 0 rx->data.raw_addressing 1-255
PARAM_VALUE 1 page_info 4096-ptr_max
PARAM_VALUE 2 addr 0-18446744073709551614
PARAM_VALUE 3 page 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 (-1)-524280
BUF_SIZE 0 rx->data.page_info (-1),32
BUF_SIZE 0 rx->data.qpl (-1)-0,24
BUF_SIZE 0 rx->qpl_copy_pool (-1),32
DATA_SOURCE 0 rx $4
DATA_SOURCE 1 page_info $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 rx->q_num 1-s32max[c]
NO_OVERFLOW_SIMPLE 0 rx->q_num

drivers/net/ethernet/google/gve/gve_rx.c gve_rx_prefill_pages() -> gve_setup_rx_buffer()

Type Parameter Key Value
PARAM_VALUE 0 rx 4096-ptr_max
PARAM_VALUE 0 rx->data.data_ring 4096-ptr_max
PARAM_VALUE 0 rx->data.page_info 4096-ptr_max
PARAM_VALUE 0 rx->data.qpl 4096-ptr_max
PARAM_VALUE 0 rx->data.qpl->pages 4096-ptr_max
PARAM_VALUE 0 rx->data.raw_addressing 0
PARAM_VALUE 0 rx->gve 4096-ptr_max
PARAM_VALUE 0 rx->gve->queue_format 1-2
PARAM_VALUE 0 rx->mask 0-65534,u32max
PARAM_VALUE 0 rx->qpl_copy_pool 16,4096-ptr_max
PARAM_VALUE 0 rx->qpl_copy_pool_head 0
PARAM_VALUE 0 rx->qpl_copy_pool_mask 0-131069,u32max
PARAM_VALUE 0 rx->rx_buf_alloc_fail 0
PARAM_VALUE 1 page_info 4096-ptr_max
PARAM_VALUE 2 addr 0-268427264
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.page_info 32
BUF_SIZE 0 rx->data.qpl 0,24
BUF_SIZE 0 rx->qpl_copy_pool 32
CAPPED_DATA 0 rx->q_num 1
CAPPED_DATA 0 rx->qpl_copy_pool_mask 1
CAPPED_DATA 2 addr 1
CAPPED_DATA 2 addr 1
DATA_SOURCE 0 rx $0
BIT_INFO 0 rx->q_num 0x0,0x7fffffff
NOSPEC 0 rx->q_num
MEM_ZERO 0 rx
MEM_ZERO 0 rx->data.data_ring
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 rx->q_num 1-s32max[c]
NO_OVERFLOW_SIMPLE 0 rx->q_num
UNITS 2 addr unit_byte