Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/sctp/transport.c sctp_transport_pl_recv() -> sctp_transport_reset_raise_timer()

Type Parameter Key Value
PARAM_VALUE 0 transport 4096-ptr_max
PARAM_VALUE 0 transport->asoc 4096-ptr_max
PARAM_VALUE 0 transport->asoc->frag_point 0,4-65532
PARAM_VALUE 0 transport->asoc->stream.si->data_chunk_len 16,20
PARAM_VALUE 0 transport->pathmtu 0-65583,4294967285-u32max
PARAM_VALUE 0 transport->pl.pmtu 1-u16max
PARAM_VALUE 0 transport->pl.probe_count 0
PARAM_VALUE 0 transport->pl.probe_high 0
PARAM_VALUE 0 transport->pl.probe_size 1-u16max
PARAM_VALUE 0 transport->pl.state 3
CAPPED_DATA 0 transport->hb_nonce 1
CAPPED_DATA 0 transport->pathmtu 1
CAPPED_DATA 0 transport->pl.pmtu 1
CAPPED_DATA 0 transport->pl.probe_size 1
DATA_SOURCE 0 transport $0
BIT_INFO 0 transport->pathmtu 0x0,0x1ffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk