Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/ipv4/ipmr.c ip_mroute_setsockopt() -> vif_delete()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mrt | 4096-ptr_max |
| PARAM_VALUE | 0 | mrt->id | 1-999999999 |
| PARAM_VALUE | 1 | vifi | 0-31 |
| PARAM_VALUE | 2 | notify | 0 |
| PARAM_VALUE | 3 | head | 0 |
| CAPPED_DATA | 0 | mrt->id | 1 |
| DATA_SOURCE | 0 | mrt | r __ipmr_get_table |
| FUZZY_MAX | 0 | mrt->id | 253 |
| HARD_MAX | 1 | vifi | 31 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | vifi | 0-31 |
| LOCK2 | global &rtnl_mutex |
net/ipv4/ipmr.c ipmr_device_event() -> vif_delete()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mrt | 4096-ptr_max |
| PARAM_VALUE | 0 | mrt->maxvif | 1-s32max |
| PARAM_VALUE | 0 | mrt->vif_table | 4096-ptr_max |
| PARAM_VALUE | 1 | vifi | 0-2147483646 |
| PARAM_VALUE | 2 | notify | 1 |
| PARAM_VALUE | 3 | head | 0 |
| CAPPED_DATA | 1 | vifi | 1 |
| PARAM_COMPARE | 1 | vifi | < $0->maxvif |
| NOCHECK_CALL |
net/ipv4/ipmr.c mroute_clean_tables() -> vif_delete()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mrt | 4096-ptr_max |
| PARAM_VALUE | 0 | mrt->maxvif | 1-s32max |
| PARAM_VALUE | 0 | mrt->vif_table | 4096-ptr_max |
| PARAM_VALUE | 1 | vifi | 0-s32max |
| PARAM_VALUE | 2 | notify | 0 |
| PARAM_VALUE | 3 | head | 4673289501453946880,6182565748171317248,7585284313220546560 |
| PARAM_VALUE | 3 | head->next | 4673289501453946880,6182565748171317248,7585284313220546560 |
| BUF_SIZE | 0 | mrt | (-1),4288 |
| BUF_SIZE | 0 | mrt | (-1),4288 |
| CAPPED_DATA | 0 | mrt->net.net | 1 |
| CAPPED_DATA | 1 | vifi | 1 |
| DATA_SOURCE | 0 | mrt | $0 |
| DATA_SOURCE | 3 | head | $2 |
| PARAM_COMPARE | 1 | vifi | < $0->maxvif |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &pernet_ops_rwsem | ||
| HALF_LOCKED2 | global &rtnl_mutex |