Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/sctp/sm_make_chunk.c sctp_unpack_cookie() -> sctp_auth_verify_cookie_params()

Type Parameter Key Value
PARAM_VALUE 0 ep 4096-ptr_max
PARAM_VALUE 0 ep->auth_chunk_list 0,4096-ptr_max
PARAM_VALUE 0 ep->auth_hmacs_list 0,4096-ptr_max
PARAM_VALUE 0 ep->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 ep->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->dead 0-1
PARAM_VALUE 0 ep->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 ep->base.inqueue.in_progress->skb->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 ep->base.inqueue.in_progress->skb->sk->ns_tracker->dead 0-1
PARAM_VALUE 0 ep->base.inqueue.in_progress->skb->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 ep->base.sk 4096-ptr_max
PARAM_VALUE 1 cookie 4096-ptr_max
PARAM_VALUE 1 cookie->raw_addr_list_len 0-65331
BUF_SIZE 1 cookie 144
CAPPED_DATA 1 cookie->my_port 1
CAPPED_DATA 1 cookie->my_vtag 1
CAPPED_DATA 1 cookie->peer_addr.v4.sin_port 1
CAPPED_DATA 1 cookie->raw_addr_list_len 1
DATA_SOURCE 0 ep $0
NOSPEC 1 cookie->raw_addr_list_len
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 cookie->adaptation_ind 0-u32max[u]
USER_DATA 1 cookie->expiration s64min-s64max
USER_DATA 1 cookie->initial_tsn 0-u32max[u]
USER_DATA 1 cookie->my_ttag 0-u32max[u]
USER_DATA 1 cookie->padding 0-255[u]
USER_DATA 1 cookie->peer_ttag 0-u32max[u]
USER_DATA 1 cookie->peer_vtag 0-u32max[u]
USER_DATA 1 cookie->prsctp_capable 0-255[u]
USER_DATA 1 cookie->raw_addr_list_len 0-65331[u]
USER_DATA 1 cookie->sinit_max_instreams 0-u16max[u]
USER_DATA 1 cookie->sinit_num_ostreams 0-u16max[u]
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk