Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/sctp/output.c sctp_packet_init() -> sctp_packet_reset()

Type Parameter Key Value
PARAM_VALUE 0 packet 4096-ptr_max
PARAM_VALUE 0 packet->overhead 0
BUF_SIZE 0 packet (-1),72
BUF_SIZE 0 packet (-1),72
BUF_SIZE 0 packet->transport (-1),944
DATA_SOURCE 0 packet $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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

net/sctp/output.c sctp_packet_transmit() -> sctp_packet_reset()

Type Parameter Key Value
PARAM_VALUE 0 packet 4096-ptr_max
BUF_SIZE 0 packet (-1),72
BUF_SIZE 0 packet (-1),72
CAPPED_DATA 0 packet->size 1
CAPPED_DATA 0 &packet->chunk_list 1
DATA_SOURCE 0 packet $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL