Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/tcp_input.c tcp_fast_parse_options() -> tcp_parse_aligned_timestamp()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->rx_opt.tstamp_ok 1
PARAM_VALUE 1 th 4096-ptr_max
PARAM_VALUE 1 th->doff 8
BUF_SIZE 1 th 1-s32max
BUF_SIZE 1 th 1-s32max
DATA_SOURCE 0 tp $3
DATA_SOURCE 1 th $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 th->ack 0-1[u]
USER_DATA 1 th->ack_seq 0-u32max[u]
USER_DATA 1 th->ae 0-1[u]
USER_DATA 1 th->check 0-u16max[u]
USER_DATA 1 th->cwr 0-1[u]
USER_DATA 1 th->dest 0-u16max[u]
USER_DATA 1 th->ece 0-1[u]
USER_DATA 1 th->fin 0-1[u]
USER_DATA 1 th->psh 0-1[u]
USER_DATA 1 th->res1 0-7[u]
USER_DATA 1 th->rst 0-1[u]
USER_DATA 1 th->seq 0-u32max[u]
USER_DATA 1 th->source 0-u16max[u]
USER_DATA 1 th->syn 0-1[u]
USER_DATA 1 th->urg 0-1[u]
USER_DATA 1 th->urg_ptr 0-u16max[u]
USER_DATA 1 th->window 0-u16max[u]
UNITS 1 th unit_byte
USER_PTR 1 th
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/ipv4/tcp_input.c tcp_rcv_established() -> tcp_parse_aligned_timestamp()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->rx_opt.accecn 0
PARAM_VALUE 0 tp->rx_opt.saw_tstamp 0
PARAM_VALUE 0 tp->tcp_header_len 32
PARAM_VALUE 1 th 4096-ptr_max
PARAM_VALUE 1 th->words 4096-ptr_max
BUF_SIZE 1 th 1-s32max
BUF_SIZE 1 th 1-s32max
CAPPED_DATA 0 tp->pred_flags 1
CAPPED_DATA 0 tp->rcv_nxt 1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 th->ack 0-1[u]
USER_DATA 1 th->ack_seq 0-u32max[u]
USER_DATA 1 th->ae 0-1[u]
USER_DATA 1 th->check 0-u16max[u]
USER_DATA 1 th->cwr 0-1[u]
USER_DATA 1 th->dest 0-u16max[u]
USER_DATA 1 th->doff 0-15[u]
USER_DATA 1 th->ece 0-1[u]
USER_DATA 1 th->fin 0-1[u]
USER_DATA 1 th->psh 0-1[u]
USER_DATA 1 th->res1 0-7[u]
USER_DATA 1 th->rst 0-1[u]
USER_DATA 1 th->seq 0-u32max[u]
USER_DATA 1 th->source 0-u16max[u]
USER_DATA 1 th->syn 0-1[u]
USER_DATA 1 th->urg 0-1[u]
USER_DATA 1 th->urg_ptr 0-u16max[u]
USER_DATA 1 th->window 0-u16max[u]
UNITS 1 th unit_byte
USER_PTR 1 th
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk