Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

net/sctp/sm_sideeffect.c sctp_do_8_2_transport_strike() -> sctp_max_rto()

Type Parameter Key Value
PARAM_VALUE 0 asoc 4096-ptr_max
PARAM_VALUE 0 asoc->base.net 4096-ptr_max
PARAM_VALUE 1 trans 4096-ptr_max
PARAM_VALUE 1 trans->asoc 4096-ptr_max
CAPPED_DATA 1 trans 1
CAPPED_DATA 1 trans->rto 1
DATA_SOURCE 0 asoc $1
DATA_SOURCE 1 trans $2
NOCHECK_CALL

net/sctp/transport.c sctp_transport_reset() -> sctp_max_rto()

Type Parameter Key Value
PARAM_VALUE 0 asoc 4096-ptr_max
PARAM_VALUE 1 trans 4096-ptr_max
PARAM_VALUE 1 trans->asoc 4096-ptr_max
PARAM_VALUE 1 trans->burst_limited 0
PARAM_VALUE 1 trans->ipaddr.sa.sa_family 2,10
CAPPED_DATA 1 trans->cwnd 1
CAPPED_DATA 1 trans->ipaddr.sa.sa_family 1
DATA_SOURCE 1 trans $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/transport.c sctp_transport_update_rto() -> sctp_max_rto()

Type Parameter Key Value
PARAM_VALUE 0 asoc 4096-ptr_max
PARAM_VALUE 1 trans 4096-ptr_max
PARAM_VALUE 1 trans->af_specific->sockaddr_len 0,16,28
PARAM_VALUE 1 trans->asoc 4096-ptr_max
PARAM_VALUE 1 trans->rttvar 1-u32max
CAPPED_DATA 0 asoc->rto_min 1
CAPPED_DATA 1 trans->asoc->rto_min 1
CAPPED_DATA 1 trans->rto 1
DATA_SOURCE 1 trans $0
FUZZY_MAX 1 trans->rttvar 1
NOCHECK_CALL

net/sctp/socket.c sctp_send_asconf_add_ip() -> sctp_max_rto()

Type Parameter Key Value
PARAM_VALUE 0 asoc 4096-ptr_max
PARAM_VALUE 0 asoc->peer.asconf_capable 1
PARAM_VALUE 0 asoc->src_out_of_asoc_ok s32min-(-1),1-s32max
PARAM_VALUE 0 asoc->state 3
PARAM_VALUE 1 trans 4096-ptr_max
PARAM_VALUE 1 trans->af_specific->get_dst 0,4096-ptr_max
PARAM_VALUE 1 trans->af_specific->sockaddr_len 0,16,28
CAPPED_DATA 0 &asoc->asocs 1
CAPPED_DATA 0 &asoc->peer.transport_addr_list 1
CAPPED_DATA 1 trans->cwnd 1
BIT_INFO 0 asoc->peer.addip_disabled_mask 0x0,0xfe3f
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &net->sctp.addr_wq_lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh
HALF_LOCKED2 sk

net/sctp/associola.c sctp_assoc_add_peer() -> sctp_max_rto()

Type Parameter Key Value
PARAM_VALUE 0 asoc 4096-ptr_max
PARAM_VALUE 0 asoc->base.net->sctp.max_retrans_path 0-u16max
PARAM_VALUE 0 asoc->base.net->sctp.pf_retrans 0-u16max
PARAM_VALUE 0 asoc->outqueue.sched->dequeue 4038417008399814656,4226222399964753920,6655190774967316480,8665237390103625728
PARAM_VALUE 0 asoc->outqueue.sched->dequeue_done 1807982924199383040,3156876484872548352,3372593028174364672,9158854385249738752
PARAM_VALUE 0 asoc->outqueue.sched->enqueue 2671639469245001728,6229596755538259968,6689935584130400256,8240962265936748544
PARAM_VALUE 0 asoc->outqueue.sched->free_sid 586196626866069504,2190553042971140096,6518328087334232064,6959756606677487616
PARAM_VALUE 0 asoc->outqueue.sched->get 1556208625275609088,2354324493855285248,3168642573887655936,3260818816899301376,7260443827905708032
PARAM_VALUE 0 asoc->outqueue.sched->init 2662583524079095808,3762032173587058688,7563697736999780352,9058018907907522560
PARAM_VALUE 0 asoc->outqueue.sched->init_sid 531006935798992896,5516633324243144704,6616183830673838080,7216798075140956160
PARAM_VALUE 0 asoc->outqueue.sched->sched_all 3060080010077085696,3200858702963396608,5296135041063636992,8493908269654249472
PARAM_VALUE 0 asoc->outqueue.sched->set 1544791478311620608,2233367098664521728,3259015772970213376,6054795723788525568,8730520473264320512
PARAM_VALUE 0 asoc->outqueue.sched->unsched_all 1181272021840441344,3562156887881297920,4950837965607002112,8300844112035074048
PARAM_VALUE 0 asoc->peer.transport_count 0-65534
PARAM_VALUE 0 asoc->stream.si->abort_pd 4013874700188033024,7473634343065686016
PARAM_VALUE 0 asoc->stream.si->assign_number 2938229834975014912,4395241547658502144
PARAM_VALUE 0 asoc->stream.si->data_chunk_len 16,20
PARAM_VALUE 0 asoc->stream.si->enqueue_event 2153494495788359680,7329732674818818048
PARAM_VALUE 0 asoc->stream.si->ftsn_chunk_len 8
PARAM_VALUE 0 asoc->stream.si->generate_ftsn 1142965498112389120,8385514588456304640
PARAM_VALUE 0 asoc->stream.si->handle_ftsn 74869151756333056,5435815914550931456
PARAM_VALUE 0 asoc->stream.si->make_datafrag 6659804207675674624,7010030273759510528
PARAM_VALUE 0 asoc->stream.si->renege_events 5434029186302996480,8555912088225427456
PARAM_VALUE 0 asoc->stream.si->report_ftsn 891930293286313984,9067798030889078784
PARAM_VALUE 0 asoc->stream.si->start_pd 1272975562989445120,2428449025809031168
PARAM_VALUE 0 asoc->stream.si->ulpevent_data 7974919070111588352,8646894427506376704
PARAM_VALUE 0 asoc->stream.si->validate_data 148226341411205120,7579807691647606784
PARAM_VALUE 0 asoc->stream.si->validate_ftsn 1291880574891556864,5823089558653038592
PARAM_VALUE 0 *asoc->c.auth_chunks 0-255
PARAM_VALUE 0 *asoc->c.auth_hmacs 0-255
PARAM_VALUE 1 trans 4096-ptr_max
PARAM_VALUE 1 trans->T3_rtx_timer.entry.pprev 0
PARAM_VALUE 1 trans->T3_rtx_timer.flags 0-4194302
PARAM_VALUE 1 trans->T3_rtx_timer.lockdep_map->name 0-255
PARAM_VALUE 1 trans->af_specific 587912892075335680,8726587749426151424
PARAM_VALUE 1 trans->af_specific->get_dst 4096-ptr_max
PARAM_VALUE 1 trans->af_specific->sockaddr_len 0,16,28
PARAM_VALUE 1 trans->asoc 4096-ptr_max
PARAM_VALUE 1 trans->asoc->peer.transport_count 0-65534
PARAM_VALUE 1 trans->burst_limited 0
PARAM_VALUE 1 trans->dst 0-ptr_max
PARAM_VALUE 1 trans->dst_pending_confirm 0
PARAM_VALUE 1 trans->flight_size 0
PARAM_VALUE 1 trans->hb_timer.entry.pprev 0
PARAM_VALUE 1 trans->hb_timer.flags 0-4194302
PARAM_VALUE 1 trans->hb_timer.lockdep_map->name 0-255
PARAM_VALUE 1 trans->last_time_heard 0
PARAM_VALUE 1 trans->packet.auth 0
PARAM_VALUE 1 trans->packet.chunk_list.next 4096-ptr_max
PARAM_VALUE 1 trans->packet.chunk_list.next->next 4096-ptr_max
PARAM_VALUE 1 trans->packet.chunk_list.prev 4096-ptr_max
PARAM_VALUE 1 trans->packet.chunk_list.prev->next 4096-ptr_max
PARAM_VALUE 1 trans->packet.chunk_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 trans->packet.has_auth 0
PARAM_VALUE 1 trans->packet.has_cookie_echo 0
PARAM_VALUE 1 trans->packet.has_data 0
PARAM_VALUE 1 trans->packet.has_sack 0
PARAM_VALUE 1 trans->packet.ipfragok 0
PARAM_VALUE 1 trans->packet.overhead 0
PARAM_VALUE 1 trans->packet.size 0
PARAM_VALUE 1 trans->packet.transport 4096-ptr_max
PARAM_VALUE 1 trans->packet.transport->send_ready.next 4096-ptr_max
PARAM_VALUE 1 trans->packet.transport->send_ready.prev 4096-ptr_max
PARAM_VALUE 1 trans->packet.vtag 0
PARAM_VALUE 1 trans->partial_bytes_acked 0
PARAM_VALUE 1 trans->pl.pmtu 1200
PARAM_VALUE 1 trans->pl.probe_size 1200
PARAM_VALUE 1 trans->pl.state 0-1
PARAM_VALUE 1 trans->pmtu_pending 0
PARAM_VALUE 1 trans->probe_timer.entry->pprev 4096-ptr_max
PARAM_VALUE 1 trans->probe_timer.lockdep_map->name 0-255
PARAM_VALUE 1 trans->proto_unreach_timer.entry.pprev 0
PARAM_VALUE 1 trans->proto_unreach_timer.flags 0-4194302
PARAM_VALUE 1 trans->proto_unreach_timer.lockdep_map->name 0-255
PARAM_VALUE 1 trans->reconf_timer.entry.pprev 0
PARAM_VALUE 1 trans->reconf_timer.flags 0-4194302
PARAM_VALUE 1 trans->reconf_timer.lockdep_map->name 0-255
PARAM_VALUE 1 trans->sack_generation 0
PARAM_VALUE 1 trans->send_ready.next 4096-ptr_max
PARAM_VALUE 1 trans->send_ready.next->next 4096-ptr_max
PARAM_VALUE 1 trans->send_ready.prev 4096-ptr_max
PARAM_VALUE 1 trans->send_ready.prev->next 4096-ptr_max
PARAM_VALUE 1 trans->send_ready.prev->prev 4096-ptr_max
PARAM_VALUE 1 trans->ssthresh u16max
PARAM_VALUE 1 trans->transmitted.next 4096-ptr_max
PARAM_VALUE 1 trans->transmitted.next->next 4096-ptr_max
PARAM_VALUE 1 trans->transmitted.prev 4096-ptr_max
PARAM_VALUE 1 trans->transmitted.prev->next 4096-ptr_max
PARAM_VALUE 1 trans->transmitted.prev->prev 4096-ptr_max
PARAM_VALUE 1 trans->transports.next 4096-ptr_max
PARAM_VALUE 1 trans->transports.next->next 4096-ptr_max
PARAM_VALUE 1 trans->transports.prev 4096-ptr_max
PARAM_VALUE 1 trans->transports.prev->next 4096-ptr_max
PARAM_VALUE 1 trans->transports.prev->prev 4096-ptr_max
BUF_SIZE 0 asoc (-1),3016
BUF_SIZE 0 asoc (-1),3016
BUF_SIZE 1 trans 944
CAPPED_DATA 0 asoc 1
CAPPED_DATA 0 asoc->stream.si->data_chunk_len 1
CAPPED_DATA 1 trans 1
CAPPED_DATA 1 trans->cwnd 1
DATA_SOURCE 0 asoc $0
DATA_SOURCE 1 trans r sctp_transport_new
NOSPEC 0 asoc->c.raw_addr_list_len
NOSPEC 1 trans->asoc->c.raw_addr_list_len
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 asoc->addip_serial 0-u32max[u]
USER_DATA 0 asoc->c.adaptation_ind 0-u32max[u]
USER_DATA 0 asoc->c.expiration s64min-s64max
USER_DATA 0 asoc->c.initial_tsn 0-u32max[u]
USER_DATA 0 asoc->c.my_ttag 0-u32max
USER_DATA 0 asoc->c.padding 0-255[u]
USER_DATA 0 asoc->c.peer_addr.sa.sa_family 0-u16max[u]
USER_DATA 0 asoc->c.peer_addr.v4.sin_family 0-u16max[u]
USER_DATA 0 asoc->c.peer_addr.v6.sin6_family 0-u16max[u]
USER_DATA 0 asoc->c.peer_addr.v6.sin6_flowinfo 0-u32max[u]
USER_DATA 0 asoc->c.peer_addr.v6.sin6_port 0-u16max[u]
USER_DATA 0 asoc->c.peer_addr.v6.sin6_scope_id 0-u32max[u]
USER_DATA 0 asoc->c.peer_ttag 0-u32max
USER_DATA 0 asoc->c.peer_vtag 0-u32max
USER_DATA 0 asoc->c.prsctp_capable 0-255[u]
USER_DATA 0 asoc->c.raw_addr_list_len 0-65331[c][u]
USER_DATA 0 asoc->c.sinit_max_instreams 0-u16max[u]
USER_DATA 0 asoc->c.sinit_num_ostreams 0-u16max[u]
USER_DATA 0 asoc->default_hmac_id 0-3
USER_DATA 0 asoc->force_delay 0-1
USER_DATA 0 asoc->new_transport->cacc.next_tsn_at_change 0-u32max[u]
USER_DATA 0 asoc->new_transport->flowlabel 1048576-2097151[c]
USER_DATA 0 asoc->new_transport->ipaddr.sa.sa_family 2,10[c]
USER_DATA 0 asoc->new_transport->ipaddr.v4.sin_addr.s_addr 0-u32max
USER_DATA 0 asoc->new_transport->ipaddr.v4.sin_family 0-u16max
USER_DATA 0 asoc->new_transport->ipaddr.v4.sin_port 0-u16max
USER_DATA 0 asoc->new_transport->ipaddr.v6.sin6_family 0-u16max
USER_DATA 0 asoc->new_transport->ipaddr.v6.sin6_flowinfo 0-u32max
USER_DATA 0 asoc->new_transport->ipaddr.v6.sin6_port 0-u16max
USER_DATA 0 asoc->new_transport->ipaddr.v6.sin6_scope_id 0-u32max
USER_DATA 0 asoc->new_transport->packet.destination_port 0-u16max
USER_DATA 0 asoc->new_transport->packet.source_port 0-u16max
USER_DATA 0 asoc->next_tsn 0-u32max[u]
USER_DATA 0 asoc->peer.active_path->flowlabel 1048576-2097151[c]
USER_DATA 0 asoc->peer.active_path->packet.destination_port 0-u16max
USER_DATA 0 asoc->peer.active_path->packet.source_port 0-u16max
USER_DATA 0 asoc->peer.adaptation_ind 0-u32max
USER_DATA 0 asoc->peer.port 0-u16max
USER_DATA 0 asoc->peer.primary_path->cacc.next_tsn_at_change 0-u32max[u]
USER_DATA 0 asoc->peer.primary_path->flowlabel 1048576-2097151[c]
USER_DATA 0 asoc->peer.primary_path->ipaddr.sa.sa_family 2,10[c]
USER_DATA 0 asoc->peer.primary_path->ipaddr.v4.sin_addr.s_addr 0-u32max
USER_DATA 0 asoc->peer.primary_path->ipaddr.v4.sin_family 0-u16max
USER_DATA 0 asoc->peer.primary_path->ipaddr.v4.sin_port 0-u16max
USER_DATA 0 asoc->peer.primary_path->ipaddr.v6.sin6_family 0-u16max
USER_DATA 0 asoc->peer.primary_path->ipaddr.v6.sin6_flowinfo 0-u32max
USER_DATA 0 asoc->peer.primary_path->ipaddr.v6.sin6_port 0-u16max
USER_DATA 0 asoc->peer.primary_path->ipaddr.v6.sin6_scope_id 0-u32max
USER_DATA 0 asoc->peer.primary_path->packet.destination_port 0-u16max
USER_DATA 0 asoc->peer.primary_path->packet.source_port 0-u16max
USER_DATA 0 asoc->peer.prsctp_capable 0-1[u]
USER_DATA 0 asoc->peer.retran_path->cacc.next_tsn_at_change 0-u32max[u]
USER_DATA 0 asoc->peer.retran_path->flowlabel 1048576-2097151[c]
USER_DATA 0 asoc->peer.retran_path->ipaddr.sa.sa_family 2,10[c]
USER_DATA 0 asoc->peer.retran_path->ipaddr.v4.sin_addr.s_addr 0-u32max
USER_DATA 0 asoc->peer.retran_path->ipaddr.v4.sin_family 0-u16max
USER_DATA 0 asoc->peer.retran_path->ipaddr.v4.sin_port 0-u16max
USER_DATA 0 asoc->peer.retran_path->ipaddr.v6.sin6_family 0-u16max
USER_DATA 0 asoc->peer.retran_path->ipaddr.v6.sin6_flowinfo 0-u32max
USER_DATA 0 asoc->peer.retran_path->ipaddr.v6.sin6_port 0-u16max
USER_DATA 0 asoc->peer.retran_path->ipaddr.v6.sin6_scope_id 0-u32max
USER_DATA 0 asoc->peer.retran_path->packet.destination_port 0-u16max
USER_DATA 0 asoc->peer.retran_path->packet.source_port 0-u16max
USER_DATA 0 asoc->peer.tsn_map.base_tsn 0-u32max
USER_DATA 0 asoc->strreset_outseq 0-u32max[u]
USER_DATA 1 trans->asoc->addip_serial 0-u32max[u]
USER_DATA 1 trans->asoc->c.adaptation_ind 0-u32max[u]
USER_DATA 1 trans->asoc->c.expiration s64min-s64max
USER_DATA 1 trans->asoc->c.initial_tsn 0-u32max[u]
USER_DATA 1 trans->asoc->c.my_ttag 0-u32max
USER_DATA 1 trans->asoc->c.padding 0-255[u]
USER_DATA 1 trans->asoc->c.peer_addr.sa.sa_family 0-u16max[u]
USER_DATA 1 trans->asoc->c.peer_addr.v4.sin_family 0-u16max[u]
USER_DATA 1 trans->asoc->c.peer_addr.v6.sin6_family 0-u16max[u]
USER_DATA 1 trans->asoc->c.peer_addr.v6.sin6_flowinfo 0-u32max[u]
USER_DATA 1 trans->asoc->c.peer_addr.v6.sin6_port 0-u16max[u]
USER_DATA 1 trans->asoc->c.peer_addr.v6.sin6_scope_id 0-u32max[u]
USER_DATA 1 trans->asoc->c.peer_ttag 0-u32max
USER_DATA 1 trans->asoc->c.peer_vtag 0-u32max
USER_DATA 1 trans->asoc->c.prsctp_capable 0-255[u]
USER_DATA 1 trans->asoc->c.raw_addr_list_len 0-65331[c][u]
USER_DATA 1 trans->asoc->c.sinit_max_instreams 0-u16max[u]
USER_DATA 1 trans->asoc->c.sinit_num_ostreams 0-u16max[u]
USER_DATA 1 trans->asoc->default_hmac_id 0-3
USER_DATA 1 trans->asoc->force_delay 0-1
USER_DATA 1 trans->asoc->next_tsn 0-u32max[u]
USER_DATA 1 trans->asoc->peer.adaptation_ind 0-u32max
USER_DATA 1 trans->asoc->peer.port 0-u16max
USER_DATA 1 trans->asoc->peer.primary_addr.sa.sa_family 2,10[c]
USER_DATA 1 trans->asoc->peer.primary_addr.v4.sin_family 0-u16max
USER_DATA 1 trans->asoc->peer.primary_addr.v4.sin_port 0-u16max
USER_DATA 1 trans->asoc->peer.primary_addr.v6.sin6_family 0-u16max
USER_DATA 1 trans->asoc->peer.primary_addr.v6.sin6_flowinfo 0-u32max
USER_DATA 1 trans->asoc->peer.primary_addr.v6.sin6_port 0-u16max
USER_DATA 1 trans->asoc->peer.primary_addr.v6.sin6_scope_id 0-u32max
USER_DATA 1 trans->asoc->peer.prsctp_capable 0-1[u]
USER_DATA 1 trans->asoc->peer.tsn_map.base_tsn 0-u32max
USER_DATA 1 trans->asoc->strreset_outseq 0-u32max[u]
USER_DATA 1 trans->flowlabel 1048576-2097151[c]
USER_DATA 1 trans->ipaddr.sa.sa_family 2,10
USER_DATA 1 trans->ipaddr.v4.sin_addr.s_addr 0-u32max
USER_DATA 1 trans->ipaddr.v4.sin_family 0-u16max
USER_DATA 1 trans->ipaddr.v4.sin_port 0-u16max
USER_DATA 1 trans->ipaddr.v6.sin6_family 0-u16max
USER_DATA 1 trans->ipaddr.v6.sin6_flowinfo 0-u32max
USER_DATA 1 trans->ipaddr.v6.sin6_port 0-u16max
USER_DATA 1 trans->ipaddr.v6.sin6_scope_id 0-u32max
USER_DATA 1 trans->packet.destination_port 0-u16max
USER_DATA 1 trans->packet.source_port 0-u16max
USER_DATA 1 trans->packet.transport->flowlabel 1048576-2097151[c]
USER_DATA 1 trans->packet.transport->ipaddr.sa.sa_family 2,10[c]
USER_DATA 1 trans->packet.transport->ipaddr.v4.sin_addr.s_addr 0-u32max
USER_DATA 1 trans->packet.transport->ipaddr.v4.sin_family 0-u16max
USER_DATA 1 trans->packet.transport->ipaddr.v4.sin_port 0-u16max
USER_DATA 1 trans->packet.transport->ipaddr.v6.sin6_family 0-u16max
USER_DATA 1 trans->packet.transport->ipaddr.v6.sin6_flowinfo 0-u32max
USER_DATA 1 trans->packet.transport->ipaddr.v6.sin6_port 0-u16max
USER_DATA 1 trans->packet.transport->ipaddr.v6.sin6_scope_id 0-u32max
HALF_LOCKED2 sk