sctp_wspace identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

net/sctp/socket.c, line 108 (as a function)

Referenced in 1 files:

net/sctp/socket.c

Smatch caller information:

net/sctp/socket.c __sctp_write_space() -> sctp_wspace()

Type	Parameter	Key	Value
PARAM_VALUE	0	asoc	4096-ptr_max
DATA_SOURCE	0	asoc	$0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	asoc->sndbuf_used	s32min-s32max[c]

net/sctp/socket.c sctp_sendmsg_to_asoc() -> sctp_wspace()

Type	Parameter	Key	Value
PARAM_VALUE	0	asoc	4096-ptr_max
DATA_SOURCE	0	asoc	$0
NOSPEC	0	asoc->c.raw_addr_list_len
RX_PATH
TASK_NOT_RUNNING
USER_DATA	0	asoc->addip_serial	0-u32max[u]
USER_DATA	0	asoc->c.adaptation_ind	0-u32max[u]
USER_DATA	0	asoc->c.expiration	s64min-s64max
USER_DATA	0	asoc->c.initial_tsn	0-u32max[u]
USER_DATA	0	asoc->c.my_ttag	0-u32max
USER_DATA	0	asoc->c.padding	0-255[u]
USER_DATA	0	asoc->c.peer_addr.sa.sa_family	0-u16max[u]
USER_DATA	0	asoc->c.peer_addr.v4.sin_family	0-u16max[u]
USER_DATA	0	asoc->c.peer_addr.v6.sin6_family	0-u16max[u]
USER_DATA	0	asoc->c.peer_addr.v6.sin6_flowinfo	0-u32max[u]
USER_DATA	0	asoc->c.peer_addr.v6.sin6_port	0-u16max[u]
USER_DATA	0	asoc->c.peer_addr.v6.sin6_scope_id	0-u32max[u]
USER_DATA	0	asoc->c.peer_ttag	0-u32max
USER_DATA	0	asoc->c.peer_vtag	0-u32max
USER_DATA	0	asoc->c.prsctp_capable	0-255[u]
USER_DATA	0	asoc->c.raw_addr_list_len	0-65331[c][u]
USER_DATA	0	asoc->c.sinit_max_instreams	0-u16max[u]
USER_DATA	0	asoc->c.sinit_num_ostreams	0-u16max[u]
USER_DATA	0	asoc->default_hmac_id	0-3
USER_DATA	0	asoc->force_delay	0-1
USER_DATA	0	asoc->next_tsn	0-u32max[u]
USER_DATA	0	asoc->peer.adaptation_ind	0-u32max[u]
USER_DATA	0	asoc->peer.port	0-u16max
USER_DATA	0	asoc->peer.prsctp_capable	0-1[u]
USER_DATA	0	asoc->peer.tsn_map.base_tsn	0-u32max
USER_DATA	0	asoc->strreset_outseq	0-u32max[u]
HALF_LOCKED2		&vq->mutex
HALF_LOCKED2		sk

net/sctp/socket.c sctp_sendmsg_to_asoc() -> sctp_wspace()

Type	Parameter	Key	Value
PARAM_VALUE	0	asoc	4096-ptr_max
PARAM_VALUE	0	asoc->base.sk	4096-ptr_max
PARAM_VALUE	0	asoc->ep	4096-ptr_max
DATA_SOURCE	0	asoc	$0
NOSPEC	0	asoc->c.raw_addr_list_len
RX_PATH
TASK_NOT_RUNNING
USER_DATA	0	asoc->addip_serial	0-u32max[u]
USER_DATA	0	asoc->c.adaptation_ind	0-u32max[u]
USER_DATA	0	asoc->c.expiration	s64min-s64max
USER_DATA	0	asoc->c.initial_tsn	0-u32max[u]
USER_DATA	0	asoc->c.my_ttag	0-u32max
USER_DATA	0	asoc->c.padding	0-255[u]
USER_DATA	0	asoc->c.peer_addr.sa.sa_family	0-u16max[u]
USER_DATA	0	asoc->c.peer_addr.v4.sin_family	0-u16max[u]
USER_DATA	0	asoc->c.peer_addr.v6.sin6_family	0-u16max[u]
USER_DATA	0	asoc->c.peer_addr.v6.sin6_flowinfo	0-u32max[u]
USER_DATA	0	asoc->c.peer_addr.v6.sin6_port	0-u16max[u]
USER_DATA	0	asoc->c.peer_addr.v6.sin6_scope_id	0-u32max[u]
USER_DATA	0	asoc->c.peer_ttag	0-u32max
USER_DATA	0	asoc->c.peer_vtag	0-u32max
USER_DATA	0	asoc->c.prsctp_capable	0-255[u]
USER_DATA	0	asoc->c.raw_addr_list_len	0-65331[c][u]
USER_DATA	0	asoc->c.sinit_max_instreams	0-u16max[u]
USER_DATA	0	asoc->c.sinit_num_ostreams	0-u16max[u]
USER_DATA	0	asoc->default_hmac_id	0-3
USER_DATA	0	asoc->force_delay	0-1
USER_DATA	0	asoc->next_tsn	0-u32max[u]
USER_DATA	0	asoc->peer.adaptation_ind	0-u32max[u]
USER_DATA	0	asoc->peer.port	0-u16max
USER_DATA	0	asoc->peer.prsctp_capable	0-1[u]
USER_DATA	0	asoc->peer.tsn_map.base_tsn	0-u32max
USER_DATA	0	asoc->strreset_outseq	0-u32max[u]
HALF_LOCKED2		&vq->mutex
HALF_LOCKED2		sk

net/sctp/socket.c sctp_sendmsg_to_asoc() -> sctp_wspace()

Type	Parameter	Key	Value
PARAM_VALUE	0	asoc	4096-ptr_max
PARAM_VALUE	0	asoc->base.sk	4096-ptr_max
PARAM_VALUE	0	asoc->ep	4096-ptr_max
DATA_SOURCE	0	asoc	$0
NOSPEC	0	asoc->c.raw_addr_list_len
RX_PATH
TASK_NOT_RUNNING
USER_DATA	0	asoc->addip_serial	0-u32max[u]
USER_DATA	0	asoc->c.adaptation_ind	0-u32max[u]
USER_DATA	0	asoc->c.expiration	s64min-s64max
USER_DATA	0	asoc->c.initial_tsn	0-u32max[u]
USER_DATA	0	asoc->c.my_ttag	0-u32max
USER_DATA	0	asoc->c.padding	0-255[u]
USER_DATA	0	asoc->c.peer_addr.sa.sa_family	0-u16max[u]
USER_DATA	0	asoc->c.peer_addr.v4.sin_family	0-u16max[u]
USER_DATA	0	asoc->c.peer_addr.v6.sin6_family	0-u16max[u]
USER_DATA	0	asoc->c.peer_addr.v6.sin6_flowinfo	0-u32max[u]
USER_DATA	0	asoc->c.peer_addr.v6.sin6_port	0-u16max[u]
USER_DATA	0	asoc->c.peer_addr.v6.sin6_scope_id	0-u32max[u]
USER_DATA	0	asoc->c.peer_ttag	0-u32max
USER_DATA	0	asoc->c.peer_vtag	0-u32max
USER_DATA	0	asoc->c.prsctp_capable	0-255[u]
USER_DATA	0	asoc->c.raw_addr_list_len	0-65331[c][u]
USER_DATA	0	asoc->c.sinit_max_instreams	0-u16max[u]
USER_DATA	0	asoc->c.sinit_num_ostreams	0-u16max[u]
USER_DATA	0	asoc->default_hmac_id	0-3
USER_DATA	0	asoc->force_delay	0-1
USER_DATA	0	asoc->next_tsn	0-u32max[u]
USER_DATA	0	asoc->peer.adaptation_ind	0-u32max[u]
USER_DATA	0	asoc->peer.port	0-u16max
USER_DATA	0	asoc->peer.prsctp_capable	0-1[u]
USER_DATA	0	asoc->peer.tsn_map.base_tsn	0-u32max
USER_DATA	0	asoc->strreset_outseq	0-u32max[u]
HALF_LOCKED2		&vq->mutex
HALF_LOCKED2		sk

net/sctp/socket.c sctp_wait_for_sndbuf() -> sctp_wspace()

Type	Parameter	Key	Value
PARAM_VALUE	0	asoc	4096-ptr_max
PARAM_VALUE	0	asoc->base.sk	4096-ptr_max
PARAM_VALUE	0	asoc->ep	4096-ptr_max
CAPPED_DATA	0	asoc->base.sk	1
DATA_SOURCE	0	asoc	$0
NOSPEC	0	asoc->c.raw_addr_list_len
RX_PATH
TASK_NOT_RUNNING
USER_DATA	0	asoc->addip_serial	0-u32max[u]
USER_DATA	0	asoc->c.adaptation_ind	0-u32max[u]
USER_DATA	0	asoc->c.expiration	s64min-s64max
USER_DATA	0	asoc->c.initial_tsn	0-u32max[u]
USER_DATA	0	asoc->c.my_ttag	0-u32max
USER_DATA	0	asoc->c.padding	0-255[u]
USER_DATA	0	asoc->c.peer_addr.sa.sa_family	0-u16max[u]
USER_DATA	0	asoc->c.peer_addr.v4.sin_family	0-u16max[u]
USER_DATA	0	asoc->c.peer_addr.v6.sin6_family	0-u16max[u]
USER_DATA	0	asoc->c.peer_addr.v6.sin6_flowinfo	0-u32max[u]
USER_DATA	0	asoc->c.peer_addr.v6.sin6_port	0-u16max[u]
USER_DATA	0	asoc->c.peer_addr.v6.sin6_scope_id	0-u32max[u]
USER_DATA	0	asoc->c.peer_ttag	0-u32max
USER_DATA	0	asoc->c.peer_vtag	0-u32max
USER_DATA	0	asoc->c.prsctp_capable	0-255[u]
USER_DATA	0	asoc->c.raw_addr_list_len	0-65331[c][u]
USER_DATA	0	asoc->c.sinit_max_instreams	0-u16max[u]
USER_DATA	0	asoc->c.sinit_num_ostreams	0-u16max[u]
USER_DATA	0	asoc->force_delay	0-1
USER_DATA	0	asoc->frag_point	0,4-65512[c]
USER_DATA	0	asoc->next_tsn	0-u32max[u]
USER_DATA	0	asoc->peer.adaptation_ind	0-u32max
USER_DATA	0	asoc->peer.port	0-u16max
USER_DATA	0	asoc->peer.primary_addr.sa.sa_family	2,10[c]
USER_DATA	0	asoc->peer.primary_addr.v4.sin_addr.s_addr	0-u32max
USER_DATA	0	asoc->peer.primary_addr.v4.sin_family	0-u16max
USER_DATA	0	asoc->peer.primary_addr.v4.sin_port	0-u16max
USER_DATA	0	asoc->peer.primary_addr.v6.sin6_family	0-u16max
USER_DATA	0	asoc->peer.primary_addr.v6.sin6_flowinfo	0-u32max
USER_DATA	0	asoc->peer.primary_addr.v6.sin6_port	0-u16max
USER_DATA	0	asoc->peer.primary_addr.v6.sin6_scope_id	0-u32max
USER_DATA	0	asoc->peer.prsctp_capable	0-1[u]
USER_DATA	0	asoc->peer.tsn_map.base_tsn	0
USER_DATA	0	asoc->strreset_outseq	0-u32max[u]
LOCK2		sk
HALF_LOCKED2		&vq->mutex
HALF_LOCKED2		sk