Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

net/ipv4/tcp.c tcp_skb_entail() -> __skb_header_release()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
BUF_SIZE 0 skb 320
BUF_SIZE 0 skb 320
DATA_SOURCE 0 skb $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &msk->fallback_lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh
HALF_LOCKED2 sk
HALF_LOCKED2 sk

net/sctp/output.c sctp_packet_gso_append() -> __skb_header_release()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
BUF_SIZE 0 skb 0-s32max
BUF_SIZE 0 skb 0-s32max
DATA_SOURCE 0 skb $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/core/gro.c skb_gro_receive() -> __skb_header_release()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
BUF_SIZE 0 skb (-1)-s32max
BUF_SIZE 0 skb (-1)-s32max
BUF_SIZE 0 skb->dev s32min-(-1),1-s32max
CAPPED_DATA 0 skb->data_len 1
CAPPED_DATA 0 skb->pp_recycle 1
DATA_SOURCE 0 skb $1
CONSTRAINT 0 skb->data_len <=49
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 skb->napi_id 0-u32max
NO_OVERFLOW_SIMPLE 0 skb->data_len
NO_OVERFLOW_SIMPLE 0 skb->dev->group
NO_OVERFLOW_SIMPLE 0 skb->dev->num_tc
NO_OVERFLOW_SIMPLE 0 skb->dev->proto_down
NO_OVERFLOW_SIMPLE 0 skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE 0 skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE 0 skb->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE 0 skb->dev->tx_queue_len
NO_OVERFLOW_SIMPLE 0 skb->end
NO_OVERFLOW_SIMPLE 0 skb->len
NO_OVERFLOW_SIMPLE 0 skb->tail
UNITS 0 skb unit_byte
HALF_LOCKED2 rcu_read

net/ipv4/tcp_output.c tcp_clone_payload() -> __skb_header_release()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
BUF_SIZE 0 skb 320
BUF_SIZE 0 skb 320
DATA_SOURCE 0 skb $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_callback_lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/ipv4/tcp_output.c tcp_connect_queue_skb() -> __skb_header_release()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
BUF_SIZE 0 skb 320
BUF_SIZE 0 skb 320
DATA_SOURCE 0 skb $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 sk

net/ipv4/tcp_output.c tcp_fragment() -> __skb_header_release()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
BUF_SIZE 0 skb 320
BUF_SIZE 0 skb 320
CAPPED_DATA 0 skb->len 1
DATA_SOURCE 0 skb r tcp_stream_alloc_skb
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 skb->data_len 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 skb->data_len
NO_OVERFLOW_SIMPLE 0 skb->len
HALF_LOCKED2 &sk->sk_lock.slock

net/ipv4/tcp_output.c tcp_queue_skb() -> __skb_header_release()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
BUF_SIZE 0 skb 320
BUF_SIZE 0 skb 320
DATA_SOURCE 0 skb $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_callback_lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/ipv4/tcp_output.c tcp_send_synack() -> __skb_header_release()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 0 skb->end 0
PARAM_VALUE 0 skb->head 1-u64max
PARAM_VALUE 0 skb->nohdr 0
BUF_SIZE 0 skb 0-s32max
BUF_SIZE 0 skb 0-s32max
DATA_SOURCE 0 skb r skb_copy
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 skb->dev->proto_down
NO_OVERFLOW_SIMPLE 0 skb->end

net/ipv4/tcp_output.c tso_fragment() -> __skb_header_release()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
BUF_SIZE 0 skb 320
BUF_SIZE 0 skb 320
CAPPED_DATA 0 skb->len 1
DATA_SOURCE 0 skb r tcp_stream_alloc_skb
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 skb->data_len 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 skb->data_len
NO_OVERFLOW_SIMPLE 0 skb->len
HALF_LOCKED2 &sk->sk_callback_lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk