Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/tcp_bpf.c tcp_bpf_send_verdict() -> tcp_bpf_sendmsg_redir()

Type Parameter Key Value
PARAM_VALUE 0 sk->__sk_common.skc_refcnt.refs.counter (-1073741824)
PARAM_VALUE 2 msg 4096-ptr_max
PARAM_VALUE 2 msg->sg.curr 0-17,19-u32max
PARAM_VALUE 2 msg->sg.data 0
PARAM_VALUE 4 flags 0,524288-s32max
BUF_SIZE 2 msg (-1),712
BUF_SIZE 2 msg (-1),712
CAPPED_DATA 2 msg 1
DATA_SOURCE 2 msg $2
DATA_SOURCE 4 flags $4
PARAM_COMPARE 2 msg->cork_bytes <= $3
PARAM_COMPARE 3 bytes >= $2->cork_bytes
BIT_INFO 4 flags 0x80000,0x7fffffff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 4 flags 0,524288-s32max[c]
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 3 bytes unit_byte
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk