Open Menu /

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

net/ipv4/tcp_input.c tcp_skb_spurious_retrans() -> tcp_skb_timestamp_ts()

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

net/ipv4/tcp_timer.c tcp_retransmit_timer() -> tcp_skb_timestamp_ts()

Type Parameter Key Value
PARAM_VALUE 1 skb 4096-ptr_max
DATA_SOURCE 1 skb r tcp_rtx_queue_head
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sk->sk_lock.slock

net/ipv4/tcp_output.c tcp_established_options() -> tcp_skb_timestamp_ts()

Type Parameter Key Value
PARAM_VALUE 1 skb 4096-ptr_max
BUF_SIZE 1 skb (-1)-s32max
BUF_SIZE 1 skb (-1)-s32max
CAPPED_DATA 1 skb 1
DATA_SOURCE 1 skb $1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 skb->data_len 0-u32max[c]
HOST_DATA 1 skb->len 0-u32max[c]
HOST_DATA 1 skb->next->data_len 0-u32max[c]
HOST_DATA 1 skb->next->prev->csum_offset 0-u16max
HOST_DATA 1 skb->next->prev->data_len 0-u32max[c]
HOST_DATA 1 skb->next->prev->len 1-u32max[c]
HOST_DATA 1 skb->next->prev->tstamp 500000002-4294967299794967295[c]
HOST_DATA 1 skb->prev->csum_offset 0-u16max
HOST_DATA 1 skb->prev->data_len 0-u32max[c]
HOST_DATA 1 skb->prev->len 1-u32max[c]
HOST_DATA 1 skb->prev->tstamp 500000002-4294967299794967295[c]
HOST_DATA 1 skb->truesize 0-u32max[c]
HOST_DATA 1 skb->tstamp 500000002-4294967299794967295[c]
HOST_DATA 1 *skb->data 0-255
NO_OVERFLOW_SIMPLE 1 skb->sk->sk_backlog.len
HALF_LOCKED2 &sk->sk_callback_lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/ipv4/tcp_output.c tcp_retransmit_skb() -> tcp_skb_timestamp_ts()

Type Parameter Key Value
PARAM_VALUE 1 skb 4096-ptr_max
CAPPED_DATA 1 skb 1
DATA_SOURCE 1 skb $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 skb->data_len 0-u32max[c]
HOST_DATA 1 skb->inner_protocol 1-255
HOST_DATA 1 skb->len 0-u32max[c]
HOST_DATA 1 skb->prev->csum_offset 0-u16max
HOST_DATA 1 skb->prev->data_len 0-u32max[c]
HOST_DATA 1 skb->prev->len 1-u32max[c]
HOST_DATA 1 skb->prev->tstamp 500000002-4294967299794967295[c]
HOST_DATA 1 skb->truesize 0-u32max
HOST_DATA 1 skb->tstamp 500000002-4294967299794967295[c]
HOST_DATA 1 skb->users.refs.counter s32min-0,2-s32max
HOST_DATA 1 *skb->data 0-255
HALF_LOCKED2 &sk->sk_lock.slock

net/ipv4/tcp_output.c tcp_syn_options() -> tcp_skb_timestamp_ts()

Type Parameter Key Value
PARAM_VALUE 1 skb 4096-ptr_max
BUF_SIZE 1 skb (-1)-s32max
BUF_SIZE 1 skb (-1)-s32max
CAPPED_DATA 1 skb 1
DATA_SOURCE 1 skb $1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 skb->data_len 0-u32max[c]
HOST_DATA 1 skb->len 0-u32max[c]
HOST_DATA 1 skb->next->data_len 0-u32max[c]
HOST_DATA 1 skb->next->prev->csum_offset 0-u16max
HOST_DATA 1 skb->next->prev->data_len 0-u32max[c]
HOST_DATA 1 skb->next->prev->len 1-u32max[c]
HOST_DATA 1 skb->next->prev->tstamp 500000002-4294967299794967295[c]
HOST_DATA 1 skb->prev->csum_offset 0-u16max
HOST_DATA 1 skb->prev->data_len 0-u32max[c]
HOST_DATA 1 skb->prev->len 1-u32max[c]
HOST_DATA 1 skb->prev->tstamp 500000002-4294967299794967295[c]
HOST_DATA 1 skb->truesize 0-u32max[c]
HOST_DATA 1 skb->tstamp 500000002-4294967299794967295[c]
HOST_DATA 1 *skb->data 0-255
NO_OVERFLOW_SIMPLE 1 skb->sk->sk_backlog.len
HALF_LOCKED2 &sk->sk_callback_lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/ipv4/tcp_output.c tcp_synack_options() -> tcp_skb_timestamp_ts()

Type Parameter Key Value
PARAM_VALUE 1 skb 4096-ptr_max
BUF_SIZE 1 skb 320
BUF_SIZE 1 skb 320
DATA_SOURCE 1 skb $3
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 skb->sk->sk_backlog.len
LOCK2 rcu_read
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh
HALF_LOCKED2 sk