Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

net/xfrm/xfrm_iptfs.c iptfs_complete_inner_skb() -> INET_ECN_is_ce()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &xtfs->drop_lock

net/xfrm/xfrm_iptfs.c iptfs_complete_inner_skb() -> INET_ECN_is_ce()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &xtfs->drop_lock

drivers/net/geneve.c INET_ECN_encapsulate() -> INET_ECN_is_ce()

Type Parameter Key Value
DATA_SOURCE 0 dsfield $1

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

Type Parameter Key Value
DATA_SOURCE 0 dsfield $0
RX_PATH
TASK_NOT_RUNNING

net/ipv6/ip6_tunnel.c INET_ECN_encapsulate() -> INET_ECN_is_ce()

Type Parameter Key Value
DATA_SOURCE 0 dsfield $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

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

Type Parameter Key Value
DATA_SOURCE 0 dsfield $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read

drivers/net/ethernet/mellanox/mlxsw/spectrum_ipip.c INET_ECN_encapsulate() -> INET_ECN_is_ce()

Type Parameter Key Value
PARAM_VALUE 0 dsfield 0-3
DATA_SOURCE 0 dsfield $1

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

Type Parameter Key Value
PARAM_VALUE 0 dsfield 0-3
DATA_SOURCE 0 dsfield $0

drivers/net/bareudp.c INET_ECN_encapsulate() -> INET_ECN_is_ce()

Type Parameter Key Value
DATA_SOURCE 0 dsfield $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 &dev->tx_global_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags

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

Type Parameter Key Value
DATA_SOURCE 0 dsfield $0
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/mellanox/mlxsw/spectrum_nve.c INET_ECN_encapsulate() -> INET_ECN_is_ce()

Type Parameter Key Value
PARAM_VALUE 0 dsfield 0-3
DATA_SOURCE 0 dsfield $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &devlink->lock

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

Type Parameter Key Value
PARAM_VALUE 0 dsfield 0-3
DATA_SOURCE 0 dsfield $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &devlink->lock

net/netfilter/ipvs/ip_vs_xmit.c INET_ECN_encapsulate() -> INET_ECN_is_ce()

Type Parameter Key Value
DATA_SOURCE 0 dsfield $1
RX_PATH
TASK_NOT_RUNNING

net/ipv6/sit.c INET_ECN_encapsulate() -> INET_ECN_is_ce()

Type Parameter Key Value
DATA_SOURCE 0 dsfield $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

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

Type Parameter Key Value
DATA_SOURCE 0 dsfield $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read

net/ipv4/tcp_input.c tcp_ecn_rcv_synack() -> INET_ECN_is_ce()

Type Parameter Key Value
DATA_SOURCE 0 dsfield $3

net/ipv4/tcp_input.c tcp_ecn_rcv_synack() -> INET_ECN_is_ce()

Type Parameter Key Value
DATA_SOURCE 0 dsfield $3

net/ipv4/tcp_input.c tcp_ecn_received_counters() -> INET_ECN_is_ce()

Type Parameter Key Value
PARAM_VALUE 0 dsfield 0-3
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

drivers/net/wireguard/send.c INET_ECN_encapsulate() -> INET_ECN_is_ce()

Type Parameter Key Value
DATA_SOURCE 0 dsfield $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &wg->device_update_lock
HALF_LOCKED2 &wg->static_identity.lock
HALF_LOCKED2 global &rtnl_mutex

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

Type Parameter Key Value
DATA_SOURCE 0 dsfield $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

net/sctp/protocol.c sctp_v4_is_ce() -> INET_ECN_is_ce()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/xfrm/xfrm_output.c INET_ECN_encapsulate() -> INET_ECN_is_ce()

Type Parameter Key Value
DATA_SOURCE 0 dsfield $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read

net/xfrm/xfrm_input.c ipip6_ecn_decapsulate() -> INET_ECN_is_ce()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

net/xfrm/xfrm_input.c ipip_ecn_decapsulate() -> INET_ECN_is_ce()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

net/ipv4/ip_tunnel.c INET_ECN_encapsulate() -> INET_ECN_is_ce()

Type Parameter Key Value
DATA_SOURCE 0 dsfield $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

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

Type Parameter Key Value
DATA_SOURCE 0 dsfield $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read

net/ipv4/tcp_minisocks.c tcp_ecn_received_counters() -> INET_ECN_is_ce()

Type Parameter Key Value
PARAM_VALUE 0 dsfield 0-3
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read
HALF_LOCKED2 sk

drivers/net/vxlan/vxlan_core.c INET_ECN_encapsulate() -> INET_ECN_is_ce()

Type Parameter Key Value
DATA_SOURCE 0 dsfield $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 bh
HALF_LOCKED2 flags

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

Type Parameter Key Value
DATA_SOURCE 0 dsfield $0
RX_PATH
TASK_NOT_RUNNING