Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/tipc/group.c tipc_group_cong() -> tipc_group_proto_xmit()

Type Parameter Key Value
PARAM_VALUE 0 grp 4096-ptr_max
PARAM_VALUE 0 grp->open 4096-ptr_max
PARAM_VALUE 0 *grp->open 0
PARAM_VALUE 1 m 4096-ptr_max
PARAM_VALUE 1 m->state 1-6,8-u32max
PARAM_VALUE 1 m->window 0-64
PARAM_VALUE 2 mtyp 2
PARAM_VALUE 3 xmitq 1938454337299705856
PARAM_VALUE 3 xmitq->next 1938454337299705856
PARAM_VALUE 3 xmitq->prev 1938454337299705856
PARAM_VALUE 3 xmitq->qlen 0
CAPPED_DATA 1 m->window 1
DATA_SOURCE 0 grp $0
DATA_SOURCE 1 m r tipc_group_find_dest
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 sk
HALF_LOCKED2 sk_

net/tipc/group.c tipc_group_delete() -> tipc_group_proto_xmit()

Type Parameter Key Value
PARAM_VALUE 0 grp 4096-ptr_max
PARAM_VALUE 1 m 4096-ptr_max
PARAM_VALUE 2 mtyp 1
PARAM_VALUE 3 xmitq 5546420653941661696
PARAM_VALUE 3 xmitq->next 5546420653941661696
PARAM_VALUE 3 xmitq->prev 5546420653941661696
PARAM_VALUE 3 xmitq->qlen 0
BUF_SIZE 0 grp (-1),136
BUF_SIZE 0 grp (-1),136
DATA_SOURCE 0 grp $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 grp->events 0-1[c]
USER_DATA 0 grp->instance 0-u32max
USER_DATA 0 grp->loopback 0-1[c]
USER_DATA 0 grp->type 64-u32max
LOCK2 sk

net/tipc/group.c tipc_group_filter_msg() -> tipc_group_proto_xmit()

Type Parameter Key Value
PARAM_VALUE 0 grp 4096-ptr_max
PARAM_VALUE 0 grp->members.rb_node 1-u64max
PARAM_VALUE 1 m 4096-ptr_max
PARAM_VALUE 1 m->state 2-u32max
PARAM_VALUE 2 mtyp 3
PARAM_VALUE 3 xmitq 1334916642675843072,4098388752544808960
PARAM_VALUE 3 xmitq->next 4096-ptr_max
PARAM_VALUE 3 xmitq->prev 4096-ptr_max
DATA_SOURCE 0 grp $0
DATA_SOURCE 1 m r tipc_group_find_member
DATA_SOURCE 3 xmitq $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh

net/tipc/group.c tipc_group_join() -> tipc_group_proto_xmit()

Type Parameter Key Value
PARAM_VALUE 0 grp 4096-ptr_max
PARAM_VALUE 0 grp->net 4096-ptr_max
PARAM_VALUE 0 grp->open 4096-ptr_max
PARAM_VALUE 0 grp->scope 2-3
PARAM_VALUE 0 grp->subid 0-s32max
PARAM_VALUE 0 grp->type 64-u32max
PARAM_VALUE 0 *grp->open 0
PARAM_VALUE 1 m 4096-ptr_max
PARAM_VALUE 2 mtyp 0
PARAM_VALUE 3 xmitq 7101256418675773440
PARAM_VALUE 3 xmitq->next 7101256418675773440
PARAM_VALUE 3 xmitq->prev 7101256418675773440
PARAM_VALUE 3 xmitq->qlen 0
BUF_SIZE 0 grp 136
DATA_SOURCE 0 grp $1
BIT_INFO 0 grp->scope 0x2,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 grp->events 0-1[c]
USER_DATA 0 grp->instance 0-u32max
USER_DATA 0 grp->loopback 0-1[c]
USER_DATA 0 grp->type 64-u32max
LOCK2 sk
HALF_LOCKED2 &smc->clcsock_release_lock

net/tipc/group.c tipc_group_member_evt() -> tipc_group_proto_xmit()

Type Parameter Key Value
PARAM_VALUE 0 grp 4096-ptr_max
PARAM_VALUE 0 grp->dests.list.next->next 4096-ptr_max
PARAM_VALUE 0 grp->dests.list.next->prev 4096-ptr_max
PARAM_VALUE 0 grp->dests.local 1
PARAM_VALUE 0 grp->members.rb_node 4096-ptr_max
PARAM_VALUE 0 grp->net 4096-ptr_max
PARAM_VALUE 0 grp->net->gen 4096-ptr_max
PARAM_VALUE 1 m 4096-ptr_max
PARAM_VALUE 1 m->deferredq.next 4096-ptr_max
PARAM_VALUE 1 m->deferredq.prev 4096-ptr_max
PARAM_VALUE 1 m->deferredq.qlen 0
PARAM_VALUE 1 m->group 4096-ptr_max
PARAM_VALUE 1 m->list.next 4096-ptr_max
PARAM_VALUE 1 m->list.next->next 4096-ptr_max
PARAM_VALUE 1 m->list.prev 4096-ptr_max
PARAM_VALUE 1 m->list.prev->next 4096-ptr_max
PARAM_VALUE 1 m->list.prev->prev 4096-ptr_max
PARAM_VALUE 1 m->small_win.next 4096-ptr_max
PARAM_VALUE 1 m->small_win.next->next 4096-ptr_max
PARAM_VALUE 1 m->small_win.prev->next 4096-ptr_max
PARAM_VALUE 1 m->small_win.prev->prev 4096-ptr_max
PARAM_VALUE 1 m->state 1
PARAM_VALUE 1 m->tree_node.__rb_parent_color 1
PARAM_VALUE 1 m->tree_node.rb_left 4096-ptr_max
PARAM_VALUE 1 m->tree_node.rb_right 4096-ptr_max
PARAM_VALUE 2 mtyp 0
PARAM_VALUE 3 xmitq 1334916642675843072,4098388752544808960
PARAM_VALUE 3 xmitq->next 4096-ptr_max
PARAM_VALUE 3 xmitq->prev 4096-ptr_max
BUF_SIZE 1 m 192
DATA_SOURCE 0 grp $0
DATA_SOURCE 1 m r tipc_group_create_member
DATA_SOURCE 3 xmitq $5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 m->instance 0-u32max
USER_DATA 1 m->node 0-u32max
USER_DATA 1 m->port 0-u32max
NO_OVERFLOW_SIMPLE 3 xmitq->prev->data_len
NO_OVERFLOW_SIMPLE 3 xmitq->prev->next->data_len
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh
HALF_LOCKED2 sk

net/tipc/group.c tipc_group_member_evt() -> tipc_group_proto_xmit()

Type Parameter Key Value
PARAM_VALUE 0 grp 4096-ptr_max
PARAM_VALUE 0 grp->members.rb_node 1-u64max
PARAM_VALUE 0 grp->net 4096-ptr_max
PARAM_VALUE 0 grp->net->gen 4096-ptr_max
PARAM_VALUE 1 m 4096-ptr_max
PARAM_VALUE 1 m->state 2
PARAM_VALUE 2 mtyp 0
PARAM_VALUE 3 xmitq 1334916642675843072,4098388752544808960
PARAM_VALUE 3 xmitq->next 4096-ptr_max
PARAM_VALUE 3 xmitq->prev 4096-ptr_max
DATA_SOURCE 0 grp $0
DATA_SOURCE 1 m r tipc_group_find_member
DATA_SOURCE 3 xmitq $5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 m->instance 0-u32max
NO_OVERFLOW_SIMPLE 3 xmitq->prev->data_len
NO_OVERFLOW_SIMPLE 3 xmitq->prev->next->data_len
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh
HALF_LOCKED2 sk

net/tipc/group.c tipc_group_proto_rcv() -> tipc_group_proto_xmit()

Type Parameter Key Value
PARAM_VALUE 0 grp 4096-ptr_max
PARAM_VALUE 0 grp->members.rb_node 1-u64max
PARAM_VALUE 0 grp->net 4096-ptr_max
PARAM_VALUE 0 grp->net->gen 4096-ptr_max
PARAM_VALUE 1 m 4096-ptr_max
PARAM_VALUE 1 m->state 2
PARAM_VALUE 2 mtyp 2
PARAM_VALUE 3 xmitq 1334916642675843072,4098388752544808960
PARAM_VALUE 3 xmitq->next 4096-ptr_max
PARAM_VALUE 3 xmitq->prev 4096-ptr_max
CAPPED_DATA 0 grp->net->gen 1
CAPPED_DATA 1 m->bc_rcv_nxt 1
CAPPED_DATA 1 m->bc_syncpt 1
DATA_SOURCE 0 grp $0
DATA_SOURCE 1 m r tipc_group_find_member
DATA_SOURCE 3 xmitq $4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 m->bc_rcv_nxt 0-u16max[c]
USER_DATA 1 m->bc_syncpt 0-u16max[c]
USER_DATA 1 m->window 0-u16max[u]
NO_OVERFLOW_SIMPLE 3 xmitq->prev->data_len
NO_OVERFLOW_SIMPLE 3 xmitq->prev->next->data_len
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh
HALF_LOCKED2 sk

net/tipc/group.c tipc_group_proto_rcv() -> tipc_group_proto_xmit()

Type Parameter Key Value
PARAM_VALUE 0 grp 4096-ptr_max
PARAM_VALUE 0 grp->members.rb_node 1-u64max
PARAM_VALUE 0 grp->net 4096-ptr_max
PARAM_VALUE 0 grp->net->gen 4096-ptr_max
PARAM_VALUE 1 m 4096-ptr_max
PARAM_VALUE 2 mtyp 5
PARAM_VALUE 3 xmitq 1334916642675843072,4098388752544808960
PARAM_VALUE 3 xmitq->next 4096-ptr_max
PARAM_VALUE 3 xmitq->prev 4096-ptr_max
CAPPED_DATA 0 grp->net->gen 1
DATA_SOURCE 0 grp $0
DATA_SOURCE 1 m r tipc_group_find_member
DATA_SOURCE 3 xmitq $4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 3 xmitq->prev->data_len
NO_OVERFLOW_SIMPLE 3 xmitq->prev->next->data_len
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh
HALF_LOCKED2 sk

net/tipc/group.c tipc_group_proto_rcv() -> tipc_group_proto_xmit()

Type Parameter Key Value
PARAM_VALUE 0 grp 4096-ptr_max
PARAM_VALUE 0 grp->active.prev 4096-ptr_max
PARAM_VALUE 0 grp->active.prev->next 4096-ptr_max
PARAM_VALUE 0 grp->active.prev->next->next 4096-ptr_max
PARAM_VALUE 0 grp->members.rb_node 1-u64max
PARAM_VALUE 0 grp->net 4096-ptr_max
PARAM_VALUE 0 grp->net->gen 4096-ptr_max
PARAM_VALUE 1 m 4096-ptr_max
PARAM_VALUE 1 m->advertised 0-585
PARAM_VALUE 1 m->list.next 4096-ptr_max
PARAM_VALUE 1 m->list.next->prev 4096-ptr_max
PARAM_VALUE 1 m->list.prev->next 4096-ptr_max
PARAM_VALUE 1 m->state 4
PARAM_VALUE 2 mtyp 2
PARAM_VALUE 3 xmitq 1334916642675843072,4098388752544808960
PARAM_VALUE 3 xmitq->next 4096-ptr_max
PARAM_VALUE 3 xmitq->prev 4096-ptr_max
CAPPED_DATA 0 grp->net->gen 1
CAPPED_DATA 0 &grp->pending 1
DATA_SOURCE 0 grp $0
DATA_SOURCE 3 xmitq $4
FUZZY_MAX 1 m->advertised 585
PARAM_COMPARE 0 &grp->pending != $0->pending.next
HARD_MAX 1 m->advertised 585
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 3 xmitq->prev->data_len
NO_OVERFLOW_SIMPLE 3 xmitq->prev->next->data_len
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh
HALF_LOCKED2 sk

