Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/sctp/sm_statefuns.c sctp_sf_do_5_1B_init() -> sctp_make_temp_asoc()

Type Parameter Key Value
PARAM_VALUE 0 ep 4096-ptr_max
PARAM_VALUE 0 ep->base.sk 4096-ptr_max
PARAM_VALUE 0 ep->base.sk->__sk_common.skc_state 0-7,9-255
PARAM_VALUE 1 chunk 4096-ptr_max
PARAM_VALUE 1 chunk->chunk_hdr 4096-ptr_max
PARAM_VALUE 1 chunk->chunk_hdr->init_hdr.a_rwnd 1500-u32max
PARAM_VALUE 1 chunk->chunk_hdr->init_hdr.init_tag 1-u32max
PARAM_VALUE 1 chunk->chunk_hdr->init_hdr.num_inbound_streams 1-u16max
PARAM_VALUE 1 chunk->chunk_hdr->init_hdr.num_outbound_streams 1-u16max
PARAM_VALUE 1 chunk->chunk_hdr->length 20-u16max
PARAM_VALUE 1 chunk->pdiscard 0
PARAM_VALUE 1 chunk->sctp_hdr 4096-ptr_max
PARAM_VALUE 1 chunk->sctp_hdr->vtag 0
PARAM_VALUE 1 chunk->singleton 1
PARAM_VALUE 1 chunk->skb 4096-ptr_max
PARAM_VALUE 1 chunk->skb->data 4096-ptr_max
PARAM_VALUE 2 gfp 2080
BUF_SIZE 1 chunk (-1),40
BUF_SIZE 1 chunk (-1),40
BUF_SIZE 1 chunk->subh.init_hdr 1-s32max
DATA_SOURCE 0 ep $1
DATA_SOURCE 1 chunk $4
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 chunk->subh.init_hdr->a_rwnd 0-u32max[u]
USER_DATA 1 chunk->subh.init_hdr->init_tag 0-u32max[u]
USER_DATA 1 chunk->subh.init_hdr->initial_tsn 0-u32max[u]
USER_DATA 1 chunk->subh.init_hdr->num_inbound_streams 0-u16max[u]
USER_DATA 1 chunk->subh.init_hdr->num_outbound_streams 0-u16max[u]
USER_PTR 1 chunk->subh.init_hdr
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/sm_statefuns.c sctp_sf_do_unexpected_init() -> sctp_make_temp_asoc()

Type Parameter Key Value
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 1 chunk 4096-ptr_max
PARAM_VALUE 1 chunk->chunk_hdr 4096-ptr_max
PARAM_VALUE 1 chunk->chunk_hdr->init_hdr.a_rwnd 1500-u32max
PARAM_VALUE 1 chunk->chunk_hdr->init_hdr.init_tag 1-u32max
PARAM_VALUE 1 chunk->chunk_hdr->init_hdr.num_inbound_streams 1-u16max
PARAM_VALUE 1 chunk->chunk_hdr->init_hdr.num_outbound_streams 1-u16max
PARAM_VALUE 1 chunk->chunk_hdr->length 20-u16max
PARAM_VALUE 1 chunk->pdiscard 0
PARAM_VALUE 1 chunk->sctp_hdr 4096-ptr_max
PARAM_VALUE 1 chunk->sctp_hdr->vtag 0
PARAM_VALUE 1 chunk->singleton 1
PARAM_VALUE 1 chunk->skb 4096-ptr_max
PARAM_VALUE 1 chunk->skb->data 4096-ptr_max
PARAM_VALUE 1 chunk->transport 4096-ptr_max
PARAM_VALUE 2 gfp 2080
BUF_SIZE 1 chunk (-1),40
BUF_SIZE 1 chunk (-1),40
BUF_SIZE 1 chunk->subh.init_hdr 1-s32max
CAPPED_DATA 1 chunk->transport->encap_port 1
DATA_SOURCE 0 ep $1
DATA_SOURCE 1 chunk $4
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 chunk->subh.init_hdr->a_rwnd 0-u32max[u]
USER_DATA 1 chunk->subh.init_hdr->init_tag 0-u32max[u]
USER_DATA 1 chunk->subh.init_hdr->initial_tsn 0-u32max[u]
USER_DATA 1 chunk->subh.init_hdr->num_inbound_streams 0-u16max[u]
USER_DATA 1 chunk->subh.init_hdr->num_outbound_streams 0-u16max[u]
USER_PTR 1 chunk->subh.init_hdr
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk