Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
net/sctp/output.c sctp_packet_can_append_data() -> sctp_packet_empty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | packet | 4096-ptr_max |
| BUF_SIZE | 0 | packet | (-1),72 |
| BUF_SIZE | 0 | packet | (-1),72 |
| DATA_SOURCE | 0 | packet | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | packet->vtag | 0-u32max |
net/sctp/output.c sctp_packet_config() -> sctp_packet_empty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | packet | 4096-ptr_max |
| BUF_SIZE | 0 | packet | (-1),72 |
| BUF_SIZE | 0 | packet | (-1),72 |
| DATA_SOURCE | 0 | packet | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | packet->destination_port | 0-u16max |
| USER_DATA | 0 | packet->source_port | 0-u16max |
| USER_DATA | 0 | packet->transport->flowlabel | 1048576-2097151[c] |
| USER_DATA | 0 | packet->transport->ipaddr.sa.sa_family | 2,10[c] |
| USER_DATA | 0 | packet->transport->ipaddr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 0 | packet->transport->ipaddr.v4.sin_family | 0-u16max |
| USER_DATA | 0 | packet->transport->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 0 | packet->transport->ipaddr.v6.sin6_family | 0-u16max |
| USER_DATA | 0 | packet->transport->ipaddr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 0 | packet->transport->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 0 | packet->transport->ipaddr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 0 | packet->vtag | 0-u32max |
net/sctp/output.c sctp_packet_will_fit() -> sctp_packet_empty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | packet | 4096-ptr_max |
| BUF_SIZE | 0 | packet | (-1),72 |
| BUF_SIZE | 0 | packet | (-1),72 |
| DATA_SOURCE | 0 | packet | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | packet->destination_port | 0-u16max |
| USER_DATA | 0 | packet->source_port | 0-u16max |
| USER_DATA | 0 | packet->transport->asoc->outqueue.outstanding_bytes | 0-u32max[c][u] |
| USER_DATA | 0 | packet->transport->asoc->peer.rwnd | 1-u32max[c][u] |
| USER_DATA | 0 | packet->transport->flight_size | 0-u32max[c][u] |
| USER_DATA | 0 | packet->transport->flowlabel | 1048576-2097151[c] |
| USER_DATA | 0 | packet->transport->ipaddr.sa.sa_family | 2,10[c] |
| USER_DATA | 0 | packet->transport->ipaddr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 0 | packet->transport->ipaddr.v4.sin_family | 0-u16max |
| USER_DATA | 0 | packet->transport->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 0 | packet->transport->ipaddr.v6.sin6_family | 0-u16max |
| USER_DATA | 0 | packet->transport->ipaddr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 0 | packet->transport->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 0 | packet->transport->ipaddr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 0 | packet->vtag | 0-u32max |
net/sctp/outqueue.c sctp_outq_flush_transports() -> sctp_packet_empty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | packet | 4096-ptr_max |
| BUF_SIZE | 0 | packet | 72 |
| BIT_INFO | 0 | packet | 0x311f21d0c540cfc8,0x311f21d0c540cfc8 |
| RX_PATH | |||
| TASK_NOT_RUNNING |