net/tipc/group.c tipc_group_update_rcv_win() -> tipc_group_proto_xmit()

Type Parameter Key Value
PARAM_VALUE 0 grp 4096-ptr_max
PARAM_VALUE 0 grp->active.prev 4096-ptr_max
PARAM_VALUE 0 grp->active.prev->next 4096-ptr_max
PARAM_VALUE 0 grp->active.prev->next->next 4096-ptr_max
PARAM_VALUE 0 grp->members.rb_node 1-u64max
PARAM_VALUE 1 m 4096-ptr_max
PARAM_VALUE 1 m->list.next 4096-ptr_max
PARAM_VALUE 1 m->state 4
PARAM_VALUE 2 mtyp 2
PARAM_VALUE 3 xmitq 1334916642675843072,4098388752544808960,6202452362998497280
PARAM_VALUE 3 xmitq->next 4096-ptr_max
PARAM_VALUE 3 xmitq->prev 4096-ptr_max
DATA_SOURCE 0 grp $0
DATA_SOURCE 1 m r tipc_group_find_member
DATA_SOURCE 3 xmitq $4
NOSPEC 1 m->advertised
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 m->advertised 0-u16max[c][u]
NO_OVERFLOW_SIMPLE 3 xmitq->prev->data_len
NO_OVERFLOW_SIMPLE 3 xmitq->prev->next->data_len
HALF_LOCKED2 sk

net/tipc/group.c tipc_group_update_rcv_win() -> tipc_group_proto_xmit()

Type Parameter Key Value
PARAM_VALUE 0 grp 4096-ptr_max
PARAM_VALUE 0 grp->members.rb_node 1-u64max
PARAM_VALUE 0 grp->pending.prev 4096-ptr_max
PARAM_VALUE 0 grp->pending.prev->next 4096-ptr_max
PARAM_VALUE 0 grp->pending.prev->next->next 4096-ptr_max
PARAM_VALUE 1 m 4096-ptr_max
PARAM_VALUE 1 m->list.next->prev 4096-ptr_max
PARAM_VALUE 1 m->list.prev->next 4096-ptr_max
PARAM_VALUE 1 m->state 5
PARAM_VALUE 2 mtyp 4
PARAM_VALUE 3 xmitq 1334916642675843072,4098388752544808960,6202452362998497280
PARAM_VALUE 3 xmitq->next 4096-ptr_max
PARAM_VALUE 3 xmitq->prev 4096-ptr_max
DATA_SOURCE 0 grp $0
DATA_SOURCE 3 xmitq $4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 3 xmitq->prev->data_len
NO_OVERFLOW_SIMPLE 3 xmitq->prev->next->data_len
HALF_LOCKED2 sk

net/tipc/group.c tipc_group_update_rcv_win() -> tipc_group_proto_xmit()

Type Parameter Key Value
PARAM_VALUE 0 grp 4096-ptr_max
PARAM_VALUE 0 grp->active.next 4096-ptr_max
PARAM_VALUE 0 grp->members.rb_node 1-u64max
PARAM_VALUE 0 grp->pending.prev 4096-ptr_max
PARAM_VALUE 0 grp->pending.prev->next 4096-ptr_max
PARAM_VALUE 0 grp->pending.prev->next->next 4096-ptr_max
PARAM_VALUE 1 m 4096-ptr_max
PARAM_VALUE 1 m->list.next->prev 4096-ptr_max
PARAM_VALUE 1 m->list.prev->next 4096-ptr_max
PARAM_VALUE 1 m->state 2
PARAM_VALUE 2 mtyp 2
PARAM_VALUE 3 xmitq 1334916642675843072,4098388752544808960,6202452362998497280
PARAM_VALUE 3 xmitq->next 4096-ptr_max
PARAM_VALUE 3 xmitq->prev 4096-ptr_max
DATA_SOURCE 0 grp $0
DATA_SOURCE 3 xmitq $4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 3 xmitq->prev->data_len
NO_OVERFLOW_SIMPLE 3 xmitq->prev->next->data_len
HALF_LOCKED2 sk

