Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/sctp/associola.c sctp_association_init() -> sctp_ulpq_init()

Type Parameter Key Value
PARAM_VALUE 0 ulpq 4096-ptr_max
PARAM_VALUE 1 asoc 4096-ptr_max
PARAM_VALUE 1 asoc->a_rwnd 1500-s32max
PARAM_VALUE 1 asoc->addip_chunk_list.next 4096-ptr_max
PARAM_VALUE 1 asoc->addip_chunk_list.next->next 4096-ptr_max
PARAM_VALUE 1 asoc->addip_chunk_list.prev 4096-ptr_max
PARAM_VALUE 1 asoc->addip_chunk_list.prev->next 4096-ptr_max
PARAM_VALUE 1 asoc->addip_chunk_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 asoc->asconf_ack_list.next 4096-ptr_max
PARAM_VALUE 1 asoc->asconf_ack_list.next->next 4096-ptr_max
PARAM_VALUE 1 asoc->asconf_ack_list.prev 4096-ptr_max
PARAM_VALUE 1 asoc->asconf_ack_list.prev->next 4096-ptr_max
PARAM_VALUE 1 asoc->asconf_ack_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 asoc->base.bind_addr.address_list.next 4096-ptr_max
PARAM_VALUE 1 asoc->base.bind_addr.address_list.next->next 4096-ptr_max
PARAM_VALUE 1 asoc->base.bind_addr.address_list.prev 4096-ptr_max
PARAM_VALUE 1 asoc->base.bind_addr.address_list.prev->next 4096-ptr_max
PARAM_VALUE 1 asoc->base.bind_addr.address_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 asoc->base.inqueue.in_chunk_list.next 4096-ptr_max
PARAM_VALUE 1 asoc->base.inqueue.in_chunk_list.next->next 4096-ptr_max
PARAM_VALUE 1 asoc->base.inqueue.in_chunk_list.prev 4096-ptr_max
PARAM_VALUE 1 asoc->base.inqueue.in_chunk_list.prev->next 4096-ptr_max
PARAM_VALUE 1 asoc->base.inqueue.in_chunk_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 asoc->base.inqueue.in_progress 0
PARAM_VALUE 1 asoc->base.refcnt.refs.counter 1
PARAM_VALUE 1 asoc->base.type 1
PARAM_VALUE 1 asoc->c.my_vtag 1-u32max
PARAM_VALUE 1 asoc->dscp 0-1,4-253
PARAM_VALUE 1 asoc->ep 4096-ptr_max
PARAM_VALUE 1 asoc->ep->base.refcnt.refs.counter (-1073741824),0-s32max
PARAM_VALUE 1 asoc->flowlabel 0-2097151
PARAM_VALUE 1 asoc->hbinterval 0-536870912,4611686018427387902
PARAM_VALUE 1 asoc->max_init_timeo 0-536870912,4611686018427387902
PARAM_VALUE 1 asoc->max_retrans 0-u16max
PARAM_VALUE 1 asoc->outqueue.abandoned.next 4096-ptr_max
PARAM_VALUE 1 asoc->outqueue.abandoned.next->next 4096-ptr_max
PARAM_VALUE 1 asoc->outqueue.abandoned.prev 4096-ptr_max
PARAM_VALUE 1 asoc->outqueue.abandoned.prev->next 4096-ptr_max
PARAM_VALUE 1 asoc->outqueue.abandoned.prev->prev 4096-ptr_max
PARAM_VALUE 1 asoc->outqueue.asoc 4096-ptr_max
PARAM_VALUE 1 asoc->outqueue.control_chunk_list.next 4096-ptr_max
PARAM_VALUE 1 asoc->outqueue.control_chunk_list.next->next 4096-ptr_max
PARAM_VALUE 1 asoc->outqueue.control_chunk_list.prev 4096-ptr_max
PARAM_VALUE 1 asoc->outqueue.control_chunk_list.prev->next 4096-ptr_max
PARAM_VALUE 1 asoc->outqueue.control_chunk_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 asoc->outqueue.cork 0
PARAM_VALUE 1 asoc->outqueue.error 0
PARAM_VALUE 1 asoc->outqueue.fast_rtx 0
PARAM_VALUE 1 asoc->outqueue.out_chunk_list.next 4096-ptr_max
PARAM_VALUE 1 asoc->outqueue.out_chunk_list.next->next 4096-ptr_max
PARAM_VALUE 1 asoc->outqueue.out_chunk_list.prev 4096-ptr_max
PARAM_VALUE 1 asoc->outqueue.out_chunk_list.prev->next 4096-ptr_max
PARAM_VALUE 1 asoc->outqueue.out_chunk_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 asoc->outqueue.out_qlen 0
PARAM_VALUE 1 asoc->outqueue.outstanding_bytes 0
PARAM_VALUE 1 asoc->outqueue.retransmit.next 4096-ptr_max
PARAM_VALUE 1 asoc->outqueue.retransmit.next->next 4096-ptr_max
PARAM_VALUE 1 asoc->outqueue.retransmit.prev 4096-ptr_max
PARAM_VALUE 1 asoc->outqueue.retransmit.prev->next 4096-ptr_max
PARAM_VALUE 1 asoc->outqueue.retransmit.prev->prev 4096-ptr_max
PARAM_VALUE 1 asoc->outqueue.sacked.next 4096-ptr_max
PARAM_VALUE 1 asoc->outqueue.sacked.next->next 4096-ptr_max
PARAM_VALUE 1 asoc->outqueue.sacked.prev 4096-ptr_max
PARAM_VALUE 1 asoc->outqueue.sacked.prev->next 4096-ptr_max
PARAM_VALUE 1 asoc->outqueue.sacked.prev->prev 4096-ptr_max
PARAM_VALUE 1 asoc->outqueue.sched 0,4096-ptr_max
PARAM_VALUE 1 asoc->outqueue.sched->dequeue 4038417008399814656,4226222399964753920,6655190774967316480,8665237390103625728
PARAM_VALUE 1 asoc->outqueue.sched->dequeue_done 1807982924199383040,3156876484872548352,3372593028174364672,9158854385249738752
PARAM_VALUE 1 asoc->outqueue.sched->enqueue 2671639469245001728,6229596755538259968,6689935584130400256,8240962265936748544
PARAM_VALUE 1 asoc->outqueue.sched->free_sid 586196626866069504,2190553042971140096,6518328087334232064,6959756606677487616
PARAM_VALUE 1 asoc->outqueue.sched->get 1556208625275609088,2354324493855285248,3168642573887655936,3260818816899301376,7260443827905708032
PARAM_VALUE 1 asoc->outqueue.sched->init 2662583524079095808,3762032173587058688,7563697736999780352,9058018907907522560
PARAM_VALUE 1 asoc->outqueue.sched->init_sid 531006935798992896,5516633324243144704,6616183830673838080,7216798075140956160
PARAM_VALUE 1 asoc->outqueue.sched->sched_all 3060080010077085696,3200858702963396608,5296135041063636992,8493908269654249472
PARAM_VALUE 1 asoc->outqueue.sched->set 1544791478311620608,2233367098664521728,3259015772970213376,6054795723788525568,8730520473264320512
PARAM_VALUE 1 asoc->outqueue.sched->unsched_all 1181272021840441344,3562156887881297920,4950837965607002112,8300844112035074048
PARAM_VALUE 1 asoc->peer.rwnd u16max
PARAM_VALUE 1 asoc->peer.sack_generation 1
PARAM_VALUE 1 asoc->peer.sack_needed 1
PARAM_VALUE 1 asoc->peer.transport_addr_list.next 4096-ptr_max
PARAM_VALUE 1 asoc->peer.transport_addr_list.next->next 4096-ptr_max
PARAM_VALUE 1 asoc->peer.transport_addr_list.prev 4096-ptr_max
PARAM_VALUE 1 asoc->peer.transport_addr_list.prev->next 4096-ptr_max
PARAM_VALUE 1 asoc->peer.transport_addr_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 asoc->probe_interval 0-536870912,4611686018427387902
PARAM_VALUE 1 asoc->rmem_alloc.counter 0
PARAM_VALUE 1 asoc->rto_initial 0-536870912,4611686018427387902
PARAM_VALUE 1 asoc->rto_max 0-536870912,4611686018427387902
PARAM_VALUE 1 asoc->rto_min 0-536870912,4611686018427387902
PARAM_VALUE 1 asoc->rwnd 1500-s32max
PARAM_VALUE 1 asoc->sackdelay 0-536870912,4611686018427387902
PARAM_VALUE 1 asoc->sackfreq 2-u32max
PARAM_VALUE 1 asoc->state 0
PARAM_VALUE 1 asoc->stream.prio_list.prev->next 4096-ptr_max
PARAM_VALUE 1 asoc->stream.prio_list.prev->next->next 4096-ptr_max
PARAM_VALUE 1 asoc->timeouts 4096-ptr_max
PARAM_VALUE 1 asoc->timers 4096-ptr_max
PARAM_VALUE 1 asoc->user_frag 0,432-65516
PARAM_VALUE 1 asoc->wait.head.next 4096-ptr_max
PARAM_VALUE 1 asoc->wait.head.next->next 4096-ptr_max
PARAM_VALUE 1 asoc->wait.head.prev 4096-ptr_max
PARAM_VALUE 1 asoc->wait.head.prev->next 4096-ptr_max
PARAM_VALUE 1 asoc->wait.head.prev->prev 4096-ptr_max
BUF_SIZE 1 asoc 3016
DATA_SOURCE 1 asoc $0
FUZZY_MAX 1 asoc->rwnd 1500
MEM_ZERO 1 &asoc->outqueue
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 sk