Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/sctp/sm_sideeffect.c sctp_cmd_delete_tcb() -> __sctp_sstate()

Type Parameter Key Value
PARAM_VALUE 1 state 10
UNITS 0 sk unit_byte

net/sctp/sm_sideeffect.c sctp_cmd_new_state() -> __sctp_sstate()

Type Parameter Key Value
PARAM_VALUE 1 state 7
UNITS 0 sk unit_byte

net/sctp/sm_sideeffect.c sctp_cmd_new_state() -> __sctp_sstate()

Type Parameter Key Value
PARAM_VALUE 1 state 1
UNITS 0 sk unit_byte

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

Type Parameter Key Value
PARAM_VALUE 1 state 8
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

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

Type Parameter Key Value
PARAM_VALUE 1 state 10
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/sm_statefuns.c sctp_sf_do_dupcook_a() -> __sctp_sstate()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 1 state 8
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/socket.c __sctp_connect() -> __sctp_sstate()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 1 state 1
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
LOCK2 sk

net/sctp/socket.c __sctp_connect() -> __sctp_sstate()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_state 0,2-255
PARAM_VALUE 1 state 8
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
LOCK2 sk

net/sctp/socket.c __sctp_connect() -> __sctp_sstate()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_state 0,2-7,9-255
PARAM_VALUE 1 state 10
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
LOCK2 sk

net/sctp/socket.c sctp_accept() -> __sctp_sstate()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 1 state 10
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 sk

net/sctp/socket.c sctp_id2assoc() -> __sctp_sstate()

Type Parameter Key Value
PARAM_VALUE 1 state 1
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 sk

net/sctp/socket.c sctp_id2assoc() -> __sctp_sstate()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_state 0,2-255
PARAM_VALUE 1 state 8
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 sk

net/sctp/socket.c sctp_inet_listen() -> __sctp_sstate()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 1 state 10
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
LOCK2 sk
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 global &ls_lock
HALF_LOCKED2 global &o2nm_cluster_group.cs_subsys.su_mutex
HALF_LOCKED2 global &pernet_ops_rwsem

net/sctp/socket.c sctp_inet_listen() -> __sctp_sstate()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_state 0-9,11-255
PARAM_VALUE 1 state 7
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
LOCK2 sk
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 global &ls_lock
HALF_LOCKED2 global &o2nm_cluster_group.cs_subsys.su_mutex
HALF_LOCKED2 global &pernet_ops_rwsem

net/sctp/socket.c sctp_inet_listen() -> __sctp_sstate()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_state 7,10
PARAM_VALUE 1 state 7
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
LOCK2 sk

net/sctp/socket.c sctp_inet_listen() -> __sctp_sstate()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_state 7,10
PARAM_VALUE 1 state 10
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
LOCK2 sk
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 global &ls_lock
HALF_LOCKED2 global &o2nm_cluster_group.cs_subsys.su_mutex
HALF_LOCKED2 global &pernet_ops_rwsem

net/sctp/socket.c sctp_ioctl() -> __sctp_sstate()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 1 state 10
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 sk

net/sctp/socket.c sctp_poll() -> __sctp_sstate()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 1 state 10
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
HALF_LOCKED2 &pool->lock

net/sctp/socket.c sctp_poll() -> __sctp_sstate()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 1 state 7
CAPPED_DATA 0 &sk->sk_error_queue 1
CAPPED_DATA 0 &sk->sk_receive_queue 1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
HALF_LOCKED2 &pool->lock

net/sctp/socket.c sctp_recvmsg() -> __sctp_sstate()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 1 state 1
CAPPED_DATA 0 &sk->sk_receive_queue 1
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
LOCK2 sk

net/sctp/socket.c sctp_recvmsg() -> __sctp_sstate()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_state 0,2-255
PARAM_VALUE 1 state 8
CAPPED_DATA 0 &sk->sk_receive_queue 1
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
LOCK2 sk

net/sctp/socket.c sctp_recvmsg() -> __sctp_sstate()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_state 0,2-7,9-255
PARAM_VALUE 1 state 7
CAPPED_DATA 0 &sk->sk_receive_queue 1
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
LOCK2 sk

net/sctp/socket.c sctp_sendmsg_new_asoc() -> __sctp_sstate()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 1 state 1
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
LOCK2 sk
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

net/sctp/socket.c sctp_sendmsg_new_asoc() -> __sctp_sstate()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_state 0,2-255
PARAM_VALUE 1 state 8
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
LOCK2 sk
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

net/sctp/socket.c sctp_sendmsg_parse() -> __sctp_sstate()

Type Parameter Key Value
PARAM_VALUE 1 state 10
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

net/sctp/socket.c sctp_wait_for_accept() -> __sctp_sstate()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 1 state 10
CAPPED_DATA 0 sk 1
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 sk
HALF_LOCKED2 &pool->lock

net/sctp/socket.c sctp_wait_for_packet() -> __sctp_sstate()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 1 state 10
CAPPED_DATA 0 sk 1
CAPPED_DATA 0 sk->sk_receive_queue.next 1
CAPPED_DATA 0 &sk->sk_receive_queue 1
DATA_SOURCE 0 sk $0
PARAM_COMPARE 0 &sk->sk_receive_queue == $0->sk_receive_queue.next
BIT_INFO 0 sk->sk_shutdown 0x0,0xfe
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
LOCK2 sk

net/sctp/endpointola.c sctp_endpoint_add_asoc() -> __sctp_sstate()

Type Parameter Key Value
PARAM_VALUE 1 state 10
RX_PATH
UNITS 0 sk unit_byte
LOCK2 newsk
LOCK2 oldsk

net/sctp/associola.c sctp_association_free() -> __sctp_sstate()

Type Parameter Key Value
PARAM_VALUE 1 state 10
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
HALF_LOCKED2 sk