net/tipc/group.c tipc_group_update_rcv_win() -> tipc_group_proto_xmit()

Type Parameter Key Value
PARAM_VALUE 0 grp 4096-ptr_max
PARAM_VALUE 0 grp->members.rb_node 1-u64max
PARAM_VALUE 1 m 4096-ptr_max
PARAM_VALUE 1 m->advertised 0-585
PARAM_VALUE 1 m->list.next 4096-ptr_max
PARAM_VALUE 1 m->state 4
PARAM_VALUE 2 mtyp 2
PARAM_VALUE 3 xmitq 1334916642675843072,4098388752544808960,6202452362998497280
PARAM_VALUE 3 xmitq->next 4096-ptr_max
PARAM_VALUE 3 xmitq->prev 4096-ptr_max
CAPPED_DATA 0 &grp->active 1
CAPPED_DATA 1 m->list.next 1
DATA_SOURCE 0 grp $0
DATA_SOURCE 1 m r tipc_group_find_member
DATA_SOURCE 3 xmitq $4
FUZZY_MAX 1 m->advertised 585
NOSPEC 1 m->advertised
HARD_MAX 1 m->advertised 585
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 m->advertised 0-585[c][u]
NO_OVERFLOW_SIMPLE 3 xmitq->prev->data_len
NO_OVERFLOW_SIMPLE 3 xmitq->prev->next->data_len
HALF_LOCKED2 sk

net/tipc/group.c tipc_group_update_rcv_win() -> tipc_group_proto_xmit()

Type Parameter Key Value
PARAM_VALUE 0 grp 4096-ptr_max
PARAM_VALUE 0 grp->members.rb_node 1-u64max
PARAM_VALUE 1 m 4096-ptr_max
PARAM_VALUE 1 m->advertised 0-64
PARAM_VALUE 1 m->state 2
PARAM_VALUE 2 mtyp 2
PARAM_VALUE 3 xmitq 1334916642675843072,4098388752544808960,6202452362998497280
PARAM_VALUE 3 xmitq->next 4096-ptr_max
PARAM_VALUE 3 xmitq->prev 4096-ptr_max
DATA_SOURCE 0 grp $0
DATA_SOURCE 1 m r tipc_group_find_member
DATA_SOURCE 3 xmitq $4
FUZZY_MAX 1 m->advertised 64
NOSPEC 1 m->advertised
HARD_MAX 1 m->advertised 64
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 m->advertised 0-64[c][u]
NO_OVERFLOW_SIMPLE 3 xmitq->prev->data_len
NO_OVERFLOW_SIMPLE 3 xmitq->prev->next->data_len
HALF_LOCKED2 sk

net/tipc/group.c tipc_group_update_rcv_win() -> tipc_group_proto_xmit()

Type Parameter Key Value
PARAM_VALUE 0 grp 4096-ptr_max
PARAM_VALUE 0 grp->active.prev 4096-ptr_max
PARAM_VALUE 0 grp->active.prev->next 4096-ptr_max
PARAM_VALUE 0 grp->active.prev->next->next 4096-ptr_max
PARAM_VALUE 0 grp->members.rb_node 1-u64max
PARAM_VALUE 1 m 4096-ptr_max
PARAM_VALUE 1 m->list.next 4096-ptr_max
PARAM_VALUE 1 m->list.next->prev 4096-ptr_max
PARAM_VALUE 1 m->list.prev->next 4096-ptr_max
PARAM_VALUE 1 m->state 4
PARAM_VALUE 2 mtyp 2
PARAM_VALUE 3 xmitq 1334916642675843072,4098388752544808960,6202452362998497280
PARAM_VALUE 3 xmitq->next 4096-ptr_max
PARAM_VALUE 3 xmitq->prev 4096-ptr_max
CAPPED_DATA 0 &grp->pending 1
DATA_SOURCE 0 grp $0
DATA_SOURCE 3 xmitq $4
PARAM_COMPARE 0 &grp->pending != $0->pending.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 3 xmitq->prev->data_len
NO_OVERFLOW_SIMPLE 3 xmitq->prev->next->data_len
HALF_LOCKED2 sk