Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
net/sctp/ulpqueue.c sctp_ulpq_tail_event() -> sctp_queue_purge_ulpevents()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | list | 144058785027006464,629958194334998528,3613338688482631680,4213737175287484416,6300303872860090368 |
| PARAM_VALUE | 0 | list->next | 4096-ptr_max |
| PARAM_VALUE | 0 | list->prev | 4096-ptr_max |
| DATA_SOURCE | 0 | list | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
net/sctp/socket.c sctp_close() -> sctp_queue_purge_ulpevents()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | list | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | sk |
net/sctp/socket.c sctp_close() -> sctp_queue_purge_ulpevents()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | list | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | sk |
net/sctp/stream_interleave.c sctp_enqueue_event() -> sctp_queue_purge_ulpevents()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | list | 1973027937035796480,5151133878157090816,5229720423785226240,7405336222370242560 |
| PARAM_VALUE | 0 | list->next | 4096-ptr_max |
| PARAM_VALUE | 0 | list->prev | 4096-ptr_max |
| DATA_SOURCE | 0 | list | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |