Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/tcp.c do_tcp_getsockopt() -> tcp_zc_finalize_rx_tstamp()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 1 zc 1317834662167998464
PARAM_VALUE 1 zc->msg_flags 2-u32max
PARAM_VALUE 1 zc->reserved 0
PARAM_VALUE 2 tss 5740498550197977088
CAPPED_DATA 0 sk 1
DATA_SOURCE 0 sk $0
RX_PATH
NOCHECK_CALL
USER_DATA 1 zc->address 0-u64max
USER_DATA 1 zc->copybuf_address 0-u64max
USER_DATA 1 zc->copybuf_len 0-s32max[c]
USER_DATA 1 zc->err s32min-s32max
USER_DATA 1 zc->flags 0-u32max
USER_DATA 1 zc->inq 0-u32max
USER_DATA 1 zc->length 0-u32max
USER_DATA 1 zc->msg_control 0-u64max
USER_DATA 1 zc->msg_controllen 0-u64max
USER_DATA 1 zc->recv_skip_hint 0-u32max
USER_DATA 1 zc->reserved 0
NO_OVERFLOW_SIMPLE 0 sk->sk_prot_creator->twsk_prot->twsk_slab->sheaf_capacity
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->prev->data_len
UNITS 0 sk unit_byte
HALF_LOCKED2 sk
HALF_LOCKED2 0 sk