Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/core/pktgen.c fill_packet_ipv4() -> mod_cur_headers()

Type Parameter Key Value
PARAM_VALUE 0 pkt_dev 4096-ptr_max
PARAM_VALUE 0 pkt_dev->delay 0-18446744073709551614
PARAM_VALUE 0 pkt_dev->last_ok s32min-(-1),1-s32max
PARAM_VALUE 0 pkt_dev->odev 4096-ptr_max
PARAM_VALUE 0 pkt_dev->skb 0,4096-ptr_max
PARAM_VALUE 0 pkt_dev->skb->_nfct 0
PARAM_VALUE 0 pkt_dev->skb->_skb_refdst 0
PARAM_VALUE 0 pkt_dev->skb->active_extensions 0
PARAM_VALUE 0 pkt_dev->skb->destructor 0
PARAM_VALUE 0 pkt_dev->skb->dev->ip6_ptr->mc_query_work.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 pkt_dev->skb->dev->ip6_ptr->mc_query_work.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 pkt_dev->skb->dev->ip6_ptr->mc_query_work.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 pkt_dev->skb->dev->ip6_ptr->mc_report_work.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 pkt_dev->skb->dev->ip6_ptr->mc_report_work.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 pkt_dev->skb->dev->ip6_ptr->mc_report_work.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 pkt_dev->skb->dev->ip6_ptr->stats.proc_dir_entry 0,4806605944481423360
PARAM_VALUE 0 pkt_dev->skb->dev->nd_net.net->ipv4.fqdir->f->frag_expire 0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560
PARAM_VALUE 0 pkt_dev->skb->dev->nd_net.net->ipv4.fqdir->f->qsize 0,304,320
PARAM_VALUE 0 pkt_dev->skb->dev->ndisc_ops->fill_addr_option 4096-ptr_max
PARAM_VALUE 0 pkt_dev->skb->dev->ndisc_ops->parse_options 4096-ptr_max
PARAM_VALUE 0 pkt_dev->skb->sk 0
PARAM_VALUE 0 pkt_dev->skb->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 pkt_dev->skb->sk->ns_tracker->dead 0-1
PARAM_VALUE 0 pkt_dev->skb->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 pkt_dev->skb->sk->sk_bpf_storage->owner_refcnt.refs.counter s32min-s32max
PARAM_VALUE 0 pkt_dev->skb->sk->sk_rcu.func 1-u64max
PARAM_VALUE 0 *pkt_dev->cur_in6_daddr.in6_u.u6_addr32 0-4294967295
PARAM_VALUE 0 *pkt_dev->labels 0-4294967295
CAPPED_DATA 0 pkt_dev->skb 1
DATA_SOURCE 0 pkt_dev $1
BIT_INFO 0 pkt_dev->flags 0x0,0xfffffffe
NOCHECK_CALL

net/core/pktgen.c fill_packet_ipv6() -> mod_cur_headers()

Type Parameter Key Value
PARAM_VALUE 0 pkt_dev 4096-ptr_max
PARAM_VALUE 0 pkt_dev->delay 0-18446744073709551614
PARAM_VALUE 0 pkt_dev->flags 1-u32max
PARAM_VALUE 0 pkt_dev->last_ok s32min-(-1),1-s32max
PARAM_VALUE 0 pkt_dev->odev 4096-ptr_max
PARAM_VALUE 0 pkt_dev->skb 0,4096-ptr_max
PARAM_VALUE 0 pkt_dev->skb->_nfct 0
PARAM_VALUE 0 pkt_dev->skb->_skb_refdst 0
PARAM_VALUE 0 pkt_dev->skb->active_extensions 0
PARAM_VALUE 0 pkt_dev->skb->destructor 0
PARAM_VALUE 0 pkt_dev->skb->dev->ip6_ptr->mc_query_work.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 pkt_dev->skb->dev->ip6_ptr->mc_query_work.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 pkt_dev->skb->dev->ip6_ptr->mc_query_work.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 pkt_dev->skb->dev->ip6_ptr->mc_report_work.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 pkt_dev->skb->dev->ip6_ptr->mc_report_work.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 pkt_dev->skb->dev->ip6_ptr->mc_report_work.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 pkt_dev->skb->dev->ip6_ptr->stats.proc_dir_entry 0,4806605944481423360
PARAM_VALUE 0 pkt_dev->skb->dev->nd_net.net->ipv4.fqdir->f->frag_expire 0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560
PARAM_VALUE 0 pkt_dev->skb->dev->nd_net.net->ipv4.fqdir->f->qsize 0,304,320
PARAM_VALUE 0 pkt_dev->skb->dev->ndisc_ops->fill_addr_option 4096-ptr_max
PARAM_VALUE 0 pkt_dev->skb->dev->ndisc_ops->parse_options 4096-ptr_max
PARAM_VALUE 0 pkt_dev->skb->sk 0
PARAM_VALUE 0 pkt_dev->skb->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 pkt_dev->skb->sk->ns_tracker->dead 0-1
PARAM_VALUE 0 pkt_dev->skb->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 pkt_dev->skb->sk->sk_bpf_storage->owner_refcnt.refs.counter s32min-s32max
PARAM_VALUE 0 pkt_dev->skb->sk->sk_rcu.func 1-u64max
PARAM_VALUE 0 *pkt_dev->cur_in6_daddr.in6_u.u6_addr32 0-4294967295
PARAM_VALUE 0 *pkt_dev->labels 0-4294967295
CAPPED_DATA 0 pkt_dev->skb 1
DATA_SOURCE 0 pkt_dev $1
BIT_INFO 0 pkt_dev->flags 0x1,0xffffffff
NOCHECK_CALL