Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

net/sctp/sm_sideeffect.c sctp_cmd_process_sack() -> sctp_do_sm()

Type Parameter Key Value
PARAM_VALUE 1 event_type 3
PARAM_VALUE 5 asoc 4096-ptr_max
PARAM_VALUE 5 asoc->outqueue.asoc 4096-ptr_max
PARAM_VALUE 5 asoc->outqueue.asoc->peer.primary_path 4096-ptr_max
PARAM_VALUE 5 asoc->outqueue.asoc->peer.primary_path->cacc.changeover_active 0
PARAM_VALUE 5 asoc->outqueue.asoc->stream.out_curr->state 0-1
PARAM_VALUE 5 asoc->outqueue.asoc->stream.si 4096-ptr_max
PARAM_VALUE 5 asoc->outqueue.asoc->stream.si->generate_ftsn 4096-ptr_max
PARAM_VALUE 5 asoc->outqueue.out_qlen 0
PARAM_VALUE 5 asoc->outqueue.outstanding_bytes 0
PARAM_VALUE 5 asoc->outqueue.retransmit.next 4096-ptr_max
PARAM_VALUE 5 asoc->outqueue.retransmit.next->prev->next 4096-ptr_max
PARAM_VALUE 5 asoc->outqueue.retransmit.next->prev->prev 4096-ptr_max
PARAM_VALUE 6 event_arg 0
PARAM_VALUE 7 gfp 2080
DATA_SOURCE 5 asoc $1
UNITS 0 net unit_byte

net/sctp/sm_sideeffect.c sctp_generate_heartbeat_event() -> sctp_do_sm()

Type Parameter Key Value
PARAM_VALUE 1 event_type 2
PARAM_VALUE 5 asoc 4096-ptr_max
PARAM_VALUE 5 asoc->base.sk 4096-ptr_max
PARAM_VALUE 5 asoc->base.sk->sk_lock.owned 0
PARAM_VALUE 5 asoc->base.sk->sk_lock.slock.rlock.dep_map->name 0-255
PARAM_VALUE 6 event_arg 4096-ptr_max
PARAM_VALUE 7 gfp 2080
RX_PATH
TASK_NOT_RUNNING
UNITS 0 net unit_byte
LOCK2 &sk->sk_lock.slock
TYPE_LOCK (struct socket_lock_t)->slock

net/sctp/sm_sideeffect.c sctp_generate_probe_event() -> sctp_do_sm()

Type Parameter Key Value
PARAM_VALUE 1 event_type 2
PARAM_VALUE 5 asoc 4096-ptr_max
PARAM_VALUE 5 asoc->base.sk 4096-ptr_max
PARAM_VALUE 5 asoc->base.sk->sk_lock.owned 0
PARAM_VALUE 5 asoc->base.sk->sk_lock.slock.rlock.dep_map->name 0-255
PARAM_VALUE 6 event_arg 4096-ptr_max
PARAM_VALUE 7 gfp 2080
RX_PATH
TASK_NOT_RUNNING
UNITS 0 net unit_byte
LOCK2 &sk->sk_lock.slock
TYPE_LOCK (struct socket_lock_t)->slock

net/sctp/sm_sideeffect.c sctp_generate_proto_unreach_event() -> sctp_do_sm()

Type Parameter Key Value
PARAM_VALUE 1 event_type 3
PARAM_VALUE 5 asoc 4096-ptr_max
PARAM_VALUE 5 asoc->base.dead 0
PARAM_VALUE 5 asoc->base.sk 4096-ptr_max
PARAM_VALUE 5 asoc->base.sk->sk_lock.owned 0
PARAM_VALUE 5 asoc->base.sk->sk_lock.slock.rlock.dep_map->name 0-255
PARAM_VALUE 6 event_arg 4096-ptr_max
PARAM_VALUE 7 gfp 2080
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 net unit_byte
LOCK2 &sk->sk_lock.slock
TYPE_LOCK (struct socket_lock_t)->slock

net/sctp/sm_sideeffect.c sctp_generate_reconf_event() -> sctp_do_sm()

Type Parameter Key Value
PARAM_VALUE 1 event_type 2
PARAM_VALUE 5 asoc 4096-ptr_max
PARAM_VALUE 5 asoc->base.sk 4096-ptr_max
PARAM_VALUE 5 asoc->base.sk->sk_lock.owned 0
PARAM_VALUE 5 asoc->base.sk->sk_lock.slock.rlock.dep_map->name 0-255
PARAM_VALUE 5 asoc->strreset_chunk 1-u64max
PARAM_VALUE 6 event_arg 4096-ptr_max
PARAM_VALUE 7 gfp 2080
RX_PATH
TASK_NOT_RUNNING
UNITS 0 net unit_byte
LOCK2 &sk->sk_lock.slock
TYPE_LOCK (struct socket_lock_t)->slock

net/sctp/sm_sideeffect.c sctp_generate_t3_rtx_event() -> sctp_do_sm()

Type Parameter Key Value
PARAM_VALUE 1 event_type 2
PARAM_VALUE 5 asoc 4096-ptr_max
PARAM_VALUE 5 asoc->base.sk 4096-ptr_max
PARAM_VALUE 5 asoc->base.sk->sk_lock.owned 0
PARAM_VALUE 5 asoc->base.sk->sk_lock.slock.rlock.dep_map->name 0-255
PARAM_VALUE 6 event_arg 4096-ptr_max
PARAM_VALUE 7 gfp 2080
RX_PATH
TASK_NOT_RUNNING
UNITS 0 net unit_byte
LOCK2 &sk->sk_lock.slock
TYPE_LOCK (struct socket_lock_t)->slock

net/sctp/sm_sideeffect.c sctp_generate_timeout_event() -> sctp_do_sm()

Type Parameter Key Value
PARAM_VALUE 1 event_type 2
PARAM_VALUE 5 asoc 4096-ptr_max
PARAM_VALUE 5 asoc->base.dead 0
PARAM_VALUE 5 asoc->base.sk 4096-ptr_max
PARAM_VALUE 5 asoc->base.sk->sk_lock.owned 0
PARAM_VALUE 5 asoc->base.sk->sk_lock.slock.rlock.dep_map->name 0-255
PARAM_VALUE 6 event_arg 1-3,5-6,10-11
PARAM_VALUE 7 gfp 2080
DATA_SOURCE 5 asoc $0
DATA_SOURCE 6 event_arg $1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 net unit_byte
LOCK2 &sk->sk_lock.slock
TYPE_LOCK (struct socket_lock_t)->slock

net/sctp/input.c sctp_icmp_proto_unreachable() -> sctp_do_sm()

Type Parameter Key Value
PARAM_VALUE 1 event_type 3
PARAM_VALUE 5 asoc 4096-ptr_max
PARAM_VALUE 6 event_arg 4096-ptr_max
PARAM_VALUE 7 gfp 2080
DATA_SOURCE 5 asoc $1
DATA_SOURCE 6 event_arg $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 net unit_byte
LOCK2 &sk->sk_lock.slock
TYPE_LOCK (struct socket_lock_t)->slock

net/sctp/endpointola.c sctp_endpoint_bh_rcv() -> sctp_do_sm()

Type Parameter Key Value
PARAM_VALUE 1 event_type 1
PARAM_VALUE 4 ep 4096-ptr_max
PARAM_VALUE 4 ep->base.inqueue.in_progress 4096-ptr_max
PARAM_VALUE 4 ep->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 4 ep->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->dead 0-1
PARAM_VALUE 4 ep->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 4 ep->base.inqueue.in_progress->skb 4096-ptr_max
PARAM_VALUE 4 ep->base.inqueue.in_progress->skb->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 4 ep->base.inqueue.in_progress->skb->sk->ns_tracker->dead 0-1
PARAM_VALUE 4 ep->base.inqueue.in_progress->skb->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 5 asoc 0,4096-ptr_max
PARAM_VALUE 6 event_arg 4096-ptr_max
PARAM_VALUE 7 gfp 2080
CAPPED_DATA 4 ep 1
DATA_SOURCE 2 subtype r SCTP_ST_CHUNK
DATA_SOURCE 6 event_arg r sctp_inq_pop
UNITS 0 net unit_byte
HALF_LOCKED2 &pool->lock

net/sctp/primitive.c sctp_primitive_ABORT() -> sctp_do_sm()

Type Parameter Key Value
PARAM_VALUE 1 event_type 4
PARAM_VALUE 5 asoc 4096-ptr_max
PARAM_VALUE 5 asoc->outqueue.asoc->stream.out_curr->state 0-1
PARAM_VALUE 6 event_arg 0,4096-ptr_max
PARAM_VALUE 7 gfp 3264
BUF_SIZE 6 event_arg (-1)-s32max
BUF_SIZE 6 event_arg (-1)-s32max
DATA_SOURCE 0 net $0
DATA_SOURCE 2 subtype r SCTP_ST_PRIMITIVE
DATA_SOURCE 5 asoc $1
DATA_SOURCE 6 event_arg $2
RX_PATH
TASK_NOT_RUNNING
UNITS 0 net unit_byte
LOCK2 sk

net/sctp/primitive.c sctp_primitive_ASCONF() -> sctp_do_sm()

Type Parameter Key Value
PARAM_VALUE 1 event_type 4
PARAM_VALUE 3 state 3
PARAM_VALUE 5 asoc 4096-ptr_max
PARAM_VALUE 5 asoc->addip_last_asconf 0
PARAM_VALUE 5 asoc->peer.asconf_capable 1
PARAM_VALUE 5 asoc->state 3
PARAM_VALUE 6 event_arg 4096-ptr_max
PARAM_VALUE 7 gfp 3264
BUF_SIZE 6 event_arg (-1),1-s32max
BUF_SIZE 6 event_arg (-1),1-s32max
DATA_SOURCE 0 net $0
DATA_SOURCE 2 subtype r SCTP_ST_PRIMITIVE
DATA_SOURCE 5 asoc $1
DATA_SOURCE 6 event_arg $2
BIT_INFO 5 asoc->peer.addip_disabled_mask 0x0,0xff3f
RX_PATH
TASK_NOT_RUNNING
UNITS 0 net unit_byte
HALF_LOCKED2 sk

net/sctp/primitive.c sctp_primitive_ASSOCIATE() -> sctp_do_sm()

Type Parameter Key Value
PARAM_VALUE 1 event_type 4
PARAM_VALUE 5 asoc 0,4096-ptr_max
PARAM_VALUE 6 event_arg 0
PARAM_VALUE 7 gfp 3264
DATA_SOURCE 0 net $0
DATA_SOURCE 2 subtype r SCTP_ST_PRIMITIVE
DATA_SOURCE 5 asoc $1
DATA_SOURCE 6 event_arg $2
NOSPEC 5 asoc->c.raw_addr_list_len
NOSPEC 5 asoc->peer.port
RX_PATH
TASK_NOT_RUNNING
USER_DATA 5 asoc->addip_serial 0-u32max[u]
USER_DATA 5 asoc->c.adaptation_ind 0-u32max[u]
USER_DATA 5 asoc->c.expiration s64min-s64max
USER_DATA 5 asoc->c.initial_tsn 0-u32max[u]
USER_DATA 5 asoc->c.my_ttag 0-u32max
USER_DATA 5 asoc->c.padding 0-255[u]
USER_DATA 5 asoc->c.peer_addr.sa.sa_family 0-u16max[u]
USER_DATA 5 asoc->c.peer_addr.v4.sin_family 0-u16max[u]
USER_DATA 5 asoc->c.peer_addr.v6.sin6_family 0-u16max[u]
USER_DATA 5 asoc->c.peer_addr.v6.sin6_flowinfo 0-u32max[u]
USER_DATA 5 asoc->c.peer_addr.v6.sin6_port 0-u16max[u]
USER_DATA 5 asoc->c.peer_addr.v6.sin6_scope_id 0-u32max[u]
USER_DATA 5 asoc->c.peer_ttag 0-u32max
USER_DATA 5 asoc->c.peer_vtag 0-u32max
USER_DATA 5 asoc->c.prsctp_capable 0-255[u]
USER_DATA 5 asoc->c.raw_addr_list_len 0-65331[c][u]
USER_DATA 5 asoc->c.sinit_max_instreams 0-u16max[u]
USER_DATA 5 asoc->c.sinit_num_ostreams 0-u16max[u]
USER_DATA 5 asoc->default_hmac_id 0-3
USER_DATA 5 asoc->force_delay 0-1
USER_DATA 5 asoc->frag_point 0,4-65512[c]
USER_DATA 5 asoc->next_tsn 0-u32max[u]
USER_DATA 5 asoc->peer.active_path->flowlabel 1048576-2097151[c]
USER_DATA 5 asoc->peer.active_path->packet.destination_port 0-u16max
USER_DATA 5 asoc->peer.active_path->packet.source_port 0-u16max
USER_DATA 5 asoc->peer.adaptation_ind 0-u32max
USER_DATA 5 asoc->peer.port 0-u16max
USER_DATA 5 asoc->peer.primary_addr.sa.sa_family 2,10[c]
USER_DATA 5 asoc->peer.primary_addr.v4.sin_addr.s_addr 0-u32max
USER_DATA 5 asoc->peer.primary_addr.v4.sin_family 0-u16max
USER_DATA 5 asoc->peer.primary_addr.v4.sin_port 0-u16max
USER_DATA 5 asoc->peer.primary_addr.v6.sin6_family 0-u16max
USER_DATA 5 asoc->peer.primary_addr.v6.sin6_flowinfo 0-u32max
USER_DATA 5 asoc->peer.primary_addr.v6.sin6_port 0-u16max
USER_DATA 5 asoc->peer.primary_addr.v6.sin6_scope_id 0-u32max
USER_DATA 5 asoc->peer.primary_path->flowlabel 1048576-2097151[c]
USER_DATA 5 asoc->peer.primary_path->ipaddr.v4.sin_addr.s_addr 0-u32max
USER_DATA 5 asoc->peer.primary_path->ipaddr.v4.sin_port 0-u16max
USER_DATA 5 asoc->peer.primary_path->ipaddr.v6.sin6_port 0-u16max
USER_DATA 5 asoc->peer.primary_path->packet.destination_port 0-u16max
USER_DATA 5 asoc->peer.primary_path->packet.source_port 0-u16max
USER_DATA 5 asoc->peer.prsctp_capable 0-1[u]
USER_DATA 5 asoc->peer.retran_path->cacc.next_tsn_at_change 0-u32max[u]
USER_DATA 5 asoc->peer.retran_path->flowlabel 1048576-2097151[c]
USER_DATA 5 asoc->peer.retran_path->ipaddr.sa.sa_family 2,10[c]
USER_DATA 5 asoc->peer.retran_path->ipaddr.v4.sin_addr.s_addr 0-u32max
USER_DATA 5 asoc->peer.retran_path->ipaddr.v4.sin_family 0-u16max
USER_DATA 5 asoc->peer.retran_path->ipaddr.v6.sin6_family 0-u16max
USER_DATA 5 asoc->peer.retran_path->ipaddr.v6.sin6_flowinfo 0-u32max
USER_DATA 5 asoc->peer.retran_path->ipaddr.v6.sin6_scope_id 0-u32max
USER_DATA 5 asoc->peer.retran_path->packet.destination_port 0-u16max
USER_DATA 5 asoc->peer.retran_path->packet.source_port 0-u16max
USER_DATA 5 asoc->peer.tsn_map.base_tsn 0-u32max
USER_DATA 5 asoc->strreset_outseq 0-u32max[u]
UNITS 0 net unit_byte
LOCK2 sk

net/sctp/primitive.c sctp_primitive_RECONF() -> sctp_do_sm()

