Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
net/tipc/socket.c tipc_recvmsg() -> tipc_group_update_rcv_win()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | grp | 1-u64max |
| PARAM_VALUE | 1 | blks | 1-640 |
| PARAM_VALUE | 4 | xmitq | 6202452362998497280 |
| PARAM_VALUE | 4 | xmitq->next | 6202452362998497280 |
| PARAM_VALUE | 4 | xmitq->prev | 6202452362998497280 |
| PARAM_VALUE | 4 | xmitq->qlen | 0 |
| CAPPED_DATA | 1 | blks | 1 |
| BIT_INFO | 1 | blks | 0x0,0x3ff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 2 | node | 0-u32max |
| USER_DATA | 3 | port | 0-u32max |
| LOCK2 | sk | ||
| HALF_LOCKED2 | &vq->mutex | ||
| HALF_LOCKED2 | sk |
net/tipc/group.c tipc_group_filter_msg() -> tipc_group_update_rcv_win()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | grp | 4096-ptr_max |
| PARAM_VALUE | 0 | grp->members.rb_node | 1-u64max |
| PARAM_VALUE | 1 | blks | 1-128 |
| PARAM_VALUE | 4 | xmitq | 1334916642675843072,4098388752544808960 |
| PARAM_VALUE | 4 | xmitq->next | 4096-ptr_max |
| PARAM_VALUE | 4 | xmitq->prev | 4096-ptr_max |
| CAPPED_DATA | 1 | blks | 1 |
| DATA_SOURCE | 0 | grp | $0 |
| DATA_SOURCE | 1 | blks | r msg_blocks |
| DATA_SOURCE | 2 | node | r msg_orignode |
| DATA_SOURCE | 3 | port | r msg_origport |
| DATA_SOURCE | 4 | xmitq | $2 |
| NOSPEC | 1 | blks | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | blks | 1-128[c] |
| USER_DATA | 2 | node | 0-u32max |
| USER_DATA | 3 | port | 0-u32max |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | bh |