sctp_verify_init identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

include/net/sctp/structs.h, line 1358 (as a prototype)

Defined in 1 files as a function:

net/sctp/sm_make_chunk.c, line 2284 (as a function)

Referenced in 1 files:

net/sctp/sm_statefuns.c

Smatch caller information:

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

Type	Parameter	Key	Value
PARAM_VALUE	0	net	4096-ptr_max
PARAM_VALUE	1	ep	4096-ptr_max
PARAM_VALUE	1	ep->base.sk	4096-ptr_max
PARAM_VALUE	1	ep->base.sk->__sk_common.skc_state	0-7,9-255
PARAM_VALUE	2	asoc	0,4096-ptr_max
PARAM_VALUE	2	asoc->outqueue.asoc->stream.out_curr->state	0-1
PARAM_VALUE	2	asoc->outqueue.asoc->stream.si->generate_ftsn	4096-ptr_max
PARAM_VALUE	4	peer_init	4096-ptr_max
PARAM_VALUE	5	chunk	4096-ptr_max
PARAM_VALUE	5	chunk->chunk_hdr	4096-ptr_max
PARAM_VALUE	5	chunk->chunk_hdr->length	20-u16max
PARAM_VALUE	5	chunk->pdiscard	0
PARAM_VALUE	5	chunk->sctp_hdr	4096-ptr_max
PARAM_VALUE	5	chunk->sctp_hdr->vtag	0
PARAM_VALUE	5	chunk->singleton	1
PARAM_VALUE	6	errp	3802609451056234496
PARAM_VALUE	6	*errp	0
BUF_SIZE	5	chunk	(-1),40
BUF_SIZE	5	chunk	(-1),40
DATA_SOURCE	0	net	$0
DATA_SOURCE	1	ep	$1
DATA_SOURCE	2	asoc	$2
DATA_SOURCE	5	chunk	$4
NOSPEC	2	asoc->c.raw_addr_list_len
NOSPEC	2	asoc->peer.port
RX_PATH
TASK_NOT_RUNNING
USER_DATA	2	asoc->addip_serial	0-u32max[u]
USER_DATA	2	asoc->c.adaptation_ind	0-u32max[u]
USER_DATA	2	asoc->c.expiration	s64min-s64max
USER_DATA	2	asoc->c.initial_tsn	0-u32max[u]
USER_DATA	2	asoc->c.my_ttag	0-u32max
USER_DATA	2	asoc->c.padding	0-255[u]
USER_DATA	2	asoc->c.peer_addr.sa.sa_family	0-u16max[u]
USER_DATA	2	asoc->c.peer_addr.v4.sin_family	0-u16max[u]
USER_DATA	2	asoc->c.peer_addr.v6.sin6_family	0-u16max[u]
USER_DATA	2	asoc->c.peer_addr.v6.sin6_flowinfo	0-u32max[u]
USER_DATA	2	asoc->c.peer_addr.v6.sin6_port	0-u16max[u]
USER_DATA	2	asoc->c.peer_addr.v6.sin6_scope_id	0-u32max[u]
USER_DATA	2	asoc->c.peer_ttag	0-u32max
USER_DATA	2	asoc->c.peer_vtag	0-u32max
USER_DATA	2	asoc->c.prsctp_capable	0-255[u]
USER_DATA	2	asoc->c.raw_addr_list_len	0-65331[c][u]
USER_DATA	2	asoc->c.sinit_max_instreams	0-u16max[u]
USER_DATA	2	asoc->c.sinit_num_ostreams	0-u16max[u]
USER_DATA	2	asoc->force_delay	0-1
USER_DATA	2	asoc->next_tsn	0-u32max[u]
USER_DATA	2	asoc->peer.adaptation_ind	0-u32max
USER_DATA	2	asoc->peer.port	0-u16max
USER_DATA	2	asoc->peer.primary_addr.sa.sa_family	2,10[c]
USER_DATA	2	asoc->peer.primary_addr.v4.sin_addr.s_addr	0-u32max
USER_DATA	2	asoc->peer.primary_addr.v4.sin_family	0-u16max
USER_DATA	2	asoc->peer.primary_addr.v4.sin_port	0-u16max
USER_DATA	2	asoc->peer.primary_addr.v6.sin6_family	0-u16max
USER_DATA	2	asoc->peer.primary_addr.v6.sin6_flowinfo	0-u32max
USER_DATA	2	asoc->peer.primary_addr.v6.sin6_port	0-u16max
USER_DATA	2	asoc->peer.primary_addr.v6.sin6_scope_id	0-u32max
USER_DATA	2	asoc->peer.prsctp_capable	0-1[u]
USER_DATA	2	asoc->peer.retran_path->ipaddr.v4.sin_port	0-u16max
USER_DATA	2	asoc->peer.retran_path->ipaddr.v6.sin6_port	0-u16max
USER_DATA	2	asoc->peer.tsn_map.base_tsn	0
USER_DATA	2	asoc->strreset_outseq	0-u32max[u]
UNITS	4	peer_init	unit_byte
HALF_LOCKED2		&sk->sk_lock.slock
HALF_LOCKED2		sk

net/sctp/sm_statefuns.c sctp_sf_do_5_1C_ack() -> sctp_verify_init()

Type	Parameter	Key	Value
PARAM_VALUE	2	asoc	4096-ptr_max
PARAM_VALUE	2	asoc->outqueue.asoc->stream.out_curr->state	0-1
PARAM_VALUE	2	asoc->outqueue.asoc->stream.si->generate_ftsn	4096-ptr_max
PARAM_VALUE	4	peer_init	4096-ptr_max
PARAM_VALUE	5	chunk	4096-ptr_max
PARAM_VALUE	5	chunk->chunk_hdr	4096-ptr_max
PARAM_VALUE	5	chunk->chunk_hdr->length	20-u16max
PARAM_VALUE	5	chunk->pdiscard	0
PARAM_VALUE	5	chunk->sctp_hdr	4096-ptr_max
PARAM_VALUE	5	chunk->singleton	1
PARAM_VALUE	5	chunk->skb	4096-ptr_max
PARAM_VALUE	6	errp	220403679029297152
PARAM_VALUE	6	*errp	0
BUF_SIZE	5	chunk	(-1),40
BUF_SIZE	5	chunk	(-1),40
BUF_SIZE	5	chunk->subh.init_hdr	1-s32max
CAPPED_DATA	2	asoc->c.my_vtag	1
CAPPED_DATA	5	chunk->sctp_hdr->vtag	1
DATA_SOURCE	0	net	$0
DATA_SOURCE	1	ep	$1
DATA_SOURCE	2	asoc	$2
DATA_SOURCE	5	chunk	$4
PARAM_COMPARE	2	asoc->c.my_vtag	== $5->sctp_hdr->vtag
NOSPEC	2	asoc->c.raw_addr_list_len
NOSPEC	2	asoc->peer.port
RX_PATH
TASK_NOT_RUNNING
USER_DATA	2	asoc->addip_serial	0-u32max[u]
USER_DATA	2	asoc->c.adaptation_ind	0-u32max[u]
USER_DATA	2	asoc->c.expiration	s64min-s64max
USER_DATA	2	asoc->c.initial_tsn	0-u32max[u]
USER_DATA	2	asoc->c.my_ttag	0-u32max
USER_DATA	2	asoc->c.padding	0-255[u]
USER_DATA	2	asoc->c.peer_addr.sa.sa_family	0-u16max[u]
USER_DATA	2	asoc->c.peer_addr.v4.sin_family	0-u16max[u]
USER_DATA	2	asoc->c.peer_addr.v6.sin6_family	0-u16max[u]
USER_DATA	2	asoc->c.peer_addr.v6.sin6_flowinfo	0-u32max[u]
USER_DATA	2	asoc->c.peer_addr.v6.sin6_port	0-u16max[u]
USER_DATA	2	asoc->c.peer_addr.v6.sin6_scope_id	0-u32max[u]
USER_DATA	2	asoc->c.peer_ttag	0-u32max
USER_DATA	2	asoc->c.peer_vtag	0-u32max
USER_DATA	2	asoc->c.prsctp_capable	0-255[u]
USER_DATA	2	asoc->c.raw_addr_list_len	0-65331[c][u]
USER_DATA	2	asoc->c.sinit_max_instreams	0-u16max[u]
USER_DATA	2	asoc->c.sinit_num_ostreams	0-u16max[u]
USER_DATA	2	asoc->force_delay	0-1
USER_DATA	2	asoc->next_tsn	0-u32max[u]
USER_DATA	2	asoc->peer.adaptation_ind	0-u32max
USER_DATA	2	asoc->peer.port	0-u16max
USER_DATA	2	asoc->peer.primary_addr.sa.sa_family	2,10[c]
USER_DATA	2	asoc->peer.primary_addr.v4.sin_addr.s_addr	0-u32max
USER_DATA	2	asoc->peer.primary_addr.v4.sin_family	0-u16max
USER_DATA	2	asoc->peer.primary_addr.v4.sin_port	0-u16max
USER_DATA	2	asoc->peer.primary_addr.v6.sin6_family	0-u16max
USER_DATA	2	asoc->peer.primary_addr.v6.sin6_flowinfo	0-u32max
USER_DATA	2	asoc->peer.primary_addr.v6.sin6_port	0-u16max
USER_DATA	2	asoc->peer.primary_addr.v6.sin6_scope_id	0-u32max
USER_DATA	2	asoc->peer.prsctp_capable	0-1[u]
USER_DATA	2	asoc->peer.retran_path->ipaddr.v4.sin_port	0-u16max
USER_DATA	2	asoc->peer.retran_path->ipaddr.v6.sin6_port	0-u16max
USER_DATA	2	asoc->peer.tsn_map.base_tsn	0
USER_DATA	2	asoc->strreset_outseq	0-u32max[u]
USER_DATA	5	chunk->subh.init_hdr->a_rwnd	0-u32max[u]
USER_DATA	5	chunk->subh.init_hdr->init_tag	0-u32max[u]
USER_DATA	5	chunk->subh.init_hdr->initial_tsn	0-u32max[u]
USER_DATA	5	chunk->subh.init_hdr->num_inbound_streams	0-u16max[u]
USER_DATA	5	chunk->subh.init_hdr->num_outbound_streams	0-u16max[u]
UNITS	4	peer_init	unit_byte
USER_PTR	5	chunk->subh.init_hdr
HALF_LOCKED2		&sk->sk_lock.slock
HALF_LOCKED2		sk

net/sctp/sm_statefuns.c sctp_sf_do_5_1D_ce() -> sctp_verify_init()

Type	Parameter	Key	Value
PARAM_VALUE	0	net	4096-ptr_max
PARAM_VALUE	1	ep	4096-ptr_max
PARAM_VALUE	1	ep->auth_chunk_list	0,4096-ptr_max
PARAM_VALUE	1	ep->auth_hmacs_list	0,4096-ptr_max
PARAM_VALUE	1	ep->base.sk	4096-ptr_max
PARAM_VALUE	1	ep->base.sk->__sk_common.skc_state	10
PARAM_VALUE	2	asoc	0,4096-ptr_max
PARAM_VALUE	2	asoc->outqueue.asoc->stream.out_curr->state	0-1
PARAM_VALUE	2	asoc->outqueue.asoc->stream.si->generate_ftsn	4096-ptr_max
PARAM_VALUE	3	cid	0-255
PARAM_VALUE	4	peer_init	4096-ptr_max
PARAM_VALUE	5	chunk	4096-ptr_max
PARAM_VALUE	5	chunk->chunk_hdr	4096-ptr_max
PARAM_VALUE	5	chunk->chunk_hdr->length	188-u16max
PARAM_VALUE	5	chunk->pdiscard	0
PARAM_VALUE	5	chunk->sctp_hdr	4096-ptr_max
PARAM_VALUE	5	chunk->skb	4096-ptr_max
PARAM_VALUE	5	chunk->skb->data	4096-ptr_max
PARAM_VALUE	5	chunk->subh.cookie_hdr->c.raw_addr_list_len	0-65331
PARAM_VALUE	6	errp	8000434510313447424
PARAM_VALUE	6	*errp	0
BUF_SIZE	5	chunk	(-1),40
BUF_SIZE	5	chunk	(-1),40
BUF_SIZE	5	chunk->subh.cookie_hdr	1-s32max
CAPPED_DATA	5	chunk->sctp_hdr->dest	1
CAPPED_DATA	5	chunk->sctp_hdr->source	1
CAPPED_DATA	5	chunk->sctp_hdr->vtag	1
CAPPED_DATA	5	chunk->subh.cookie_hdr->c.my_port	1
CAPPED_DATA	5	chunk->subh.cookie_hdr->c.my_vtag	1
CAPPED_DATA	5	chunk->subh.cookie_hdr->c.peer_addr.v4.sin_port	1
CAPPED_DATA	5	chunk->subh.cookie_hdr->c.raw_addr_list_len	1
DATA_SOURCE	0	net	$0
DATA_SOURCE	1	ep	$1
DATA_SOURCE	2	asoc	$2
DATA_SOURCE	5	chunk	$4
PARAM_COMPARE	5	chunk->sctp_hdr->dest	== $5->subh.cookie_hdr->c.my_port
PARAM_COMPARE	5	chunk->sctp_hdr->source	== $5->subh.cookie_hdr->c.peer_addr.v4.sin_port
PARAM_COMPARE	5	chunk->sctp_hdr->vtag	== $5->subh.cookie_hdr->c.my_vtag
NOSPEC	2	asoc->c.raw_addr_list_len
NOSPEC	2	asoc->peer.port
RX_PATH
TASK_NOT_RUNNING
USER_DATA	2	asoc->addip_serial	0-u32max[u]
USER_DATA	2	asoc->c.adaptation_ind	0-u32max[u]
USER_DATA	2	asoc->c.expiration	s64min-s64max
USER_DATA	2	asoc->c.initial_tsn	0-u32max[u]
USER_DATA	2	asoc->c.my_ttag	0-u32max
USER_DATA	2	asoc->c.padding	0-255[u]
USER_DATA	2	asoc->c.peer_addr.sa.sa_family	0-u16max[u]
USER_DATA	2	asoc->c.peer_addr.v4.sin_family	0-u16max[u]
USER_DATA	2	asoc->c.peer_addr.v6.sin6_family	0-u16max[u]
USER_DATA	2	asoc->c.peer_addr.v6.sin6_flowinfo	0-u32max[u]
USER_DATA	2	asoc->c.peer_addr.v6.sin6_port	0-u16max[u]
USER_DATA	2	asoc->c.peer_addr.v6.sin6_scope_id	0-u32max[u]
USER_DATA	2	asoc->c.peer_ttag	0-u32max
USER_DATA	2	asoc->c.peer_vtag	0-u32max
USER_DATA	2	asoc->c.prsctp_capable	0-255[u]
USER_DATA	2	asoc->c.raw_addr_list_len	0-65331[c][u]
USER_DATA	2	asoc->c.sinit_max_instreams	0-u16max[u]
USER_DATA	2	asoc->c.sinit_num_ostreams	0-u16max[u]
USER_DATA	2	asoc->force_delay	0-1
USER_DATA	2	asoc->next_tsn	0-u32max[u]
USER_DATA	2	asoc->peer.adaptation_ind	0-u32max
USER_DATA	2	asoc->peer.port	0-u16max
USER_DATA	2	asoc->peer.primary_addr.sa.sa_family	2,10[c]
USER_DATA	2	asoc->peer.primary_addr.v4.sin_addr.s_addr	0-u32max
USER_DATA	2	asoc->peer.primary_addr.v4.sin_family	0-u16max
USER_DATA	2	asoc->peer.primary_addr.v4.sin_port	0-u16max
USER_DATA	2	asoc->peer.primary_addr.v6.sin6_family	0-u16max
USER_DATA	2	asoc->peer.primary_addr.v6.sin6_flowinfo	0-u32max
USER_DATA	2	asoc->peer.primary_addr.v6.sin6_port	0-u16max
USER_DATA	2	asoc->peer.primary_addr.v6.sin6_scope_id	0-u32max
USER_DATA	2	asoc->peer.prsctp_capable	0-1[u]
USER_DATA	2	asoc->peer.retran_path->ipaddr.v4.sin_port	0-u16max
USER_DATA	2	asoc->peer.retran_path->ipaddr.v6.sin6_port	0-u16max
USER_DATA	2	asoc->peer.tsn_map.base_tsn	0
USER_DATA	2	asoc->strreset_outseq	0-u32max[u]
USER_DATA	5	chunk->subh.cookie_hdr->__pad	0-u32max[u]
UNITS	4	peer_init	unit_byte
USER_PTR	4	peer_init
USER_PTR	5	chunk->subh.cookie_hdr
HALF_LOCKED2		&sk->sk_lock.slock
HALF_LOCKED2		sk

