Open Menu /

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

net/ipv4/tcp_ipv4.c tcp_ao_len_aligned() -> tcp_ao_len()

Type Parameter Key Value
PARAM_VALUE 0 key 4096-ptr_max
DATA_SOURCE 0 key $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read

net/ipv4/tcp_ipv4.c tcp_v4_ao_sign_reset() -> tcp_ao_len()

Type Parameter Key Value
PARAM_VALUE 0 key 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/ipv4/tcp_ipv4.c tcp_v4_send_ack() -> tcp_ao_len()

Type Parameter Key Value
PARAM_VALUE 0 key 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

net/ipv4/tcp_ipv4.c tcp_v4_send_ack() -> tcp_ao_len()

Type Parameter Key Value
PARAM_VALUE 0 key 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

net/ipv4/tcp_minisocks.c tcp_ao_len_aligned() -> tcp_ao_len()

Type Parameter Key Value
PARAM_VALUE 0 key 4096-ptr_max
DATA_SOURCE 0 key $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read
HALF_LOCKED2 sk

net/ipv4/tcp_ao.c tcp_ao_len_aligned() -> tcp_ao_len()

Type Parameter Key Value
PARAM_VALUE 0 key 4096-ptr_max
BUF_SIZE 0 key (-1),168,170-232
BUF_SIZE 0 key (-1),168,170-232
DATA_SOURCE 0 key $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 key->keyflags 0-2
USER_DATA 0 key->maclen 1-255
USER_DATA 0 key->prefixlen 0-128
USER_DATA 0 key->rcvid 0-255
USER_DATA 0 key->sndid 0-255
HALF_LOCKED2 sk

net/ipv6/tcp_ipv6.c tcp_ao_len_aligned() -> tcp_ao_len()

Type Parameter Key Value
PARAM_VALUE 0 key 0,4096-ptr_max
DATA_SOURCE 0 key $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 rcu_read
HALF_LOCKED2 sk

net/ipv6/tcp_ipv6.c tcp_v6_send_response() -> tcp_ao_len()

Type Parameter Key Value
PARAM_VALUE 0 key 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 rcu_read
HALF_LOCKED2 sk

net/ipv6/tcp_ipv6.c tcp_v6_send_response() -> tcp_ao_len()

Type Parameter Key Value
PARAM_VALUE 0 key 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 rcu_read
HALF_LOCKED2 sk

net/ipv4/tcp_output.c process_tcp_ao_options() -> tcp_ao_len()

Type Parameter Key Value
PARAM_VALUE 0 key 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 rcu_read
HALF_LOCKED2 sk

net/ipv4/tcp_output.c tcp_ao_len_aligned() -> tcp_ao_len()

Type Parameter Key Value
DATA_SOURCE 0 key $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 rcu_read
HALF_LOCKED2 sk