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 |