Defined in 2 files as a member:
- drivers/net/ethernet/mellanox/mlx5/core/en/tc/act/act.h, line 22 (as a member)
- include/net/flow_offload.h, line 311 (as a member)
Defined in 1 files as a function:
Referenced in 5 files:
- drivers/net/ethernet/mellanox/mlx5/core/en/tc/act/mirred.c
- drivers/net/ethernet/mellanox/mlx5/core/en/tc/act/mpls.c
- drivers/net/ethernet/netronome/nfp/flower/action.c
- net/core/pktgen.c
- net/sched/act_mpls.c
Smatch caller information:
net/core/pktgen.c fill_packet_ipv4() -> mpls_push()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mpls | 4096-ptr_max |
| PARAM_VALUE | 1 | pkt_dev | 4096-ptr_max |
| PARAM_VALUE | 1 | pkt_dev->delay | 0-18446744073709551614 |
| PARAM_VALUE | 1 | pkt_dev->flows | 4096-ptr_max |
| PARAM_VALUE | 1 | pkt_dev->last_ok | s32min-(-1),1-s32max |
| PARAM_VALUE | 1 | pkt_dev->nr_labels | 1-u32max |
| PARAM_VALUE | 1 | pkt_dev->odev | 4096-ptr_max |
| PARAM_VALUE | 1 | pkt_dev->skb | 0,4096-ptr_max |
| PARAM_VALUE | 1 | pkt_dev->skb->_nfct | 0 |
| PARAM_VALUE | 1 | pkt_dev->skb->_skb_refdst | 0 |
| PARAM_VALUE | 1 | pkt_dev->skb->active_extensions | 0 |
| PARAM_VALUE | 1 | pkt_dev->skb->destructor | 0 |
| PARAM_VALUE | 1 | pkt_dev->skb->dev->ip6_ptr->mc_query_work.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 1 | pkt_dev->skb->dev->ip6_ptr->mc_query_work.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 1 | pkt_dev->skb->dev->ip6_ptr->mc_query_work.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 1 | pkt_dev->skb->dev->ip6_ptr->mc_report_work.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 1 | pkt_dev->skb->dev->ip6_ptr->mc_report_work.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 1 | pkt_dev->skb->dev->ip6_ptr->mc_report_work.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 1 | pkt_dev->skb->dev->ip6_ptr->stats.proc_dir_entry | 0,4806605944481423360 |
| PARAM_VALUE | 1 | pkt_dev->skb->dev->nd_net.net->ipv4.fqdir->f->frag_expire | 0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560 |
| PARAM_VALUE | 1 | pkt_dev->skb->dev->nd_net.net->ipv4.fqdir->f->qsize | 0,304,320 |
| PARAM_VALUE | 1 | pkt_dev->skb->dev->ndisc_ops->fill_addr_option | 4096-ptr_max |
| PARAM_VALUE | 1 | pkt_dev->skb->dev->ndisc_ops->parse_options | 4096-ptr_max |
| PARAM_VALUE | 1 | pkt_dev->skb->sk | 0 |
| PARAM_VALUE | 1 | pkt_dev->skb->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | pkt_dev->skb->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | pkt_dev->skb->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | pkt_dev->skb->sk->sk_bpf_storage->owner_refcnt.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | pkt_dev->skb->sk->sk_rcu.func | 1-u64max |
| PARAM_VALUE | 1 | pkt_dev->svlan_id | 0 |
| PARAM_VALUE | 1 | *pkt_dev->cur_in6_daddr.in6_u.u6_addr32 | 0-4294967295 |
| PARAM_VALUE | 1 | *pkt_dev->labels | 0-4294967295 |
| CAPPED_DATA | 1 | pkt_dev->cflows | 1 |
| CAPPED_DATA | 1 | pkt_dev->dst_mac_count | 1 |
| CAPPED_DATA | 1 | pkt_dev->max_pkt_size | 1 |
| CAPPED_DATA | 1 | pkt_dev->skb | 1 |
| CAPPED_DATA | 1 | pkt_dev->src_mac_count | 1 |
| CAPPED_DATA | 1 | pkt_dev->udp_dst_max | 1 |
| CAPPED_DATA | 1 | pkt_dev->udp_src_max | 1 |
| DATA_SOURCE | 0 | mpls | r skb_put |
| DATA_SOURCE | 1 | pkt_dev | $1 |
| BIT_INFO | 1 | pkt_dev->flags | 0x0,0xfffffffe |
| NOCHECK_CALL |
net/core/pktgen.c fill_packet_ipv6() -> mpls_push()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mpls | 4096-ptr_max |
| PARAM_VALUE | 1 | pkt_dev | 4096-ptr_max |
| PARAM_VALUE | 1 | pkt_dev->delay | 0-18446744073709551614 |
| PARAM_VALUE | 1 | pkt_dev->flags | 1-u32max |
| PARAM_VALUE | 1 | pkt_dev->flows | 4096-ptr_max |
| PARAM_VALUE | 1 | pkt_dev->last_ok | s32min-(-1),1-s32max |
| PARAM_VALUE | 1 | pkt_dev->nr_labels | 1-u32max |
| PARAM_VALUE | 1 | pkt_dev->odev | 4096-ptr_max |
| PARAM_VALUE | 1 | pkt_dev->skb | 0,4096-ptr_max |
| PARAM_VALUE | 1 | pkt_dev->skb->_nfct | 0 |
| PARAM_VALUE | 1 | pkt_dev->skb->_skb_refdst | 0 |
| PARAM_VALUE | 1 | pkt_dev->skb->active_extensions | 0 |
| PARAM_VALUE | 1 | pkt_dev->skb->destructor | 0 |
| PARAM_VALUE | 1 | pkt_dev->skb->dev->ip6_ptr->mc_query_work.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 1 | pkt_dev->skb->dev->ip6_ptr->mc_query_work.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 1 | pkt_dev->skb->dev->ip6_ptr->mc_query_work.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 1 | pkt_dev->skb->dev->ip6_ptr->mc_report_work.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 1 | pkt_dev->skb->dev->ip6_ptr->mc_report_work.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 1 | pkt_dev->skb->dev->ip6_ptr->mc_report_work.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 1 | pkt_dev->skb->dev->ip6_ptr->stats.proc_dir_entry | 0,4806605944481423360 |
| PARAM_VALUE | 1 | pkt_dev->skb->dev->nd_net.net->ipv4.fqdir->f->frag_expire | 0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560 |
| PARAM_VALUE | 1 | pkt_dev->skb->dev->nd_net.net->ipv4.fqdir->f->qsize | 0,304,320 |
| PARAM_VALUE | 1 | pkt_dev->skb->dev->ndisc_ops->fill_addr_option | 4096-ptr_max |
| PARAM_VALUE | 1 | pkt_dev->skb->dev->ndisc_ops->parse_options | 4096-ptr_max |
| PARAM_VALUE | 1 | pkt_dev->skb->sk | 0 |
| PARAM_VALUE | 1 | pkt_dev->skb->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | pkt_dev->skb->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | pkt_dev->skb->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | pkt_dev->skb->sk->sk_bpf_storage->owner_refcnt.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | pkt_dev->skb->sk->sk_rcu.func | 1-u64max |
| PARAM_VALUE | 1 | pkt_dev->svlan_id | 0 |
| PARAM_VALUE | 1 | *pkt_dev->cur_in6_daddr.in6_u.u6_addr32 | 0-4294967295 |
| PARAM_VALUE | 1 | *pkt_dev->labels | 0-4294967295 |
| CAPPED_DATA | 1 | pkt_dev->cflows | 1 |
| CAPPED_DATA | 1 | pkt_dev->dst_mac_count | 1 |
| CAPPED_DATA | 1 | pkt_dev->max_pkt_size | 1 |
| CAPPED_DATA | 1 | pkt_dev->skb | 1 |
| CAPPED_DATA | 1 | pkt_dev->src_mac_count | 1 |
| CAPPED_DATA | 1 | pkt_dev->udp_dst_max | 1 |
| CAPPED_DATA | 1 | pkt_dev->udp_src_max | 1 |
| DATA_SOURCE | 0 | mpls | r skb_put |
| DATA_SOURCE | 1 | pkt_dev | $1 |
| BIT_INFO | 1 | pkt_dev->flags | 0x1,0xffffffff |
| NOCHECK_CALL |