Defined in 1 files as a function:
Referenced in 4 files:
- drivers/net/ethernet/mellanox/mlx5/core/en/tc/int_port.c
- kernel/bpf/cpumap.c, line 809
- net/netfilter/nft_fwd_netdev.c, line 34
- net/sched/act_mirred.c, line 326
Smatch caller information:
drivers/net/ethernet/mellanox/mlx5/core/en/tc/int_port.c mlx5e_tc_int_port_dev_fwd() -> skb_set_redirected()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 1 | from_ingress | 1 |
| BUF_SIZE | 0 | skb | (-1)-s32max |
| BUF_SIZE | 0 | skb | (-1)-s32max |
| CAPPED_DATA | 0 | skb->dev->ifindex | 1 |
| CAPPED_DATA | 0 | skb->skb_iif | 1 |
| DATA_SOURCE | 0 | skb | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | bh |
drivers/net/ethernet/mellanox/mlx5/core/en/tc/int_port.c mlx5e_tc_int_port_dev_fwd() -> skb_set_redirected()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 1 | from_ingress | 0 |
| BUF_SIZE | 0 | skb | (-1)-s32max |
| BUF_SIZE | 0 | skb | (-1)-s32max |
| CAPPED_DATA | 0 | skb->dev->ifindex | 1 |
| CAPPED_DATA | 0 | skb->head | 1 |
| CAPPED_DATA | 0 | skb->skb_iif | 1 |
| DATA_SOURCE | 0 | skb | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | bh |
kernel/bpf/cpumap.c cpu_map_generic_redirect() -> skb_set_redirected()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 1 | from_ingress | 0 |
| CAPPED_DATA | 0 | skb->data_len | 1 |
| DATA_SOURCE | 0 | skb | $1 |
| CONSTRAINT | 0 | skb->data_len | <=49 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read |
net/sched/act_mirred.c tcf_mirred_to_dev() -> skb_set_redirected()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| BUF_SIZE | 0 | skb | (-1)-s32max |
| BUF_SIZE | 0 | skb | (-1)-s32max |
| CAPPED_DATA | 0 | skb | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | skb->csum_offset | 0-u16max |
| HOST_DATA | 0 | skb->data_len | 0-u32max[c] |
| HOST_DATA | 0 | skb->len | 0-u32max[c] |
| HOST_DATA | 0 | skb->truesize | 0-u32max |
| HOST_DATA | 0 | skb->tstamp | 500000002-4294967299794967295[c] |
| HOST_DATA | 0 | skb->users.refs.counter | s32min-0,2-s32max |
| HOST_DATA | 0 | *skb->data | 0-255 |
| NO_OVERFLOW_SIMPLE | 0 | skb->data_len | |
| NO_OVERFLOW_SIMPLE | 0 | skb->end | |
| NO_OVERFLOW_SIMPLE | 0 | skb->len | |
| NO_OVERFLOW_SIMPLE | 0 | skb->tail | |
| NO_OVERFLOW_SIMPLE | 0 | skb->truesize | |
| UNITS | 0 | skb | unit_byte |
net/netfilter/nft_fwd_netdev.c nft_fwd_netdev_eval() -> skb_set_redirected()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | skb->end |