Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/core/skbuff.c pskb_carve_inside_header() -> skb_headers_offset_update()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 1 off 0
BUF_SIZE 0 skb (-1),240
BUF_SIZE 0 skb (-1),240
BUF_SIZE 0 skb->data s32min-s32max
BUF_SIZE 0 skb->head s32min-s32max
DATA_SOURCE 0 skb $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 skb->len
UNITS 0 skb unit_byte

net/core/skbuff.c pskb_carve_inside_nonlinear() -> skb_headers_offset_update()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 1 off 0
BUF_SIZE 0 skb (-1),240
BUF_SIZE 0 skb (-1),240
BUF_SIZE 0 skb->data s32min-s32max
BUF_SIZE 0 skb->head s32min-s32max
DATA_SOURCE 0 skb $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 skb unit_byte

net/core/skbuff.c pskb_expand_head() -> skb_headers_offset_update()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 1 off 0-s32max
BUF_SIZE 0 skb->head s32min-s32max
DATA_SOURCE 0 skb $0
DATA_SOURCE 1 off $1
FUZZY_MAX 1 off 0
NOCHECK_CALL
UNITS 1 off unit_byte

net/core/skbuff.c skb_copy_expand() -> skb_headers_offset_update()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 0 skb->csum_start 0
PARAM_VALUE 0 skb->inner_mac_header 0
PARAM_VALUE 0 skb->inner_network_header 0
PARAM_VALUE 0 skb->inner_transport_header 0
PARAM_VALUE 0 skb->ip_summed 0
PARAM_VALUE 0 skb->mac_header u16max
PARAM_VALUE 0 skb->network_header 0
PARAM_VALUE 0 skb->transport_header u16max
BUF_SIZE 0 skb 0-u32max
BUF_SIZE 0 skb 0-u32max
DATA_SOURCE 0 skb r __alloc_skb
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 skb->tstamp 500000002-4294967299794967295[c]
NO_OVERFLOW_SIMPLE 0 skb->dev->proto_down
UNITS 1 off unit_byte
HALF_LOCKED2 &conn->lock
HALF_LOCKED2 &dev->ethtool->rss_lock
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &mses->lock
HALF_LOCKED2 &port->agg_lock
HALF_LOCKED2 &trf->lock
HALF_LOCKED2 &wl->mutex
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

net/core/skbuff.c skb_pp_cow_data() -> skb_headers_offset_update()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 0 skb->csum_start 0
PARAM_VALUE 0 skb->inner_mac_header 0
PARAM_VALUE 0 skb->inner_network_header 0
PARAM_VALUE 0 skb->inner_transport_header 0
PARAM_VALUE 0 skb->ip_summed 0
PARAM_VALUE 0 skb->mac_header u16max
PARAM_VALUE 0 skb->network_header 0
PARAM_VALUE 0 skb->transport_header u16max
BUF_SIZE 0 skb 1-s32max
BUF_SIZE 0 skb 1-s32max
CAPPED_DATA 0 skb 1
DATA_SOURCE 0 skb r napi_build_skb
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 skb->dev->proto_down
NO_OVERFLOW_SIMPLE 0 skb->end
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

net/core/skbuff.c skb_segment() -> skb_headers_offset_update()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 0 skb->csum_start 0
PARAM_VALUE 0 skb->inner_mac_header 0
PARAM_VALUE 0 skb->inner_network_header 0
PARAM_VALUE 0 skb->inner_transport_header 0
PARAM_VALUE 0 skb->ip_summed 0
PARAM_VALUE 0 skb->mac_header u16max
PARAM_VALUE 0 skb->network_header 0
PARAM_VALUE 0 skb->transport_header u16max
BUF_SIZE 0 skb 0-u32max,u64max
BUF_SIZE 0 skb 0-u32max,u64max
CAPPED_DATA 0 skb->head 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 skb->tstamp 500000002-4294967299794967295[c]
NO_OVERFLOW_SIMPLE 0 skb->len
UNITS 1 off unit_byte

net/core/skbuff.c skb_segment_list() -> skb_headers_offset_update()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
BUF_SIZE 0 skb (-1),240
BUF_SIZE 0 skb (-1),240
CAPPED_DATA 0 skb->head 1
NOCHECK_CALL
UNITS 0 skb unit_byte