Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

51e6ac3d6061642e gve_rx_append_frags() -> gve_reuse_buffer()

Type Parameter Key Value
PARAM_VALUE 0 rx 4096-ptr_max
PARAM_VALUE 0 rx->ctx.skb_head 4096-ptr_max
PARAM_VALUE 0 rx->ctx.skb_tail 4096-ptr_max
PARAM_VALUE 0 rx->ctx.skb_tail->pfmemalloc 1
PARAM_VALUE 0 rx->ctx.skb_tail->unreadable 1
PARAM_VALUE 0 rx->dqo.buf_states 4096-ptr_max
PARAM_VALUE 0 rx->dqo.complq.cur_gen_bit 1-255
PARAM_VALUE 0 rx->dqo.complq.desc_ring 4096-ptr_max
PARAM_VALUE 0 rx->dqo.num_buf_states 1-u16max
PARAM_VALUE 0 rx->dqo.page_pool 0,4096-ptr_max
PARAM_VALUE 0 rx->xdp_actions 4096-ptr_max
PARAM_VALUE 1 buf_state 4096-ptr_max
PARAM_VALUE 1 buf_state->xsk_buff 0
BUF_SIZE 0 rx->ctx.skb_head (-1)-s32max
BUF_SIZE 0 rx->ctx.skb_tail (-1)-s32max
CAPPED_DATA 0 rx->ctx.skb_head 1
CAPPED_DATA 1 buf_state->next 1
DATA_SOURCE 0 rx $3
DATA_SOURCE 1 buf_state $1
FUZZY_MAX 0 rx->dqo.num_buf_states 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 rx->ctx.skb_tail->end
NO_OVERFLOW_SIMPLE 0 rx->ctx.skb_tail->next->end
USER_PTR 0 rx->ctx.skb_head->data
USER_PTR 0 rx->ctx.skb_tail->data
USER_PTR 0 rx->ctx.skb_tail->next->data
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

51e6ac3d6061642e gve_rx_dqo() -> gve_reuse_buffer()

Type Parameter Key Value
PARAM_VALUE 0 rx 4096-ptr_max
PARAM_VALUE 0 rx->ctx.skb_head 4096-ptr_max
PARAM_VALUE 0 rx->ctx.skb_head->_nfct 0
PARAM_VALUE 0 rx->ctx.skb_head->_sk_redir 0
PARAM_VALUE 0 rx->ctx.skb_head->_skb_refdst 0
PARAM_VALUE 0 rx->ctx.skb_head->active_extensions 0
PARAM_VALUE 0 rx->ctx.skb_head->alloc_cpu 0
PARAM_VALUE 0 rx->ctx.skb_head->cloned 0
PARAM_VALUE 0 rx->ctx.skb_head->csum 0
PARAM_VALUE 0 rx->ctx.skb_head->csum_complete_sw 0
PARAM_VALUE 0 rx->ctx.skb_head->csum_level 0
PARAM_VALUE 0 rx->ctx.skb_head->csum_not_inet 0
PARAM_VALUE 0 rx->ctx.skb_head->csum_offset 0
PARAM_VALUE 0 rx->ctx.skb_head->csum_start 0
PARAM_VALUE 0 rx->ctx.skb_head->csum_valid 0
PARAM_VALUE 0 rx->ctx.skb_head->data 4096-ptr_max
PARAM_VALUE 0 rx->ctx.skb_head->decrypted 0
PARAM_VALUE 0 rx->ctx.skb_head->destructor 0
PARAM_VALUE 0 rx->ctx.skb_head->dev 4096-ptr_max
PARAM_VALUE 0 rx->ctx.skb_head->dev_scratch 0
PARAM_VALUE 0 rx->ctx.skb_head->dst_pending_confirm 0
PARAM_VALUE 0 rx->ctx.skb_head->encap_hdr_csum 0
PARAM_VALUE 0 rx->ctx.skb_head->encapsulation 0
PARAM_VALUE 0 rx->ctx.skb_head->end 0
PARAM_VALUE 0 rx->ctx.skb_head->extensions 0
PARAM_VALUE 0 rx->ctx.skb_head->fclone 0
PARAM_VALUE 0 rx->ctx.skb_head->from_ingress 0
PARAM_VALUE 0 rx->ctx.skb_head->hash 0
PARAM_VALUE 0 rx->ctx.skb_head->hdr_len 0
PARAM_VALUE 0 rx->ctx.skb_head->head 0
PARAM_VALUE 0 rx->ctx.skb_head->headers.alloc_cpu 0
PARAM_VALUE 0 rx->ctx.skb_head->headers.csum 0
PARAM_VALUE 0 rx->ctx.skb_head->headers.csum_level 0
PARAM_VALUE 0 rx->ctx.skb_head->headers.csum_not_inet 0
PARAM_VALUE 0 rx->ctx.skb_head->headers.csum_offset 0
PARAM_VALUE 0 rx->ctx.skb_head->headers.csum_start 0
PARAM_VALUE 0 rx->ctx.skb_head->headers.csum_valid 0
PARAM_VALUE 0 rx->ctx.skb_head->headers.decrypted 0
PARAM_VALUE 0 rx->ctx.skb_head->headers.encapsulation 0
PARAM_VALUE 0 rx->ctx.skb_head->headers.from_ingress 0
PARAM_VALUE 0 rx->ctx.skb_head->headers.hash 0
PARAM_VALUE 0 rx->ctx.skb_head->headers.ignore_df 0
PARAM_VALUE 0 rx->ctx.skb_head->headers.inner_ipproto 0
PARAM_VALUE 0 rx->ctx.skb_head->headers.ip_summed 0
PARAM_VALUE 0 rx->ctx.skb_head->headers.ipvs_property 0
PARAM_VALUE 0 rx->ctx.skb_head->headers.l4_hash 0
PARAM_VALUE 0 rx->ctx.skb_head->headers.mac_header 0
PARAM_VALUE 0 rx->ctx.skb_head->headers.mark 0
PARAM_VALUE 0 rx->ctx.skb_head->headers.napi_id 0
PARAM_VALUE 0 rx->ctx.skb_head->headers.nf_trace 0
PARAM_VALUE 0 rx->ctx.skb_head->headers.no_fcs 0
PARAM_VALUE 0 rx->ctx.skb_head->headers.ooo_okay 0
PARAM_VALUE 0 rx->ctx.skb_head->headers.pkt_type 0
PARAM_VALUE 0 rx->ctx.skb_head->headers.priority 0
PARAM_VALUE 0 rx->ctx.skb_head->headers.protocol 0
PARAM_VALUE 0 rx->ctx.skb_head->headers.redirected 0
PARAM_VALUE 0 rx->ctx.skb_head->headers.secmark 0
PARAM_VALUE 0 rx->ctx.skb_head->headers.sender_cpu 0
PARAM_VALUE 0 rx->ctx.skb_head->headers.skb_iif 0
PARAM_VALUE 0 rx->ctx.skb_head->headers.slow_gro 0
PARAM_VALUE 0 rx->ctx.skb_head->headers.sw_hash 0
PARAM_VALUE 0 rx->ctx.skb_head->headers.tc_at_ingress 0
PARAM_VALUE 0 rx->ctx.skb_head->headers.tc_depth 0
PARAM_VALUE 0 rx->ctx.skb_head->headers.tc_index 0
PARAM_VALUE 0 rx->ctx.skb_head->headers.tstamp_type 0
PARAM_VALUE 0 rx->ctx.skb_head->headers.unreadable 0
PARAM_VALUE 0 rx->ctx.skb_head->headers.vlan_all 0
PARAM_VALUE 0 rx->ctx.skb_head->headers.vlan_proto 0
PARAM_VALUE 0 rx->ctx.skb_head->headers.vlan_tci 0
PARAM_VALUE 0 rx->ctx.skb_head->headers.wifi_acked 0
PARAM_VALUE 0 rx->ctx.skb_head->ignore_df 0
PARAM_VALUE 0 rx->ctx.skb_head->inner_ipproto 0
PARAM_VALUE 0 rx->ctx.skb_head->inner_mac_header 0
PARAM_VALUE 0 rx->ctx.skb_head->inner_network_header 0
PARAM_VALUE 0 rx->ctx.skb_head->inner_protocol 0
PARAM_VALUE 0 rx->ctx.skb_head->inner_protocol_type 0
PARAM_VALUE 0 rx->ctx.skb_head->ip_summed 0
PARAM_VALUE 0 rx->ctx.skb_head->ipvs_property 0
PARAM_VALUE 0 rx->ctx.skb_head->kcov_handle.val 0
PARAM_VALUE 0 rx->ctx.skb_head->l4_hash 0
PARAM_VALUE 0 rx->ctx.skb_head->len 0-4294967281
PARAM_VALUE 0 rx->ctx.skb_head->list.next 0
PARAM_VALUE 0 rx->ctx.skb_head->list.prev 0
PARAM_VALUE 0 rx->ctx.skb_head->ll_node.next 0
PARAM_VALUE 0 rx->ctx.skb_head->mac_len 0
PARAM_VALUE 0 rx->ctx.skb_head->mark 0
PARAM_VALUE 0 rx->ctx.skb_head->napi_id 0
PARAM_VALUE 0 rx->ctx.skb_head->ndisc_nodetype 0
PARAM_VALUE 0 rx->ctx.skb_head->network_header 0
PARAM_VALUE 0 rx->ctx.skb_head->next 0
PARAM_VALUE 0 rx->ctx.skb_head->nf_skip_egress 0
PARAM_VALUE 0 rx->ctx.skb_head->nf_trace 0
PARAM_VALUE 0 rx->ctx.skb_head->no_fcs 0
PARAM_VALUE 0 rx->ctx.skb_head->nohdr 0
PARAM_VALUE 0 rx->ctx.skb_head->offload_fwd_mark 0
PARAM_VALUE 0 rx->ctx.skb_head->offload_l3_fwd_mark 0
PARAM_VALUE 0 rx->ctx.skb_head->ooo_okay 0
PARAM_VALUE 0 rx->ctx.skb_head->peeked 0
PARAM_VALUE 0 rx->ctx.skb_head->pkt_type 1-3
PARAM_VALUE 0 rx->ctx.skb_head->prev 0
PARAM_VALUE 0 rx->ctx.skb_head->priority 0
PARAM_VALUE 0 rx->ctx.skb_head->queue_mapping 1-u16max
PARAM_VALUE 0 rx->ctx.skb_head->rbnode.rb_left 0
PARAM_VALUE 0 rx->ctx.skb_head->rbnode.rb_right 0
PARAM_VALUE 0 rx->ctx.skb_head->redirected 0
PARAM_VALUE 0 rx->ctx.skb_head->remcsum_offload 0
PARAM_VALUE 0 rx->ctx.skb_head->reserved_tailroom 0
PARAM_VALUE 0 rx->ctx.skb_head->secmark 0
PARAM_VALUE 0 rx->ctx.skb_head->sender_cpu 0
PARAM_VALUE 0 rx->ctx.skb_head->sk 0
PARAM_VALUE 0 rx->ctx.skb_head->skb_iif 0
PARAM_VALUE 0 rx->ctx.skb_head->skb_mstamp_ns 0
PARAM_VALUE 0 rx->ctx.skb_head->slow_gro 0
PARAM_VALUE 0 rx->ctx.skb_head->sw_hash 0
PARAM_VALUE 0 rx->ctx.skb_head->tc_at_ingress 0
PARAM_VALUE 0 rx->ctx.skb_head->tc_depth 0
PARAM_VALUE 0 rx->ctx.skb_head->tc_index 0
PARAM_VALUE 0 rx->ctx.skb_head->tc_skip_classify 0
PARAM_VALUE 0 rx->ctx.skb_head->transport_header u16max
PARAM_VALUE 0 rx->ctx.skb_head->tstamp 0
PARAM_VALUE 0 rx->ctx.skb_head->tstamp_type 0
PARAM_VALUE 0 rx->ctx.skb_head->users.refs.counter 1
PARAM_VALUE 0 rx->ctx.skb_head->vlan_all 0
PARAM_VALUE 0 rx->ctx.skb_head->vlan_proto 0
PARAM_VALUE 0 rx->ctx.skb_head->vlan_tci 0
PARAM_VALUE 0 rx->ctx.skb_head->wifi_acked 0
PARAM_VALUE 0 rx->ctx.skb_head->wifi_acked_valid 0
PARAM_VALUE 0 rx->ctx.skb_tail 4096-ptr_max
PARAM_VALUE 0 rx->ctx.skb_tail->_nfct 0
PARAM_VALUE 0 rx->ctx.skb_tail->_sk_redir 0
PARAM_VALUE 0 rx->ctx.skb_tail->_skb_refdst 0
PARAM_VALUE 0 rx->ctx.skb_tail->active_extensions 0
PARAM_VALUE 0 rx->ctx.skb_tail->alloc_cpu 0
PARAM_VALUE 0 rx->ctx.skb_tail->cloned 0
PARAM_VALUE 0 rx->ctx.skb_tail->csum 0
PARAM_VALUE 0 rx->ctx.skb_tail->csum_complete_sw 0
PARAM_VALUE 0 rx->ctx.skb_tail->csum_level 0
PARAM_VALUE 0 rx->ctx.skb_tail->csum_not_inet 0
PARAM_VALUE 0 rx->ctx.skb_tail->csum_offset 0
PARAM_VALUE 0 rx->ctx.skb_tail->csum_start 0
PARAM_VALUE 0 rx->ctx.skb_tail->csum_valid 0
PARAM_VALUE 0 rx->ctx.skb_tail->data 4096-ptr_max
PARAM_VALUE 0 rx->ctx.skb_tail->decrypted 0
PARAM_VALUE 0 rx->ctx.skb_tail->destructor 0
PARAM_VALUE 0 rx->ctx.skb_tail->dev 4096-ptr_max
PARAM_VALUE 0 rx->ctx.skb_tail->dev_scratch 0
PARAM_VALUE 0 rx->ctx.skb_tail->dst_pending_confirm 0
PARAM_VALUE 0 rx->ctx.skb_tail->encap_hdr_csum 0
PARAM_VALUE 0 rx->ctx.skb_tail->encapsulation 0
PARAM_VALUE 0 rx->ctx.skb_tail->end 0
PARAM_VALUE 0 rx->ctx.skb_tail->extensions 0
PARAM_VALUE 0 rx->ctx.skb_tail->fclone 0
PARAM_VALUE 0 rx->ctx.skb_tail->from_ingress 0
PARAM_VALUE 0 rx->ctx.skb_tail->hash 0
PARAM_VALUE 0 rx->ctx.skb_tail->hdr_len 0
PARAM_VALUE 0 rx->ctx.skb_tail->head 0
PARAM_VALUE 0 rx->ctx.skb_tail->headers.alloc_cpu 0
PARAM_VALUE 0 rx->ctx.skb_tail->headers.csum 0
PARAM_VALUE 0 rx->ctx.skb_tail->headers.csum_level 0
PARAM_VALUE 0 rx->ctx.skb_tail->headers.csum_not_inet 0
PARAM_VALUE 0 rx->ctx.skb_tail->headers.csum_offset 0
PARAM_VALUE 0 rx->ctx.skb_tail->headers.csum_start 0
PARAM_VALUE 0 rx->ctx.skb_tail->headers.csum_valid 0
PARAM_VALUE 0 rx->ctx.skb_tail->headers.decrypted 0
PARAM_VALUE 0 rx->ctx.skb_tail->headers.encapsulation 0
PARAM_VALUE 0 rx->ctx.skb_tail->headers.from_ingress 0
PARAM_VALUE 0 rx->ctx.skb_tail->headers.hash 0
PARAM_VALUE 0 rx->ctx.skb_tail->headers.ignore_df 0
PARAM_VALUE 0 rx->ctx.skb_tail->headers.inner_ipproto 0
PARAM_VALUE 0 rx->ctx.skb_tail->headers.ip_summed 0
PARAM_VALUE 0 rx->ctx.skb_tail->headers.ipvs_property 0
PARAM_VALUE 0 rx->ctx.skb_tail->headers.l4_hash 0
PARAM_VALUE 0 rx->ctx.skb_tail->headers.mac_header 0
PARAM_VALUE 0 rx->ctx.skb_tail->headers.mark 0
PARAM_VALUE 0 rx->ctx.skb_tail->headers.napi_id 0
PARAM_VALUE 0 rx->ctx.skb_tail->headers.nf_trace 0
PARAM_VALUE 0 rx->ctx.skb_tail->headers.no_fcs 0
PARAM_VALUE 0 rx->ctx.skb_tail->headers.ooo_okay 0
PARAM_VALUE 0 rx->ctx.skb_tail->headers.pkt_type 0
PARAM_VALUE 0 rx->ctx.skb_tail->headers.priority 0
PARAM_VALUE 0 rx->ctx.skb_tail->headers.protocol 0
PARAM_VALUE 0 rx->ctx.skb_tail->headers.redirected 0
PARAM_VALUE 0 rx->ctx.skb_tail->headers.secmark 0
PARAM_VALUE 0 rx->ctx.skb_tail->headers.sender_cpu 0
PARAM_VALUE 0 rx->ctx.skb_tail->headers.skb_iif 0
PARAM_VALUE 0 rx->ctx.skb_tail->headers.slow_gro 0
PARAM_VALUE 0 rx->ctx.skb_tail->headers.sw_hash 0
PARAM_VALUE 0 rx->ctx.skb_tail->headers.tc_at_ingress 0
PARAM_VALUE 0 rx->ctx.skb_tail->headers.tc_depth 0
PARAM_VALUE 0 rx->ctx.skb_tail->headers.tc_index 0
PARAM_VALUE 0 rx->ctx.skb_tail->headers.tstamp_type 0
PARAM_VALUE 0 rx->ctx.skb_tail->headers.unreadable 0
PARAM_VALUE 0 rx->ctx.skb_tail->headers.vlan_all 0
PARAM_VALUE 0 rx->ctx.skb_tail->headers.vlan_proto 0
PARAM_VALUE 0 rx->ctx.skb_tail->headers.vlan_tci 0
PARAM_VALUE 0 rx->ctx.skb_tail->headers.wifi_acked 0
PARAM_VALUE 0 rx->ctx.skb_tail->ignore_df 0
PARAM_VALUE 0 rx->ctx.skb_tail->inner_ipproto 0
PARAM_VALUE 0 rx->ctx.skb_tail->inner_mac_header 0
PARAM_VALUE 0 rx->ctx.skb_tail->inner_network_header 0
PARAM_VALUE 0 rx->ctx.skb_tail->inner_protocol 0
PARAM_VALUE 0 rx->ctx.skb_tail->inner_protocol_type 0
PARAM_VALUE 0 rx->ctx.skb_tail->ip_summed 0
PARAM_VALUE 0 rx->ctx.skb_tail->ipvs_property 0
PARAM_VALUE 0 rx->ctx.skb_tail->kcov_handle.val 0
PARAM_VALUE 0 rx->ctx.skb_tail->l4_hash 0
PARAM_VALUE 0 rx->ctx.skb_tail->len 0-4294967281
PARAM_VALUE 0 rx->ctx.skb_tail->list.next 0
PARAM_VALUE 0 rx->ctx.skb_tail->list.prev 0
PARAM_VALUE 0 rx->ctx.skb_tail->ll_node.next 0
PARAM_VALUE 0 rx->ctx.skb_tail->mac_len 0
PARAM_VALUE 0 rx->ctx.skb_tail->mark 0
PARAM_VALUE 0 rx->ctx.skb_tail->napi_id 0
PARAM_VALUE 0 rx->ctx.skb_tail->ndisc_nodetype 0
PARAM_VALUE 0 rx->ctx.skb_tail->network_header 0
PARAM_VALUE 0 rx->ctx.skb_tail->next 0
PARAM_VALUE 0 rx->ctx.skb_tail->nf_skip_egress 0
PARAM_VALUE 0 rx->ctx.skb_tail->nf_trace 0
PARAM_VALUE 0 rx->ctx.skb_tail->no_fcs 0
PARAM_VALUE 0 rx->ctx.skb_tail->nohdr 0
PARAM_VALUE 0 rx->ctx.skb_tail->offload_fwd_mark 0
PARAM_VALUE 0 rx->ctx.skb_tail->offload_l3_fwd_mark 0
PARAM_VALUE 0 rx->ctx.skb_tail->ooo_okay 0
PARAM_VALUE 0 rx->ctx.skb_tail->peeked 0
PARAM_VALUE 0 rx->ctx.skb_tail->pkt_type 1-3
PARAM_VALUE 0 rx->ctx.skb_tail->prev 0
PARAM_VALUE 0 rx->ctx.skb_tail->priority 0
PARAM_VALUE 0 rx->ctx.skb_tail->queue_mapping 1-u16max
PARAM_VALUE 0 rx->ctx.skb_tail->rbnode.rb_left 0
PARAM_VALUE 0 rx->ctx.skb_tail->rbnode.rb_right 0
PARAM_VALUE 0 rx->ctx.skb_tail->redirected 0
PARAM_VALUE 0 rx->ctx.skb_tail->remcsum_offload 0
PARAM_VALUE 0 rx->ctx.skb_tail->reserved_tailroom 0
PARAM_VALUE 0 rx->ctx.skb_tail->secmark 0
PARAM_VALUE 0 rx->ctx.skb_tail->sender_cpu 0
PARAM_VALUE 0 rx->ctx.skb_tail->sk 0
PARAM_VALUE 0 rx->ctx.skb_tail->skb_iif 0
PARAM_VALUE 0 rx->ctx.skb_tail->skb_mstamp_ns 0
PARAM_VALUE 0 rx->ctx.skb_tail->slow_gro 0
PARAM_VALUE 0 rx->ctx.skb_tail->sw_hash 0
PARAM_VALUE 0 rx->ctx.skb_tail->tc_at_ingress 0
PARAM_VALUE 0 rx->ctx.skb_tail->tc_depth 0
PARAM_VALUE 0 rx->ctx.skb_tail->tc_index 0
PARAM_VALUE 0 rx->ctx.skb_tail->tc_skip_classify 0
PARAM_VALUE 0 rx->ctx.skb_tail->transport_header u16max
PARAM_VALUE 0 rx->ctx.skb_tail->tstamp 0
PARAM_VALUE 0 rx->ctx.skb_tail->tstamp_type 0
PARAM_VALUE 0 rx->ctx.skb_tail->users.refs.counter 1
PARAM_VALUE 0 rx->ctx.skb_tail->vlan_all 0
PARAM_VALUE 0 rx->ctx.skb_tail->vlan_proto 0
PARAM_VALUE 0 rx->ctx.skb_tail->vlan_tci 0
PARAM_VALUE 0 rx->ctx.skb_tail->wifi_acked 0
PARAM_VALUE 0 rx->ctx.skb_tail->wifi_acked_valid 0
PARAM_VALUE 0 rx->dqo.buf_states 4096-ptr_max
PARAM_VALUE 0 rx->dqo.complq.cur_gen_bit 1-255
PARAM_VALUE 0 rx->dqo.complq.desc_ring 4096-ptr_max
PARAM_VALUE 0 rx->dqo.num_buf_states 1-u16max
PARAM_VALUE 0 rx->dqo.page_pool 0,4096-ptr_max
PARAM_VALUE 0 rx->xdp_actions 4096-ptr_max
PARAM_VALUE 1 buf_state 4096-ptr_max
PARAM_VALUE 1 buf_state->xsk_buff 0
BUF_SIZE 0 rx->ctx.skb_head 1-s32max
BUF_SIZE 0 rx->ctx.skb_tail 1-s32max
CAPPED_DATA 0 rx->ctx.skb_head 1
CAPPED_DATA 1 buf_state->next 1
DATA_SOURCE 0 rx $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 rx->ctx.skb_head->end
NO_OVERFLOW_SIMPLE 0 rx->ctx.skb_tail->end
USER_PTR 0 rx->ctx.skb_head->data
USER_PTR 0 rx->ctx.skb_tail->data
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

