Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/ipv6/ip6_input.c ip6_input_finish() -> ip6_protocol_deliver_rcu()

Type Parameter Key Value
PARAM_VALUE 0 net->ipv4.fqdir->f->frag_expire 0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560
PARAM_VALUE 0 net->ipv4.fqdir->f->qsize 0,304,320
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->dev->nd_net.net->ipv4.fqdir->f->frag_expire 0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560
PARAM_VALUE 1 skb->dev->nd_net.net->ipv4.fqdir->f->qsize 0,304,320
PARAM_VALUE 1 skb->dev->ndisc_ops->fill_addr_option 4096-ptr_max
PARAM_VALUE 1 skb->dev->ndisc_ops->parse_options 4096-ptr_max
PARAM_VALUE 1 skb->dev->ndisc_ops->update 4096-ptr_max
PARAM_VALUE 1 skb->dev->rtnl_link_ops->maxtype 0-6,8-10,15,18,20,22,24,34,50
PARAM_VALUE 1 skb->dev->rtnl_link_ops->priv_size 0,8,32,40,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,744,1056,1128,1336,1616,2176,2240,2272,2560,3296,3544,3552,3720,9688-u64max
PARAM_VALUE 1 skb->tstamp_type 0
PARAM_VALUE 2 nexthdr 0
PARAM_VALUE 3 have_final 0
BUF_SIZE 0 net (-1),1-s32max
BUF_SIZE 0 net (-1),1-s32max
BUF_SIZE 1 skb (-1)-s32max
BUF_SIZE 1 skb (-1)-s32max
DATA_SOURCE 0 net $0
DATA_SOURCE 1 skb $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 skb->csum 0-192512[c]
HOST_DATA 1 skb->csum_offset 0-u16max
HOST_DATA 1 skb->data_len 0-u32max[c]
HOST_DATA 1 skb->inner_protocol 1-255
HOST_DATA 1 skb->len 0-u32max[c]
HOST_DATA 1 skb->next->csum_offset 0-u16max
HOST_DATA 1 skb->next->data_len 0-u32max[c]
HOST_DATA 1 skb->next->len 1-u32max[c]
HOST_DATA 1 skb->next->prev->csum_offset 0-u16max
HOST_DATA 1 skb->next->prev->data_len 0-u32max[c]
HOST_DATA 1 skb->next->prev->len 1-u32max[c]
HOST_DATA 1 skb->next->prev->tstamp 500000002-4294967299794967295[c]
HOST_DATA 1 skb->prev->csum_offset 0-u16max
HOST_DATA 1 skb->prev->data_len 0-u32max[c]
HOST_DATA 1 skb->prev->len 0-u32max[c]
HOST_DATA 1 skb->prev->truesize 0-u32max
HOST_DATA 1 skb->prev->tstamp 500000002-4294967299794967295[c]
HOST_DATA 1 skb->prev->users.refs.counter s32min-0,2-s32max
HOST_DATA 1 skb->protocol 1-255
HOST_DATA 1 skb->truesize 0-u32max
HOST_DATA 1 skb->tstamp 500000002-4294967299794967295[c]
HOST_DATA 1 skb->users.refs.counter s32min-0,2-s32max
HOST_DATA 1 *skb->data 0-255
NO_OVERFLOW_SIMPLE 1 skb->data_len
NO_OVERFLOW_SIMPLE 1 skb->dev->group
NO_OVERFLOW_SIMPLE 1 skb->dev->num_tc
NO_OVERFLOW_SIMPLE 1 skb->dev->proto_down
NO_OVERFLOW_SIMPLE 1 skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE 1 skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE 1 skb->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE 1 skb->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE 1 skb->dev->tx_queue_len
NO_OVERFLOW_SIMPLE 1 skb->end
NO_OVERFLOW_SIMPLE 1 skb->len
NO_OVERFLOW_SIMPLE 1 skb->next->data_len
NO_OVERFLOW_SIMPLE 1 skb->next->end
NO_OVERFLOW_SIMPLE 1 skb->next->len
NO_OVERFLOW_SIMPLE 1 skb->next->tail
NO_OVERFLOW_SIMPLE 1 skb->next->truesize
NO_OVERFLOW_SIMPLE 1 skb->prev->data_len
NO_OVERFLOW_SIMPLE 1 skb->prev->end
NO_OVERFLOW_SIMPLE 1 skb->prev->len
NO_OVERFLOW_SIMPLE 1 skb->prev->tail
NO_OVERFLOW_SIMPLE 1 skb->prev->truesize
NO_OVERFLOW_SIMPLE 1 skb->sk->sk_backlog.len
NO_OVERFLOW_SIMPLE 1 skb->tail
NO_OVERFLOW_SIMPLE 1 skb->truesize
UNITS 0 net unit_byte
UNITS 1 skb unit_byte
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read
HALF_LOCKED2 0 &net->ipv4.mfc_mutex
HALF_LOCKED2 0 &net->ipv6.mfc_mutex

net/ipv6/udp.c udpv6_queue_rcv_skb() -> ip6_protocol_deliver_rcu()

Type Parameter Key Value
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->cb->mask 0-4294967295
PARAM_VALUE 1 skb->cb->opcode 0-255
PARAM_VALUE 1 skb->cb->paylen 0-u16max
PARAM_VALUE 1 skb->cb->pkey_index 0
PARAM_VALUE 1 skb->cb->port_num 1
PARAM_VALUE 1 skb->cb->psn 0-16777215
PARAM_VALUE 1 skb->cb->qp->alt_av.dgid_addr._sockaddr_in.sin_family 0-u16max
PARAM_VALUE 1 skb->cb->qp->alt_av.dgid_addr._sockaddr_in.sin_port 0-u16max
PARAM_VALUE 1 skb->cb->qp->alt_av.dgid_addr._sockaddr_in6.sin6_family 0-u16max
PARAM_VALUE 1 skb->cb->qp->alt_av.dgid_addr._sockaddr_in6.sin6_flowinfo 0-4294967295
PARAM_VALUE 1 skb->cb->qp->alt_av.dgid_addr._sockaddr_in6.sin6_port 0-u16max
PARAM_VALUE 1 skb->cb->qp->alt_av.dgid_addr._sockaddr_in6.sin6_scope_id 0-4294967295
PARAM_VALUE 1 skb->cb->qp->alt_av.grh.flow_label 0-4294967295
PARAM_VALUE 1 skb->cb->qp->alt_av.grh.hop_limit 0-255
PARAM_VALUE 1 skb->cb->qp->alt_av.grh.sgid_index 0-255
PARAM_VALUE 1 skb->cb->qp->alt_av.grh.traffic_class 0-255
PARAM_VALUE 1 skb->cb->qp->alt_av.network_type 0-255
PARAM_VALUE 1 skb->cb->qp->alt_av.port_num 0-255
PARAM_VALUE 1 skb->cb->qp->alt_av.sgid_addr._sockaddr_in.sin_family 0-u16max
PARAM_VALUE 1 skb->cb->qp->alt_av.sgid_addr._sockaddr_in.sin_port 0-u16max
PARAM_VALUE 1 skb->cb->qp->alt_av.sgid_addr._sockaddr_in6.sin6_family 0-u16max
PARAM_VALUE 1 skb->cb->qp->alt_av.sgid_addr._sockaddr_in6.sin6_flowinfo 0-4294967295
PARAM_VALUE 1 skb->cb->qp->alt_av.sgid_addr._sockaddr_in6.sin6_port 0-u16max
PARAM_VALUE 1 skb->cb->qp->alt_av.sgid_addr._sockaddr_in6.sin6_scope_id 0-4294967295
PARAM_VALUE 1 skb->cb->qp->attr.ah_attr.ah_flags 0-255
PARAM_VALUE 1 skb->cb->qp->attr.ah_attr.grh.flow_label 0-4294967295
PARAM_VALUE 1 skb->cb->qp->attr.ah_attr.grh.hop_limit 0-255
PARAM_VALUE 1 skb->cb->qp->attr.ah_attr.grh.sgid_index 0-255
PARAM_VALUE 1 skb->cb->qp->attr.ah_attr.grh.traffic_class 0-255
PARAM_VALUE 1 skb->cb->qp->attr.ah_attr.ib.dlid 0-u16max
PARAM_VALUE 1 skb->cb->qp->attr.ah_attr.ib.src_path_bits 0-255
PARAM_VALUE 1 skb->cb->qp->attr.ah_attr.opa.dlid 0-4294967295
PARAM_VALUE 1 skb->cb->qp->attr.ah_attr.opa.make_grd 0-1
PARAM_VALUE 1 skb->cb->qp->attr.ah_attr.opa.src_path_bits 0-255
PARAM_VALUE 1 skb->cb->qp->attr.ah_attr.port_num 0-4294967295
PARAM_VALUE 1 skb->cb->qp->attr.ah_attr.sl 0-255
PARAM_VALUE 1 skb->cb->qp->attr.ah_attr.static_rate 0-255
PARAM_VALUE 1 skb->cb->qp->attr.ah_attr.type 0-4294967295
PARAM_VALUE 1 skb->cb->qp->attr.alt_ah_attr.ah_flags 0-255
PARAM_VALUE 1 skb->cb->qp->attr.alt_ah_attr.grh.flow_label 0-4294967295
PARAM_VALUE 1 skb->cb->qp->attr.alt_ah_attr.grh.hop_limit 0-255
PARAM_VALUE 1 skb->cb->qp->attr.alt_ah_attr.grh.sgid_index 0-255
PARAM_VALUE 1 skb->cb->qp->attr.alt_ah_attr.grh.traffic_class 0-255
PARAM_VALUE 1 skb->cb->qp->attr.alt_ah_attr.ib.dlid 0-u16max
PARAM_VALUE 1 skb->cb->qp->attr.alt_ah_attr.ib.src_path_bits 0-255
PARAM_VALUE 1 skb->cb->qp->attr.alt_ah_attr.opa.dlid 0-4294967295
PARAM_VALUE 1 skb->cb->qp->attr.alt_ah_attr.opa.make_grd 0-1
PARAM_VALUE 1 skb->cb->qp->attr.alt_ah_attr.opa.src_path_bits 0-255
PARAM_VALUE 1 skb->cb->qp->attr.alt_ah_attr.port_num 0-4294967295
PARAM_VALUE 1 skb->cb->qp->attr.alt_ah_attr.sl 0-255
PARAM_VALUE 1 skb->cb->qp->attr.alt_ah_attr.static_rate 0-255
PARAM_VALUE 1 skb->cb->qp->attr.alt_ah_attr.type 0-4294967295
PARAM_VALUE 1 skb->cb->qp->attr.alt_pkey_index 0-u16max
PARAM_VALUE 1 skb->cb->qp->attr.alt_port_num 0-4294967295
PARAM_VALUE 1 skb->cb->qp->attr.alt_timeout 0-255
PARAM_VALUE 1 skb->cb->qp->attr.cap.max_inline_data 0-4294967295
PARAM_VALUE 1 skb->cb->qp->attr.cap.max_rdma_ctxs 0-4294967295
PARAM_VALUE 1 skb->cb->qp->attr.cap.max_recv_sge 0-4294967295
PARAM_VALUE 1 skb->cb->qp->attr.cap.max_recv_wr 0-4294967295
PARAM_VALUE 1 skb->cb->qp->attr.cap.max_send_sge 0-4294967295
PARAM_VALUE 1 skb->cb->qp->attr.cap.max_send_wr 0-4294967295
PARAM_VALUE 1 skb->cb->qp->attr.cur_qp_state 0-4294967295
PARAM_VALUE 1 skb->cb->qp->attr.dest_qp_num 0-4294967295
PARAM_VALUE 1 skb->cb->qp->attr.en_sqd_async_notify 0-255
PARAM_VALUE 1 skb->cb->qp->attr.max_dest_rd_atomic 0-255
PARAM_VALUE 1 skb->cb->qp->attr.max_rd_atomic 0-255
PARAM_VALUE 1 skb->cb->qp->attr.min_rnr_timer 0-255
PARAM_VALUE 1 skb->cb->qp->attr.path_mig_state 0-4294967295
PARAM_VALUE 1 skb->cb->qp->attr.path_mtu 0-4294967295
PARAM_VALUE 1 skb->cb->qp->attr.pkey_index 0-u16max
PARAM_VALUE 1 skb->cb->qp->attr.port_num 0-4294967295
PARAM_VALUE 1 skb->cb->qp->attr.qkey 0-4294967295
PARAM_VALUE 1 skb->cb->qp->attr.qp_access_flags s32min-s32max
PARAM_VALUE 1 skb->cb->qp->attr.qp_state 2-4294967295
PARAM_VALUE 1 skb->cb->qp->attr.rate_limit 0-4294967295
PARAM_VALUE 1 skb->cb->qp->attr.retry_cnt 0-255
PARAM_VALUE 1 skb->cb->qp->attr.rnr_retry 0-255
PARAM_VALUE 1 skb->cb->qp->attr.rq_psn 0-4294967295
PARAM_VALUE 1 skb->cb->qp->attr.sq_draining 0-255
PARAM_VALUE 1 skb->cb->qp->attr.sq_psn 0-4294967295
PARAM_VALUE 1 skb->cb->qp->attr.timeout 0-255
PARAM_VALUE 1 skb->cb->qp->comp.opcode s32min-s32max
PARAM_VALUE 1 skb->cb->qp->comp.psn 0-4294967295
PARAM_VALUE 1 skb->cb->qp->comp.retry_cnt 0-4294967295
PARAM_VALUE 1 skb->cb->qp->comp.rnr_retry 0-4294967295
PARAM_VALUE 1 skb->cb->qp->comp.started_retry s32min-s32max
PARAM_VALUE 1 skb->cb->qp->comp.timeout s32min-s32max
PARAM_VALUE 1 skb->cb->qp->comp.timeout_retry s32min-s32max
PARAM_VALUE 1 skb->cb->qp->dst_cookie 0-4294967295
PARAM_VALUE 1 skb->cb->qp->elem.complete.done 0-4294967295
PARAM_VALUE 1 skb->cb->qp->elem.complete.wait.lock.magic 0-4294967295
PARAM_VALUE 1 skb->cb->qp->elem.complete.wait.lock.owner_cpu 0-4294967295
PARAM_VALUE 1 skb->cb->qp->elem.complete.wait.lock.raw_lock.locked 0-255
PARAM_VALUE 1 skb->cb->qp->elem.complete.wait.lock.raw_lock.locked_pending 0-u16max
PARAM_VALUE 1 skb->cb->qp->elem.complete.wait.lock.raw_lock.pending 0-255
PARAM_VALUE 1 skb->cb->qp->elem.complete.wait.lock.raw_lock.tail 0-u16max
PARAM_VALUE 1 skb->cb->qp->elem.index 0-4294967295
PARAM_VALUE 1 skb->cb->qp->elem.ref_cnt.refcount.refs.counter s32min-s32max
PARAM_VALUE 1 skb->cb->qp->ibqp.integrity_en 0-1
PARAM_VALUE 1 skb->cb->qp->ibqp.max_read_sge 0-4294967295
PARAM_VALUE 1 skb->cb->qp->ibqp.max_write_sge 0-4294967295
PARAM_VALUE 1 skb->cb->qp->ibqp.mrs_used s32min-s32max
PARAM_VALUE 1 skb->cb->qp->ibqp.port 0-4294967295
PARAM_VALUE 1 skb->cb->qp->ibqp.qp_num 0-4294967295
PARAM_VALUE 1 skb->cb->qp->ibqp.qp_type 0-4294967295
PARAM_VALUE 1 skb->cb->qp->ibqp.res.comp.done 0-4294967295
PARAM_VALUE 1 skb->cb->qp->ibqp.res.comp.wait.lock.magic 0-4294967295
PARAM_VALUE 1 skb->cb->qp->ibqp.res.comp.wait.lock.owner_cpu 0-4294967295
PARAM_VALUE 1 skb->cb->qp->ibqp.res.comp.wait.lock.raw_lock.locked 0-255
PARAM_VALUE 1 skb->cb->qp->ibqp.res.comp.wait.lock.raw_lock.locked_pending 0-u16max
PARAM_VALUE 1 skb->cb->qp->ibqp.res.comp.wait.lock.raw_lock.pending 0-255
PARAM_VALUE 1 skb->cb->qp->ibqp.res.comp.wait.lock.raw_lock.tail 0-u16max
PARAM_VALUE 1 skb->cb->qp->ibqp.res.id 0-4294967295
PARAM_VALUE 1 skb->cb->qp->ibqp.res.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 1 skb->cb->qp->ibqp.res.no_track 0-1
PARAM_VALUE 1 skb->cb->qp->ibqp.res.type 0-4294967295
PARAM_VALUE 1 skb->cb->qp->ibqp.res.user 0-1
PARAM_VALUE 1 skb->cb->qp->ibqp.res.valid 0-1
PARAM_VALUE 1 skb->cb->qp->ibqp.srq_completion.done 0-4294967295
PARAM_VALUE 1 skb->cb->qp->ibqp.srq_completion.wait.lock.magic 0-4294967295
PARAM_VALUE 1 skb->cb->qp->ibqp.srq_completion.wait.lock.owner_cpu 0-4294967295
PARAM_VALUE 1 skb->cb->qp->ibqp.usecnt.counter s32min-s32max
PARAM_VALUE 1 skb->cb->qp->is_user 0-1
PARAM_VALUE 1 skb->cb->qp->mcg_num.counter s32min-s32max
PARAM_VALUE 1 skb->cb->qp->mtu 0-4294967295
PARAM_VALUE 1 skb->cb->qp->need_req_skb s32min-s32max
PARAM_VALUE 1 skb->cb->qp->pri_av.dgid_addr._sockaddr_in.sin_family 0-u16max
PARAM_VALUE 1 skb->cb->qp->pri_av.dgid_addr._sockaddr_in.sin_port 0-u16max
PARAM_VALUE 1 skb->cb->qp->pri_av.dgid_addr._sockaddr_in6.sin6_family 0-u16max
PARAM_VALUE 1 skb->cb->qp->pri_av.dgid_addr._sockaddr_in6.sin6_flowinfo 0-4294967295
PARAM_VALUE 1 skb->cb->qp->pri_av.dgid_addr._sockaddr_in6.sin6_port 0-u16max
PARAM_VALUE 1 skb->cb->qp->pri_av.dgid_addr._sockaddr_in6.sin6_scope_id 0-4294967295
PARAM_VALUE 1 skb->cb->qp->pri_av.grh.flow_label 0-4294967295
PARAM_VALUE 1 skb->cb->qp->pri_av.grh.hop_limit 0-255
PARAM_VALUE 1 skb->cb->qp->pri_av.grh.sgid_index 0-255
PARAM_VALUE 1 skb->cb->qp->pri_av.grh.traffic_class 0-255
PARAM_VALUE 1 skb->cb->qp->pri_av.network_type 0-255
PARAM_VALUE 1 skb->cb->qp->pri_av.port_num 0-255
PARAM_VALUE 1 skb->cb->qp->pri_av.sgid_addr._sockaddr_in.sin_family 0-u16max
PARAM_VALUE 1 skb->cb->qp->pri_av.sgid_addr._sockaddr_in.sin_port 0-u16max
PARAM_VALUE 1 skb->cb->qp->pri_av.sgid_addr._sockaddr_in6.sin6_family 0-u16max
PARAM_VALUE 1 skb->cb->qp->pri_av.sgid_addr._sockaddr_in6.sin6_flowinfo 0-4294967295
PARAM_VALUE 1 skb->cb->qp->pri_av.sgid_addr._sockaddr_in6.sin6_port 0-u16max
PARAM_VALUE 1 skb->cb->qp->pri_av.sgid_addr._sockaddr_in6.sin6_scope_id 0-4294967295
PARAM_VALUE 1 skb->cb->qp->recv_task.ret s32min-s32max
PARAM_VALUE 1 skb->cb->qp->recv_task.state s32min-(-1),1-s32max
PARAM_VALUE 1 skb->cb->qp->req.again s32min-s32max
PARAM_VALUE 1 skb->cb->qp->req.need_rd_atomic s32min-s32max
PARAM_VALUE 1 skb->cb->qp->req.need_retry s32min-s32max
PARAM_VALUE 1 skb->cb->qp->req.noack_pkts s32min-s32max
PARAM_VALUE 1 skb->cb->qp->req.opcode s32min-s32max
PARAM_VALUE 1 skb->cb->qp->req.psn 0-4294967295
PARAM_VALUE 1 skb->cb->qp->req.rd_atomic.counter s32min-s32max
PARAM_VALUE 1 skb->cb->qp->req.wait_fence s32min-s32max
PARAM_VALUE 1 skb->cb->qp->req.wait_for_rnr_timer s32min-s32max
PARAM_VALUE 1 skb->cb->qp->req.wait_psn s32min-s32max
PARAM_VALUE 1 skb->cb->qp->req.wqe_index s32min-s32max
PARAM_VALUE 1 skb->cb->qp->req_pkts.qlen 0-4294967295
PARAM_VALUE 1 skb->cb->qp->resp.ack_psn 0-4294967295
PARAM_VALUE 1 skb->cb->qp->resp.aeth_syndrome 0-255
PARAM_VALUE 1 skb->cb->qp->resp.drop_msg s32min-s32max
PARAM_VALUE 1 skb->cb->qp->resp.goto_error s32min-s32max
PARAM_VALUE 1 skb->cb->qp->resp.length 0-4294967295
PARAM_VALUE 1 skb->cb->qp->resp.msn 0-4294967295
PARAM_VALUE 1 skb->cb->qp->resp.opcode s32min-s32max
PARAM_VALUE 1 skb->cb->qp->resp.psn 0-4294967295
PARAM_VALUE 1 skb->cb->qp->resp.res_head 0-4294967295
PARAM_VALUE 1 skb->cb->qp->resp.res_tail 0-4294967295
PARAM_VALUE 1 skb->cb->qp->resp.resid 0-4294967295
PARAM_VALUE 1 skb->cb->qp->resp.rkey 0-4294967295
PARAM_VALUE 1 skb->cb->qp->resp.sent_psn_nak s32min-s32max
PARAM_VALUE 1 skb->cb->qp->resp.srq_wqe.wqe.dma.cur_sge 0-4294967295
PARAM_VALUE 1 skb->cb->qp->resp.srq_wqe.wqe.dma.length 0-4294967295
PARAM_VALUE 1 skb->cb->qp->resp.srq_wqe.wqe.dma.num_sge 0-4294967295
PARAM_VALUE 1 skb->cb->qp->resp.srq_wqe.wqe.dma.reserved 0-4294967295
PARAM_VALUE 1 skb->cb->qp->resp.srq_wqe.wqe.dma.resid 0-4294967295
PARAM_VALUE 1 skb->cb->qp->resp.srq_wqe.wqe.dma.sge_offset 0-4294967295
PARAM_VALUE 1 skb->cb->qp->resp.srq_wqe.wqe.padding 0-4294967295
PARAM_VALUE 1 skb->cb->qp->resp.srq_wqe.wqe.reserved 0-4294967295
PARAM_VALUE 1 skb->cb->qp->resp.status 0-4294967295
PARAM_VALUE 1 skb->cb->qp->resp_pkts.qlen 0-4294967295
PARAM_VALUE 1 skb->cb->qp->retrans_timer.flags 0-4294967295
PARAM_VALUE 1 skb->cb->qp->rnr_nak_timer.flags 0-4294967295
PARAM_VALUE 1 skb->cb->qp->rq.max_sge s32min-s32max
PARAM_VALUE 1 skb->cb->qp->rq.max_wr s32min-s32max
PARAM_VALUE 1 skb->cb->qp->send_task.ret s32min-s32max
PARAM_VALUE 1 skb->cb->qp->send_task.state s32min-(-1),1-s32max
PARAM_VALUE 1 skb->cb->qp->skb_out.counter s32min-s32max
PARAM_VALUE 1 skb->cb->qp->sq.max_inline s32min-s32max
PARAM_VALUE 1 skb->cb->qp->sq.max_sge s32min-s32max
PARAM_VALUE 1 skb->cb->qp->sq.max_wr s32min-s32max
PARAM_VALUE 1 skb->cb->qp->sq_sig_type 0-4294967295
PARAM_VALUE 1 skb->cb->qp->src_port 0-u16max
PARAM_VALUE 1 skb->cb->qp->ssn.counter s32min-s32max
PARAM_VALUE 1 skb->cb->qp->valid 1-4294967295
PARAM_VALUE 1 skb->cb->rxe->ib_dev.refcount.refs.counter s32min-s32max
PARAM_VALUE 1 skb->cb->rxe->ib_dev.unreg_completion.done 0-4294967295
PARAM_VALUE 1 skb->cb->rxe->ib_dev.unreg_completion.wait.lock.dep_map->name 0-255
PARAM_VALUE 1 skb->cb->rxe->ib_dev.unreg_completion.wait.lock.owner (-1)
PARAM_VALUE 1 skb->cb->rxe->ib_dev.unreg_completion.wait.lock.owner_cpu 4294967295
PARAM_VALUE 1 skb->cb->rxe->ib_dev.unreg_completion.wait.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 1 skb->cb->rxe->max_inline_data 512
PARAM_VALUE 1 skb->cb->rxe->max_ucontext 1048576
PARAM_VALUE 1 skb->cb->rxe->mcg_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 skb->cb->rxe->port.attr.bad_pkey_cntr 0-u16max
PARAM_VALUE 1 skb->cb->rxe->port.attr.qkey_viol_cntr 0-u16max
PARAM_VALUE 1 skb->cb->rxe->port.port_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 skb->data->flags 0-255
PARAM_VALUE 1 skb->data->length 0-u16max
PARAM_VALUE 1 skb->data->type 0-255
PARAM_VALUE 1 skb->dev 4096-ptr_max
PARAM_VALUE 1 skb->dev->dev_addr 4096-ptr_max
PARAM_VALUE 1 skb->dev->dsa_ptr 0,4096-ptr_max
PARAM_VALUE 1 skb->dev->l3mdev_ops 4096-ptr_max
PARAM_VALUE 1 skb->dev->nd_net.net->ipv4.fib_main->tb_data->kv->key 0-4294967295
PARAM_VALUE 1 skb->dev->nd_net.net->ipv4.fqdir->f->frag_expire 0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560
PARAM_VALUE 1 skb->dev->nd_net.net->ipv4.fqdir->f->qsize 0,304,320
PARAM_VALUE 1 skb->dev->ndisc_ops->fill_addr_option 4096-ptr_max
PARAM_VALUE 1 skb->dev->ndisc_ops->parse_options 4096-ptr_max
PARAM_VALUE 1 skb->dev->ndisc_ops->update 4096-ptr_max
PARAM_VALUE 1 skb->dev->priv->addrcnt 0-4294967295
PARAM_VALUE 1 skb->dev->priv->arfs->filter_count s32min-s32max
PARAM_VALUE 1 skb->dev->priv->arfs->mode 0-4
PARAM_VALUE 1 skb->dev->priv->fdb_hash_tbl.nelems.counter s32min-s32max
PARAM_VALUE 1 skb->dev->priv->fdb_hash_tbl.run_irq_work.node.a_flags.counter s32min-s32max
PARAM_VALUE 1 skb->dev->priv->fdb_hash_tbl.tbl->dep_map->name 0-255
PARAM_VALUE 1 skb->dev->priv->fdb_hash_tbl.tbl->hash_rnd 0-4294967295
PARAM_VALUE 1 skb->dev->priv->fdb_hash_tbl.tbl->nest 0-4294967295
PARAM_VALUE 1 skb->dev->priv->fdb_hash_tbl.tbl->size 0-4294967295
PARAM_VALUE 1 skb->dev->priv->hash_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 skb->dev->priv->last_filter_id s32min-s32max
PARAM_VALUE 1 skb->dev->priv->ntp_fltr_count s32min-s32max
PARAM_VALUE 1 skb->dev->priv->sp_task.cpu s32min-s32max
PARAM_VALUE 1 skb->dev->priv->sp_task.timer.flags 0-4294967295
PARAM_VALUE 1 skb->dev->priv->sp_task.timer.is_hard 0-1
PARAM_VALUE 1 skb->dev->priv->sp_task.timer.is_lazy 0-1
PARAM_VALUE 1 skb->dev->priv->sp_task.timer.is_queued 0-1
PARAM_VALUE 1 skb->dev->priv->sp_task.timer.is_soft 0-1
PARAM_VALUE 1 skb->dev->rtnl_link_ops->maxtype 0-6,8-10,15,18,20,22,24,34,50
PARAM_VALUE 1 skb->dev->rtnl_link_ops->priv_size 0,8,32,40,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,744,1056,1128,1336,1616,2176,2240,2272,2560,3296,3544,3552,3720,9688-u64max
PARAM_VALUE 1 skb->next->sk->__sk_common.skc_net.net->notrefcnt_tracker.dead 1
PARAM_VALUE 1 skb->next->sk->__sk_common.skc_net.net->refcnt_tracker.dead 1
PARAM_VALUE 1 skb->next->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 1 skb->next->sk->ns_tracker->dead 0-1
PARAM_VALUE 1 skb->next->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 1 skb->next->sk->sk_bpf_storage->owner_refcnt.refs.counter s32min-s32max
PARAM_VALUE 1 skb->next->sk->sk_callback_lock.owner (-1)
PARAM_VALUE 1 skb->next->sk->sk_callback_lock.owner_cpu u32max
PARAM_VALUE 1 skb->next->sk->sk_callback_lock.raw_lock.cnts.counter 0-s32max
PARAM_VALUE 1 skb->next->sk->sk_callback_lock.raw_lock.wlocked 0
PARAM_VALUE 1 skb->next->sk->sk_reuseport_cb 0
PARAM_VALUE 1 skb->next->sk->sk_user_data 0
PARAM_VALUE 1 skb->sk->__sk_common.skc_net.net->notrefcnt_tracker.dead 1
PARAM_VALUE 1 skb->sk->__sk_common.skc_net.net->notrefcnt_tracker.quarantine.prev 4096-ptr_max
PARAM_VALUE 1 skb->sk->__sk_common.skc_net.net->refcnt_tracker.dead 1
PARAM_VALUE 1 skb->sk->__sk_common.skc_refcnt.refs.counter (-1073741824),0-s32max
PARAM_VALUE 1 skb->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 1 skb->sk->ns_tracker->dead 0-1
PARAM_VALUE 1 skb->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 1 skb->sk->sk_bpf_storage->owner_refcnt.refs.counter s32min-s32max
PARAM_VALUE 1 skb->sk->sk_filter 0
PARAM_VALUE 1 skb->sk->sk_filter->rcu.func 1-u64max
PARAM_VALUE 1 skb->sk->sk_filter->rcu.next 0
PARAM_VALUE 1 skb->sk->sk_frag.page 0
PARAM_VALUE 1 skb->sk->sk_owner->refcnt.counter 0-s32max
PARAM_VALUE 1 skb->sk->sk_prot_creator->owner->refcnt.counter 0-s32max
PARAM_VALUE 1 skb->sk->sk_rcu.func 1-u64max
PARAM_VALUE 1 skb->sk->sk_rcu.next 0
PARAM_VALUE 1 skb->sk->sk_reuseport_cb->rcu.func 1-u64max
PARAM_VALUE 1 skb->sk->sk_reuseport_cb->rcu.next 0
PARAM_VALUE 1 skb->sk->sk_security 0
PARAM_VALUE 1 skb->sk->sk_user_data 0
PARAM_VALUE 1 *skb->cb 0-255
PARAM_VALUE 1 *skb->cb->hdr 0-255
PARAM_VALUE 1 *skb->dev->name 0-255
PARAM_VALUE 2 nexthdr 1-s32max
PARAM_VALUE 3 have_final 1
CAPPED_DATA 1 skb 1
CAPPED_DATA 1 skb->dev->nd_net.net 1
DATA_SOURCE 1 skb $1 [m]
DATA_SOURCE 2 nexthdr r udpv6_queue_rcv_one_skb
CONSTRAINT 1 skb->data_len <=49
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 skb->data_len 0-u32max[c]
HOST_DATA 1 skb->len 0-u32max[c]
HOST_DATA 1 skb->next->csum_offset 0
HOST_DATA 1 skb->next->data_len 0-u32max[c]
HOST_DATA 1 skb->next->len 0-u32max[c]
HOST_DATA 1 skb->prev->csum_offset 0-u16max
HOST_DATA 1 skb->prev->data_len 0-u32max[c]
HOST_DATA 1 skb->prev->len 0-u32max[c]
HOST_DATA 1 skb->prev->tstamp 500000002-4294967299794967295[c]
HOST_DATA 1 skb->users.refs.counter s32min-0,2-s32max
HOST_DATA 1 *skb->data 0-255
NO_OVERFLOW_SIMPLE 1 skb->data_len
NO_OVERFLOW_SIMPLE 1 skb->dev->group
NO_OVERFLOW_SIMPLE 1 skb->dev->num_tc
NO_OVERFLOW_SIMPLE 1 skb->dev->proto_down
NO_OVERFLOW_SIMPLE 1 skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE 1 skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE 1 skb->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE 1 skb->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE 1 skb->dev->tx_queue_len
NO_OVERFLOW_SIMPLE 1 skb->end
NO_OVERFLOW_SIMPLE 1 skb->len
NO_OVERFLOW_SIMPLE 1 skb->next->end
NO_OVERFLOW_SIMPLE 1 skb->next->len
NO_OVERFLOW_SIMPLE 1 skb->next->tail
NO_OVERFLOW_SIMPLE 1 skb->next->truesize
NO_OVERFLOW_SIMPLE 1 skb->prev->data_len
NO_OVERFLOW_SIMPLE 1 skb->prev->end
NO_OVERFLOW_SIMPLE 1 skb->prev->len
NO_OVERFLOW_SIMPLE 1 skb->prev->tail
NO_OVERFLOW_SIMPLE 1 skb->prev->truesize
NO_OVERFLOW_SIMPLE 1 skb->sk->sk_backlog.len
NO_OVERFLOW_SIMPLE 1 skb->tail
NO_OVERFLOW_SIMPLE 1 skb->truesize
UNITS 1 skb unit_byte