net/sctp/sm_statefuns.c sctp_sf_do_5_2_4_dupcook() -> sctp_verify_init()

Type	Parameter	Key	Value
PARAM_VALUE	1	ep	4096-ptr_max
PARAM_VALUE	1	ep->auth_chunk_list	0,4096-ptr_max
PARAM_VALUE	1	ep->auth_hmacs_list	0,4096-ptr_max
PARAM_VALUE	1	ep->base.sk	4096-ptr_max
PARAM_VALUE	2	asoc	4096-ptr_max
PARAM_VALUE	2	asoc->outqueue.asoc->stream.out_curr->state	0-1
PARAM_VALUE	2	asoc->outqueue.asoc->stream.si->generate_ftsn	4096-ptr_max
PARAM_VALUE	3	cid	0-255
PARAM_VALUE	4	peer_init	4096-ptr_max
PARAM_VALUE	5	chunk	4096-ptr_max
PARAM_VALUE	5	chunk->chunk_hdr	4096-ptr_max
PARAM_VALUE	5	chunk->chunk_hdr->length	188-u16max
PARAM_VALUE	5	chunk->pdiscard	0
PARAM_VALUE	5	chunk->skb	4096-ptr_max
PARAM_VALUE	5	chunk->skb->data	4096-ptr_max
PARAM_VALUE	5	chunk->subh.cookie_hdr->c.raw_addr_list_len	0-65331
PARAM_VALUE	6	errp	3104281560732995584
PARAM_VALUE	6	*errp	0
BUF_SIZE	5	chunk	(-1),40
BUF_SIZE	5	chunk	(-1),40
BUF_SIZE	5	chunk->subh.cookie_hdr	1-s32max
CAPPED_DATA	2	asoc->c.my_vtag	1
CAPPED_DATA	5	chunk->sctp_hdr->dest	1
CAPPED_DATA	5	chunk->sctp_hdr->source	1
CAPPED_DATA	5	chunk->sctp_hdr->vtag	1
CAPPED_DATA	5	chunk->subh.cookie_hdr->c.my_port	1
CAPPED_DATA	5	chunk->subh.cookie_hdr->c.my_vtag	1
CAPPED_DATA	5	chunk->subh.cookie_hdr->c.peer_addr.v4.sin_port	1
CAPPED_DATA	5	chunk->subh.cookie_hdr->c.raw_addr_list_len	1
DATA_SOURCE	0	net	$0
DATA_SOURCE	1	ep	$1 [m]
DATA_SOURCE	2	asoc	$2
DATA_SOURCE	5	chunk	$4
PARAM_COMPARE	5	chunk->sctp_hdr->dest	== $5->subh.cookie_hdr->c.my_port
PARAM_COMPARE	5	chunk->sctp_hdr->source	== $5->subh.cookie_hdr->c.peer_addr.v4.sin_port
PARAM_COMPARE	5	chunk->sctp_hdr->vtag	== $5->subh.cookie_hdr->c.my_vtag
NOSPEC	2	asoc->c.raw_addr_list_len
NOSPEC	2	asoc->peer.port
RX_PATH
TASK_NOT_RUNNING
USER_DATA	2	asoc->addip_serial	0-u32max[u]
USER_DATA	2	asoc->c.adaptation_ind	0-u32max[u]
USER_DATA	2	asoc->c.expiration	s64min-s64max
USER_DATA	2	asoc->c.initial_tsn	0-u32max[u]
USER_DATA	2	asoc->c.my_ttag	0-u32max
USER_DATA	2	asoc->c.padding	0-255[u]
USER_DATA	2	asoc->c.peer_addr.sa.sa_family	0-u16max[u]
USER_DATA	2	asoc->c.peer_addr.v4.sin_family	0-u16max[u]
USER_DATA	2	asoc->c.peer_addr.v6.sin6_family	0-u16max[u]
USER_DATA	2	asoc->c.peer_addr.v6.sin6_flowinfo	0-u32max[u]
USER_DATA	2	asoc->c.peer_addr.v6.sin6_port	0-u16max[u]
USER_DATA	2	asoc->c.peer_addr.v6.sin6_scope_id	0-u32max[u]
USER_DATA	2	asoc->c.peer_ttag	0-u32max
USER_DATA	2	asoc->c.peer_vtag	0-u32max
USER_DATA	2	asoc->c.prsctp_capable	0-255[u]
USER_DATA	2	asoc->c.raw_addr_list_len	0-65331[c][u]
USER_DATA	2	asoc->c.sinit_max_instreams	0-u16max[u]
USER_DATA	2	asoc->c.sinit_num_ostreams	0-u16max[u]
USER_DATA	2	asoc->force_delay	0-1
USER_DATA	2	asoc->next_tsn	0-u32max[u]
USER_DATA	2	asoc->peer.adaptation_ind	0-u32max
USER_DATA	2	asoc->peer.port	0-u16max
USER_DATA	2	asoc->peer.primary_addr.sa.sa_family	2,10[c]
USER_DATA	2	asoc->peer.primary_addr.v4.sin_addr.s_addr	0-u32max
USER_DATA	2	asoc->peer.primary_addr.v4.sin_family	0-u16max
USER_DATA	2	asoc->peer.primary_addr.v4.sin_port	0-u16max
USER_DATA	2	asoc->peer.primary_addr.v6.sin6_family	0-u16max
USER_DATA	2	asoc->peer.primary_addr.v6.sin6_flowinfo	0-u32max
USER_DATA	2	asoc->peer.primary_addr.v6.sin6_port	0-u16max
USER_DATA	2	asoc->peer.primary_addr.v6.sin6_scope_id	0-u32max
USER_DATA	2	asoc->peer.prsctp_capable	0-1[u]
USER_DATA	2	asoc->peer.retran_path->ipaddr.v4.sin_port	0-u16max
USER_DATA	2	asoc->peer.retran_path->ipaddr.v6.sin6_port	0-u16max
USER_DATA	2	asoc->peer.tsn_map.base_tsn	0
USER_DATA	2	asoc->strreset_outseq	0-u32max[u]
USER_DATA	5	chunk->subh.cookie_hdr->__pad	0-u32max[u]
UNITS	4	peer_init	unit_byte
USER_PTR	4	peer_init
USER_PTR	5	chunk->subh.cookie_hdr
HALF_LOCKED2		&sk->sk_lock.slock
HALF_LOCKED2		sk

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

Type	Parameter	Key	Value
PARAM_VALUE	1	ep->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	1	ep->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->dead	0-1
PARAM_VALUE	1	ep->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	1	ep->base.inqueue.in_progress->skb->sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	1	ep->base.inqueue.in_progress->skb->sk->ns_tracker->dead	0-1
PARAM_VALUE	1	ep->base.inqueue.in_progress->skb->sk->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	2	asoc	4096-ptr_max
PARAM_VALUE	2	asoc->addip_last_asconf->auth_chunk->sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	2	asoc->addip_last_asconf->auth_chunk->sk->ns_tracker->dead	0-1
PARAM_VALUE	2	asoc->addip_last_asconf->auth_chunk->sk->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	2	asoc->addip_last_asconf->skb->sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	2	asoc->addip_last_asconf->skb->sk->ns_tracker->dead	0-1
PARAM_VALUE	2	asoc->addip_last_asconf->skb->sk->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	2	asoc->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	2	asoc->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->dead	0-1
PARAM_VALUE	2	asoc->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	2	asoc->base.inqueue.in_progress->skb->sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	2	asoc->base.inqueue.in_progress->skb->sk->ns_tracker->dead	0-1
PARAM_VALUE	2	asoc->base.inqueue.in_progress->skb->sk->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	2	asoc->base.sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	2	asoc->base.sk->ns_tracker->dead	0-1
PARAM_VALUE	2	asoc->base.sk->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	2	asoc->base.sk->sk_backlog.head->sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	2	asoc->base.sk->sk_backlog.head->sk->ns_tracker->dead	0-1
PARAM_VALUE	2	asoc->base.sk->sk_backlog.head->sk->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	2	asoc->outqueue.asoc->stream.out_curr->state	0-1
PARAM_VALUE	2	asoc->outqueue.asoc->stream.si->generate_ftsn	4096-ptr_max
PARAM_VALUE	2	asoc->strreset_chunk->auth_chunk->sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	2	asoc->strreset_chunk->auth_chunk->sk->ns_tracker->dead	0-1
PARAM_VALUE	2	asoc->strreset_chunk->auth_chunk->sk->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	2	asoc->strreset_chunk->skb->sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	2	asoc->strreset_chunk->skb->sk->ns_tracker->dead	0-1
PARAM_VALUE	2	asoc->strreset_chunk->skb->sk->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	4	peer_init	4096-ptr_max
PARAM_VALUE	5	chunk	4096-ptr_max
PARAM_VALUE	5	chunk->chunk_hdr	4096-ptr_max
PARAM_VALUE	5	chunk->chunk_hdr->length	20-u16max
PARAM_VALUE	5	chunk->pdiscard	0
PARAM_VALUE	5	chunk->sctp_hdr	4096-ptr_max
PARAM_VALUE	5	chunk->sctp_hdr->vtag	0
PARAM_VALUE	5	chunk->singleton	1
PARAM_VALUE	5	chunk->skb	4096-ptr_max
PARAM_VALUE	5	chunk->skb->data	4096-ptr_max
PARAM_VALUE	5	chunk->transport	4096-ptr_max
PARAM_VALUE	6	errp	4454361915986153472
PARAM_VALUE	6	*errp	0
BUF_SIZE	5	chunk	(-1),40
BUF_SIZE	5	chunk	(-1),40
BUF_SIZE	5	chunk->subh.init_hdr	1-s32max
CAPPED_DATA	5	chunk->transport->encap_port	1
DATA_SOURCE	0	net	$0
DATA_SOURCE	1	ep	$1
DATA_SOURCE	2	asoc	$2
DATA_SOURCE	5	chunk	$4
NOSPEC	2	asoc->c.raw_addr_list_len
NOSPEC	2	asoc->peer.port
RX_PATH
TASK_NOT_RUNNING
USER_DATA	2	asoc->addip_serial	0-u32max[u]
USER_DATA	2	asoc->c.adaptation_ind	0-u32max[u]
USER_DATA	2	asoc->c.expiration	s64min-s64max
USER_DATA	2	asoc->c.initial_tsn	0-u32max[u]
USER_DATA	2	asoc->c.my_ttag	0-u32max
USER_DATA	2	asoc->c.padding	0-255[u]
USER_DATA	2	asoc->c.peer_addr.sa.sa_family	0-u16max[u]
USER_DATA	2	asoc->c.peer_addr.v4.sin_family	0-u16max[u]
USER_DATA	2	asoc->c.peer_addr.v6.sin6_family	0-u16max[u]
USER_DATA	2	asoc->c.peer_addr.v6.sin6_flowinfo	0-u32max[u]
USER_DATA	2	asoc->c.peer_addr.v6.sin6_port	0-u16max[u]
USER_DATA	2	asoc->c.peer_addr.v6.sin6_scope_id	0-u32max[u]
USER_DATA	2	asoc->c.peer_ttag	0-u32max
USER_DATA	2	asoc->c.peer_vtag	0-u32max
USER_DATA	2	asoc->c.prsctp_capable	0-255[u]
USER_DATA	2	asoc->c.raw_addr_list_len	0-65331[c][u]
USER_DATA	2	asoc->c.sinit_max_instreams	0-u16max[u]
USER_DATA	2	asoc->c.sinit_num_ostreams	0-u16max[u]
USER_DATA	2	asoc->force_delay	0-1
USER_DATA	2	asoc->next_tsn	0-u32max[u]
USER_DATA	2	asoc->peer.adaptation_ind	0-u32max
USER_DATA	2	asoc->peer.port	0-u16max
USER_DATA	2	asoc->peer.primary_addr.sa.sa_family	2,10[c]
USER_DATA	2	asoc->peer.primary_addr.v4.sin_family	0-u16max
USER_DATA	2	asoc->peer.primary_addr.v4.sin_port	0-u16max
USER_DATA	2	asoc->peer.primary_addr.v6.sin6_family	0-u16max
USER_DATA	2	asoc->peer.primary_addr.v6.sin6_flowinfo	0-u32max
USER_DATA	2	asoc->peer.primary_addr.v6.sin6_port	0-u16max
USER_DATA	2	asoc->peer.primary_addr.v6.sin6_scope_id	0-u32max
USER_DATA	2	asoc->peer.primary_path->cacc.next_tsn_at_change	0-u32max[u]
USER_DATA	2	asoc->peer.prsctp_capable	0-1[u]
USER_DATA	2	asoc->peer.tsn_map.base_tsn	0-u32max
USER_DATA	2	asoc->strreset_outseq	0-u32max[u]
USER_DATA	5	chunk->subh.init_hdr->a_rwnd	0-u32max[u]
USER_DATA	5	chunk->subh.init_hdr->init_tag	0-u32max[u]
USER_DATA	5	chunk->subh.init_hdr->initial_tsn	0-u32max[u]
USER_DATA	5	chunk->subh.init_hdr->num_inbound_streams	0-u16max[u]
USER_DATA	5	chunk->subh.init_hdr->num_outbound_streams	0-u16max[u]
UNITS	4	peer_init	unit_byte
USER_PTR	5	chunk->subh.init_hdr
HALF_LOCKED2		&sk->sk_lock.slock
HALF_LOCKED2		sk