51e6ac3d6061642e gve_rx_dqo() -> gve_reuse_buffer()

Type Parameter Key Value
PARAM_VALUE 0 rx 4096-ptr_max
PARAM_VALUE 0 rx->ctx.skb_head 4096-ptr_max
PARAM_VALUE 0 rx->ctx.skb_tail 4096-ptr_max
PARAM_VALUE 0 rx->ctx.skb_tail->pfmemalloc 1
PARAM_VALUE 0 rx->ctx.skb_tail->unreadable 1
PARAM_VALUE 0 rx->dqo.buf_states 4096-ptr_max
PARAM_VALUE 0 rx->dqo.complq.cur_gen_bit 1-255
PARAM_VALUE 0 rx->dqo.complq.desc_ring 4096-ptr_max
PARAM_VALUE 0 rx->dqo.num_buf_states 1-u16max
PARAM_VALUE 0 rx->dqo.page_pool 0,4096-ptr_max
PARAM_VALUE 0 rx->xdp_actions 4096-ptr_max
PARAM_VALUE 1 buf_state 4096-ptr_max
PARAM_VALUE 1 buf_state->xsk_buff 0
BUF_SIZE 0 rx->ctx.skb_head (-1)-s32max
BUF_SIZE 0 rx->ctx.skb_tail (-1)-s32max
CAPPED_DATA 0 rx->ctx.skb_head 1
CAPPED_DATA 1 buf_state->next 1
DATA_SOURCE 0 rx $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 rx->ctx.skb_head->end
NO_OVERFLOW_SIMPLE 0 rx->ctx.skb_tail->end
USER_PTR 0 rx->ctx.skb_head->data
USER_PTR 0 rx->ctx.skb_tail->data
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

51e6ac3d6061642e gve_xdp_done_dqo() -> gve_reuse_buffer()

Type Parameter Key Value
PARAM_VALUE 0 rx 4096-ptr_max
PARAM_VALUE 0 rx->ctx.skb_head 0
PARAM_VALUE 0 rx->dqo.buf_states 4096-ptr_max
PARAM_VALUE 0 rx->dqo.complq.cur_gen_bit 1-255
PARAM_VALUE 0 rx->dqo.complq.desc_ring 4096-ptr_max
PARAM_VALUE 0 rx->dqo.num_buf_states 1-u16max
PARAM_VALUE 0 rx->dqo.page_pool 0,4096-ptr_max
PARAM_VALUE 0 rx->xdp_actions 4096-ptr_max
PARAM_VALUE 1 buf_state 4096-ptr_max
PARAM_VALUE 1 buf_state->xsk_buff 0
CAPPED_DATA 1 buf_state->next 1
DATA_SOURCE 0 rx $1
DATA_SOURCE 1 buf_state $5
FUZZY_MAX 0 rx->dqo.num_buf_states 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

51e6ac3d6061642e gve_xdp_done_dqo() -> gve_reuse_buffer()

Type Parameter Key Value
PARAM_VALUE 0 rx 4096-ptr_max
PARAM_VALUE 0 rx->ctx.skb_head 0
PARAM_VALUE 0 rx->dqo.buf_states 4096-ptr_max
PARAM_VALUE 0 rx->dqo.complq.cur_gen_bit 1-255
PARAM_VALUE 0 rx->dqo.complq.desc_ring 4096-ptr_max
PARAM_VALUE 0 rx->dqo.num_buf_states 1-u16max
PARAM_VALUE 0 rx->dqo.page_pool 0,4096-ptr_max
PARAM_VALUE 0 rx->xdp_actions 4096-ptr_max
PARAM_VALUE 1 buf_state 4096-ptr_max
PARAM_VALUE 1 buf_state->xsk_buff 0
CAPPED_DATA 1 buf_state->next 1
DATA_SOURCE 0 rx $1
DATA_SOURCE 1 buf_state $5
FUZZY_MAX 0 rx->dqo.num_buf_states 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read