Open Menu /

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

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

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_aligned()

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

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

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

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

Type Parameter Key Value
PARAM_VALUE 0 key 4096-ptr_max
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_connect_init() -> tcp_ao_len_aligned()

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

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

Type Parameter Key Value
PARAM_VALUE 0 key 4096-ptr_max
PARAM_VALUE 0 key->family 2,10
PARAM_VALUE 0 key->maclen 1-255
BUF_SIZE 0 key 168,170-232
BUF_SIZE 0 key 168,170-232
CAPPED_DATA 0 key->family 1
CAPPED_DATA 0 key->l3index 1
DATA_SOURCE 0 key $1
FUZZY_MAX 0 key->maclen 12
BIT_INFO 0 key->family 0x2,0xa
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_v6_send_response() -> tcp_ao_len_aligned()

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_aligned()

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_established_options() -> tcp_ao_len_aligned()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sk->sk_callback_lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

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

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sk->sk_callback_lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

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

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