Defined in 1 files as a function:

Referenced in 9 files:

Smatch caller information:

net/ipv4/tcp_offload.c __tcpv4_gso_segment_csum() -> csum_replace4()

Type Parameter Key Value
PARAM_VALUE 0 sum 4096-ptr_max
DATA_SOURCE 2 to $2
NOCHECK_CALL
UNITS 1 from unit_byte
UNITS 2 to unit_byte

net/core/filter.c ____bpf_l3_csum_replace() -> csum_replace4()

Type Parameter Key Value
PARAM_VALUE 0 sum 4096-ptr_max
PARAM_VALUE 0 *sum 0-255
DATA_SOURCE 1 from $2
DATA_SOURCE 2 to $3
NOCHECK_CALL
USER_DATA 0 *sum 0-255[u]
UNITS 0 sum unit_byte
USER_PTR 0 sum

net/ipv4/udp_offload.c __udpv4_gso_segment_csum() -> csum_replace4()

Type Parameter Key Value
PARAM_VALUE 0 sum 4096-ptr_max
NOCHECK_CALL

net/netfilter/nft_payload.c nft_csum_replace() -> csum_replace4()

Type Parameter Key Value
PARAM_VALUE 0 sum 566230729824153600,6312506283437027328
DATA_SOURCE 0 sum $0
DATA_SOURCE 1 from $1
DATA_SOURCE 2 to $2
NOCHECK_CALL

net/sched/act_nat.c tcf_nat_act() -> csum_replace4()

Type Parameter Key Value
PARAM_VALUE 0 sum 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 from unit_byte
HALF_LOCKED2 rcu_read

net/netfilter/nf_nat_proto.c nf_nat_ipv4_manip_pkt() -> csum_replace4()

Type Parameter Key Value
PARAM_VALUE 0 sum 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 *sum 0-u16max[u]
USER_DATA 1 from 0-u32max[u]
UNITS 1 from unit_byte
UNITS 2 to unit_byte
USER_PTR 0 sum

net/netfilter/nf_nat_proto.c nf_nat_ipv4_manip_pkt() -> csum_replace4()

Type Parameter Key Value
PARAM_VALUE 0 sum 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 *sum 0-u16max[u]
USER_DATA 1 from 0-u32max[u]
UNITS 1 from unit_byte
UNITS 2 to unit_byte
USER_PTR 0 sum

net/netfilter/nf_flow_table_ip.c nf_flow_dnat_ip() -> csum_replace4()

Type Parameter Key Value
PARAM_VALUE 0 sum 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 from unit_byte
UNITS 2 to unit_byte
HALF_LOCKED2 rcu_read

net/netfilter/nf_flow_table_ip.c nf_flow_snat_ip() -> csum_replace4()

Type Parameter Key Value
PARAM_VALUE 0 sum 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 from unit_byte
UNITS 2 to unit_byte
HALF_LOCKED2 rcu_read

net/openvswitch/actions.c set_ip_addr() -> csum_replace4()

Type Parameter Key Value
PARAM_VALUE 0 sum 4096-ptr_max
DATA_SOURCE 2 to $3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 to 0-u32max
UNITS 2 to unit_byte

net/core/utils.c inet_proto_csum_replace4() -> csum_replace4()

Type Parameter Key Value
PARAM_VALUE 0 sum 4096-ptr_max
DATA_SOURCE 0 sum $0
DATA_SOURCE 1 from $2
DATA_SOURCE 2 to $3
STR_LEN 0 sum (-1),5,16,23
STR_LEN 0 sum (-1),5,16,23
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 to 0-999999999[c]
USER_DATA 0 *sum 0-u16max[u]
USER_DATA 1 from 0-u32max
USER_DATA 2 to 0-u32max
UNITS 0 sum unit_byte
UNITS 1 from unit_byte
UNITS 2 to unit_byte
USER_PTR 0 sum
HALF_LOCKED2 &ct->lock
HALF_LOCKED2 bh