Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
- net/ipv4/ip_gre.c
- net/ipv4/ip_tunnel.c, line 1193
- net/ipv4/ip_vti.c, line 529
- net/ipv4/ipip.c, line 645
Smatch caller information:
net/ipv4/ip_gre.c erspan_exit_rtnl() -> ip_tunnel_delete_net()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | net | 4096-ptr_max |
| PARAM_VALUE | 0 | net->rtnl_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | net->rtnl_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | net->rtnl_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 2 | ops | 6416635649051021312 |
| PARAM_VALUE | 3 | head | 7014720143616368640 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 3 | head | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &pernet_ops_rwsem | ||
| LOCK2 | global &rtnl_mutex | ||
| LOCK2 | 0 | &net->rtnl_mutex | |
| TYPE_LOCK | (struct net)->rtnl_mutex |
net/ipv4/ip_gre.c ipgre_exit_rtnl() -> ip_tunnel_delete_net()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | net | 4096-ptr_max |
| PARAM_VALUE | 0 | net->rtnl_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | net->rtnl_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | net->rtnl_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 2 | ops | 9156488777803284480 |
| PARAM_VALUE | 3 | head | 7014720143616368640 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 3 | head | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &pernet_ops_rwsem | ||
| LOCK2 | global &rtnl_mutex | ||
| LOCK2 | 0 | &net->rtnl_mutex | |
| TYPE_LOCK | (struct net)->rtnl_mutex |
net/ipv4/ip_gre.c ipgre_tap_exit_rtnl() -> ip_tunnel_delete_net()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | net | 4096-ptr_max |
| PARAM_VALUE | 0 | net->rtnl_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | net->rtnl_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | net->rtnl_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 2 | ops | 5419405147199492096 |
| PARAM_VALUE | 3 | head | 7014720143616368640 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 3 | head | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &pernet_ops_rwsem | ||
| LOCK2 | global &rtnl_mutex | ||
| LOCK2 | 0 | &net->rtnl_mutex | |
| TYPE_LOCK | (struct net)->rtnl_mutex |
net/ipv4/ipip.c ipip_exit_rtnl() -> ip_tunnel_delete_net()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | net | 4096-ptr_max |
| PARAM_VALUE | 0 | net->rtnl_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | net->rtnl_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | net->rtnl_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 2 | ops | 2838316966449438720 |
| PARAM_VALUE | 3 | head | 7014720143616368640 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 3 | head | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &pernet_ops_rwsem | ||
| LOCK2 | global &rtnl_mutex | ||
| LOCK2 | 0 | &net->rtnl_mutex | |
| TYPE_LOCK | (struct net)->rtnl_mutex |
net/ipv4/ip_vti.c vti_exit_rtnl() -> ip_tunnel_delete_net()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | net | 4096-ptr_max |
| PARAM_VALUE | 0 | net->rtnl_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | net->rtnl_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | net->rtnl_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 2 | ops | 4484919745963708416 |
| PARAM_VALUE | 3 | head | 7014720143616368640 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 3 | head | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &pernet_ops_rwsem | ||
| LOCK2 | global &rtnl_mutex | ||
| LOCK2 | 0 | &net->rtnl_mutex | |
| TYPE_LOCK | (struct net)->rtnl_mutex |