Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/geneve.c INET_ECN_decapsulate() -> __INET_ECN_decapsulate()

Type Parameter Key Value
PARAM_VALUE 2 set_ce 4106038192684560384
PARAM_VALUE 2 *set_ce 0
DATA_SOURCE 0 outer $1
DATA_SOURCE 1 inner $2
RX_PATH
TASK_NOT_RUNNING

net/ipv6/ip6_tunnel.c INET_ECN_decapsulate() -> __INET_ECN_decapsulate()

Type Parameter Key Value
PARAM_VALUE 2 set_ce 3591698558417072128
PARAM_VALUE 2 *set_ce 0
DATA_SOURCE 0 outer $1
DATA_SOURCE 1 inner $2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read

drivers/net/ethernet/mellanox/mlxsw/spectrum_ipip.c mlxsw_sp_tunnel_ecn_decap() -> __INET_ECN_decapsulate()

Type Parameter Key Value
PARAM_VALUE 0 outer 0-3
PARAM_VALUE 1 inner 0-3
PARAM_VALUE 2 set_ce 8683787952048787456
PARAM_VALUE 2 *set_ce 0
DATA_SOURCE 0 outer $0
DATA_SOURCE 1 inner $1

drivers/net/bareudp.c INET_ECN_decapsulate() -> __INET_ECN_decapsulate()

Type Parameter Key Value
PARAM_VALUE 2 set_ce 7764193742678917120
PARAM_VALUE 2 *set_ce 0
DATA_SOURCE 0 outer $1
DATA_SOURCE 1 inner $2
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/mellanox/mlxsw/spectrum_nve.c mlxsw_sp_tunnel_ecn_decap() -> __INET_ECN_decapsulate()

Type Parameter Key Value
PARAM_VALUE 0 outer 0-3
PARAM_VALUE 1 inner 0-3
PARAM_VALUE 2 set_ce 4741894946805780480
PARAM_VALUE 2 *set_ce 0
DATA_SOURCE 0 outer $0
DATA_SOURCE 1 inner $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &devlink->lock

net/ipv6/sit.c INET_ECN_decapsulate() -> __INET_ECN_decapsulate()

Type Parameter Key Value
PARAM_VALUE 2 set_ce 6465272443776430080
PARAM_VALUE 2 *set_ce 0
DATA_SOURCE 0 outer $1
DATA_SOURCE 1 inner $2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read

drivers/net/wireguard/receive.c INET_ECN_decapsulate() -> __INET_ECN_decapsulate()

Type Parameter Key Value
PARAM_VALUE 2 set_ce 8194192979478110208
PARAM_VALUE 2 *set_ce 0
DATA_SOURCE 0 outer $1
DATA_SOURCE 1 inner $2
RX_PATH

net/ipv4/ip_tunnel.c INET_ECN_decapsulate() -> __INET_ECN_decapsulate()

Type Parameter Key Value
PARAM_VALUE 2 set_ce 3939133023573454848
PARAM_VALUE 2 *set_ce 0
DATA_SOURCE 0 outer $1
DATA_SOURCE 1 inner $2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read

drivers/net/vxlan/vxlan_core.c INET_ECN_decapsulate() -> __INET_ECN_decapsulate()

Type Parameter Key Value
PARAM_VALUE 2 set_ce 2184026578295361536
PARAM_VALUE 2 *set_ce 0
DATA_SOURCE 0 outer $1
DATA_SOURCE 1 inner $2
RX_PATH
TASK_NOT_RUNNING