Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

net/ipv6/esp6.c esp_remove_trailer() -> csum_block_sub()

Type Parameter Key Value
DATA_SOURCE 1 csum2 r skb_checksum
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 csum 0-4294967040[c]
UNITS 2 offset unit_byte

net/core/skbuff.c pskb_trim_rcsum_complete() -> csum_block_sub()

Type Parameter Key Value
PARAM_VALUE 2 offset s32min-(-2),0-s32max
CAPPED_DATA 2 offset 1
DATA_SOURCE 2 offset $1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 csum 0-4294967041[c]
USER_DATA 1 csum2 0-264209[c]
USER_DATA 2 offset 1-s32max[c]
NO_OVERFLOW_SIMPLE 2 offset
UNITS 2 offset unit_byte
HALF_LOCKED2 &fq->q.lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

net/core/filter.c __skb_postpull_rcsum() -> csum_block_sub()

Type Parameter Key Value
PARAM_VALUE 2 offset 0-s32max
DATA_SOURCE 2 offset $3
UNITS 2 offset unit_byte

net/ipv4/esp4.c esp_remove_trailer() -> csum_block_sub()

Type Parameter Key Value
DATA_SOURCE 1 csum2 r skb_checksum
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 csum 0-4294967040[c]
UNITS 2 offset unit_byte