Defined in 1 files as a prototype:
Referenced in 1 files:
Smatch caller information:
net/sctp/socket.c sctp_close() -> sctp_primitive_ABORT()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | asoc | 4096-ptr_max |
| PARAM_VALUE | 1 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 2 | arg | 0,4096-ptr_max |
| BUF_SIZE | 2 | arg | (-1)-s32max |
| DATA_SOURCE | 2 | arg | r sctp_make_abort_user |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | net | unit_byte |
| LOCK2 | sk |
net/sctp/socket.c sctp_sendmsg_check_sflags() -> sctp_primitive_ABORT()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | asoc | 4096-ptr_max |
| PARAM_VALUE | 2 | arg | 4096-ptr_max |
| BUF_SIZE | 2 | arg | (-1)-s32max |
| DATA_SOURCE | 1 | asoc | $0 |
| DATA_SOURCE | 2 | arg | r sctp_make_abort_user |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | net | unit_byte |
| HALF_LOCKED2 | &vq->mutex | ||
| HALF_LOCKED2 | sk |