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_send_group_msg() -> tipc_group_update_member()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 0 | m->state | 1-6,8-4294967295 |
| PARAM_VALUE | 1 | len | 1-65 |
| DATA_SOURCE | 0 | m | $3 |
| DATA_SOURCE | 1 | len | r tsk_blocks |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | sk |
net/tipc/group.c tipc_group_join() -> tipc_group_update_member()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 1 | len | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | sk | ||
| HALF_LOCKED2 | &smc->clcsock_release_lock |
net/tipc/group.c tipc_group_member_evt() -> tipc_group_update_member()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 0 | m->deferredq.next | 4096-ptr_max |
| PARAM_VALUE | 0 | m->deferredq.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | m->deferredq.qlen | 0 |
| PARAM_VALUE | 0 | m->group | 4096-ptr_max |
| PARAM_VALUE | 0 | m->list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | m->list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | m->list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | m->list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | m->list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | m->small_win.next | 4096-ptr_max |
| PARAM_VALUE | 0 | m->small_win.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | m->small_win.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | m->small_win.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | m->small_win.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | m->state | 1 |
| PARAM_VALUE | 0 | m->tree_node.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | m->tree_node.rb_left | 4096-ptr_max |
| PARAM_VALUE | 0 | m->tree_node.rb_right | 4096-ptr_max |
| PARAM_VALUE | 1 | len | 0 |
| BUF_SIZE | 0 | m | 192 |
| DATA_SOURCE | 0 | m | r tipc_group_create_member |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | m->instance | 0-u32max |
| USER_DATA | 0 | m->node | 0-u32max |
| USER_DATA | 0 | m->port | 0-u32max |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | sk |
net/tipc/group.c tipc_group_member_evt() -> tipc_group_update_member()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 0 | m->state | 2 |
| PARAM_VALUE | 1 | len | 0 |
| DATA_SOURCE | 0 | m | r tipc_group_find_member |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | m->instance | 0-u32max |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | sk |
net/tipc/group.c tipc_group_proto_rcv() -> tipc_group_update_member()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 0 | m->state | 2 |
| PARAM_VALUE | 1 | len | 0 |
| CAPPED_DATA | 0 | m->bc_rcv_nxt | 1 |
| CAPPED_DATA | 0 | m->bc_syncpt | 1 |
| DATA_SOURCE | 0 | m | r tipc_group_find_member |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | m->bc_rcv_nxt | 0-u16max[c] |
| USER_DATA | 0 | m->bc_syncpt | 0-u16max[c] |
| USER_DATA | 0 | m->window | 0-u16max[u] |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | sk |
net/tipc/group.c tipc_group_proto_rcv() -> tipc_group_update_member()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 0 | m->group | 4096-ptr_max |
| PARAM_VALUE | 0 | m->group->open | 4096-ptr_max |
| PARAM_VALUE | 0 | m->small_win.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | m->small_win.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | *m->group->open | 1 |
| PARAM_VALUE | 1 | len | 0 |
| CAPPED_DATA | 0 | m->bc_acked | 1 |
| DATA_SOURCE | 0 | m | r tipc_group_find_member |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | m->bc_acked | 0-u16max[c] |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | sk |
net/tipc/group.c tipc_group_update_bc_members() -> tipc_group_update_member()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 0 | m->state | 1-6,8-u32max |
| PARAM_VALUE | 1 | len | 1-65 |
| DATA_SOURCE | 1 | len | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | m | unit_byte |
| HALF_LOCKED2 | sk |