Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/bridge/br_multicast.c br_ip4_multicast_leave_group() -> br_multicast_leave_group()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | brmctx | 4096-ptr_max |
| PARAM_VALUE | 0 | brmctx->br->dev->rtnl_link_ops->maxtype | 0-6,8-10,15,18,20,22,24,34,50 |
| PARAM_VALUE | 1 | pmctx | 0,4096-ptr_max |
| PARAM_VALUE | 2 | group | 1878147330777485312 |
| PARAM_VALUE | 2 | group->proto | 2048 |
| PARAM_VALUE | 3 | other_query | 4096-ptr_max |
| PARAM_VALUE | 4 | own_query | 4096-ptr_max |
| BUF_SIZE | 0 | brmctx | (-1),1024,1200 |
| BUF_SIZE | 0 | brmctx | (-1),1024,1200 |
| BUF_SIZE | 1 | pmctx | (-1)-0,432,608 |
| BUF_SIZE | 1 | pmctx | (-1)-0,432,608 |
| BUF_SIZE | 4 | own_query | 96 |
| BUF_SIZE | 5 | src | 6 |
| BUF_SIZE | 5 | src | 6 |
| DATA_SOURCE | 0 | brmctx | $0 |
| DATA_SOURCE | 1 | pmctx | $1 |
| DATA_SOURCE | 5 | src | $4 |
| PARAM_COMPARE | 1 | &pmctx->ip4_own_query | <= $4 |
| MEM_ZERO | 2 | group | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read |
net/bridge/br_multicast.c br_ip6_multicast_leave_group() -> br_multicast_leave_group()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | brmctx | 4096-ptr_max |
| PARAM_VALUE | 0 | brmctx->br->dev->rtnl_link_ops->maxtype | 0-6,8-10,15,18,20,22,24,34,50 |
| PARAM_VALUE | 1 | pmctx | 0,4096-ptr_max |
| PARAM_VALUE | 2 | group | 8888726432313245696 |
| PARAM_VALUE | 2 | group->proto | 34525 |
| PARAM_VALUE | 3 | other_query | 4096-ptr_max |
| PARAM_VALUE | 4 | own_query | 4096-ptr_max |
| BUF_SIZE | 0 | brmctx | (-1),1024,1200 |
| BUF_SIZE | 0 | brmctx | (-1),1024,1200 |
| BUF_SIZE | 1 | pmctx | (-1)-0,432,608 |
| BUF_SIZE | 1 | pmctx | (-1)-0,432,608 |
| BUF_SIZE | 4 | own_query | 96 |
| BUF_SIZE | 5 | src | 6 |
| BUF_SIZE | 5 | src | 6 |
| DATA_SOURCE | 0 | brmctx | $0 |
| DATA_SOURCE | 1 | pmctx | $1 |
| DATA_SOURCE | 5 | src | $4 |
| PARAM_COMPARE | 1 | &pmctx->ip6_own_query | <= $4 |
| MEM_ZERO | 2 | group | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read |