Type Parameter Key Value
PARAM_VALUE 1 event_type 4
PARAM_VALUE 5 asoc 4096-ptr_max
PARAM_VALUE 5 asoc->peer.reconf_capable 1
PARAM_VALUE 5 asoc->strreset_chunk 4096-ptr_max
PARAM_VALUE 5 asoc->strreset_chunk->asoc 4096-ptr_max
PARAM_VALUE 5 asoc->strreset_chunk->chunk_hdr 4096-ptr_max
PARAM_VALUE 5 asoc->strreset_chunk->fast_retransmit 0
PARAM_VALUE 5 asoc->strreset_chunk->frag_list.next 4096-ptr_max
PARAM_VALUE 5 asoc->strreset_chunk->frag_list.prev 4096-ptr_max
PARAM_VALUE 5 asoc->strreset_chunk->list.next 1-u64max
PARAM_VALUE 5 asoc->strreset_chunk->list.prev 1-u64max
PARAM_VALUE 5 asoc->strreset_chunk->singleton 1
PARAM_VALUE 5 asoc->strreset_chunk->skb 4096-ptr_max
PARAM_VALUE 5 asoc->strreset_chunk->transmitted_list.next 4096-ptr_max
PARAM_VALUE 5 asoc->strreset_chunk->transmitted_list.prev 4096-ptr_max
PARAM_VALUE 5 asoc->strreset_enable 1-255
PARAM_VALUE 5 asoc->strreset_outstanding 0
PARAM_VALUE 6 event_arg 4096-ptr_max
PARAM_VALUE 7 gfp 3264
BUF_SIZE 5 asoc->strreset_chunk (-1),1-s32max
BUF_SIZE 6 event_arg (-1),1-s32max
BUF_SIZE 6 event_arg (-1),1-s32max
DATA_SOURCE 0 net $0
DATA_SOURCE 2 subtype r SCTP_ST_PRIMITIVE
DATA_SOURCE 5 asoc $1
DATA_SOURCE 6 event_arg $2
RX_PATH
TASK_NOT_RUNNING
UNITS 0 net unit_byte
LOCK2 sk

net/sctp/primitive.c sctp_primitive_REQUESTHEARTBEAT() -> sctp_do_sm()

Type Parameter Key Value
PARAM_VALUE 1 event_type 4
PARAM_VALUE 5 asoc 4096-ptr_max
PARAM_VALUE 6 event_arg 4096-ptr_max
PARAM_VALUE 7 gfp 3264
DATA_SOURCE 0 net $0
DATA_SOURCE 2 subtype r SCTP_ST_PRIMITIVE
DATA_SOURCE 5 asoc $1
DATA_SOURCE 6 event_arg $2
RX_PATH
TASK_NOT_RUNNING
UNITS 0 net unit_byte
LOCK2 sk

net/sctp/primitive.c sctp_primitive_SEND() -> sctp_do_sm()

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

net/sctp/primitive.c sctp_primitive_SHUTDOWN() -> sctp_do_sm()

Type Parameter Key Value
PARAM_VALUE 1 event_type 4
PARAM_VALUE 5 asoc 4096-ptr_max
PARAM_VALUE 5 asoc->outqueue.asoc->stream.out_curr->state 0-1
PARAM_VALUE 6 event_arg 0
PARAM_VALUE 7 gfp 3264
DATA_SOURCE 0 net $0
DATA_SOURCE 2 subtype r SCTP_ST_PRIMITIVE
DATA_SOURCE 5 asoc $1
DATA_SOURCE 6 event_arg $2
RX_PATH
TASK_NOT_RUNNING
UNITS 0 net unit_byte
LOCK2 sk

net/sctp/associola.c sctp_assoc_bh_rcv() -> sctp_do_sm()

Type Parameter Key Value
PARAM_VALUE 1 event_type 1
PARAM_VALUE 5 asoc 4096-ptr_max
PARAM_VALUE 5 asoc->base.inqueue.in_progress 4096-ptr_max
PARAM_VALUE 5 asoc->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 5 asoc->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->dead 0-1
PARAM_VALUE 5 asoc->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 5 asoc->base.inqueue.in_progress->skb 4096-ptr_max
PARAM_VALUE 5 asoc->base.inqueue.in_progress->skb->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 5 asoc->base.inqueue.in_progress->skb->sk->ns_tracker->dead 0-1
PARAM_VALUE 5 asoc->base.inqueue.in_progress->skb->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 6 event_arg 4096-ptr_max
PARAM_VALUE 7 gfp 2080
DATA_SOURCE 2 subtype r SCTP_ST_CHUNK
DATA_SOURCE 6 event_arg r sctp_inq_pop
UNITS 0 net unit_byte
HALF_LOCKED2 &pool->lock