Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/ipv4/fou_core.c skb_gro_remcsum_process() -> remcsum_adjust()

Type Parameter Key Value
PARAM_VALUE 2 start 0-u16max
PARAM_VALUE 3 offset 0-u16max
DATA_SOURCE 2 start $4
DATA_SOURCE 3 offset $5
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 start 0-u16max
USER_DATA 3 offset 0-u16max
UNITS 0 ptr unit_byte
UNITS 3 offset unit_byte
HALF_LOCKED2 rcu_read

net/ipv4/fou_core.c skb_remcsum_process() -> remcsum_adjust()

Type Parameter Key Value
PARAM_VALUE 2 start 0-u16max
PARAM_VALUE 3 offset 0-u16max
DATA_SOURCE 0 ptr $1
DATA_SOURCE 2 start $2
DATA_SOURCE 3 offset $3
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 csum 0-4294967040[c]
USER_DATA 2 start 0-u16max
USER_DATA 3 offset 0-u16max
UNITS 0 ptr unit_byte
UNITS 3 offset unit_byte

drivers/net/vxlan/vxlan_core.c skb_gro_remcsum_process() -> remcsum_adjust()

Type Parameter Key Value
PARAM_VALUE 2 start 0,2-254
PARAM_VALUE 3 offset 6,8-270
DATA_SOURCE 2 start $4
DATA_SOURCE 3 offset $5
RX_PATH
TASK_NOT_RUNNING
UNITS 0 ptr unit_byte
UNITS 3 offset unit_byte
HALF_LOCKED2 rcu_read

drivers/net/vxlan/vxlan_core.c skb_remcsum_process() -> remcsum_adjust()

Type Parameter Key Value
PARAM_VALUE 0 ptr 4096-ptr_max
PARAM_VALUE 2 start 0,2-254
PARAM_VALUE 3 offset 6,8-270
DATA_SOURCE 0 ptr $1
DATA_SOURCE 2 start $2
DATA_SOURCE 3 offset $3
RX_PATH
TASK_NOT_RUNNING
UNITS 3 offset unit_byte