Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/geneve.c geneve_configure() -> geneve_find_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | cfg | 4512312682595418112 |
| PARAM_VALUE | 1 | cfg->df | 0-255 |
| PARAM_VALUE | 1 | cfg->info.key.label | 0-1048575 |
| PARAM_VALUE | 1 | cfg->info.key.tp_src | 0 |
| PARAM_VALUE | 1 | cfg->info.mode | 0,2 |
| PARAM_VALUE | 1 | cfg->rcu.func | 0 |
| PARAM_VALUE | 1 | cfg->rcu.next | 0 |
| PARAM_VALUE | 2 | info | 4512312682595418144 |
| PARAM_VALUE | 2 | info->key.label | 0-1048575 |
| PARAM_VALUE | 2 | info->key.tp_src | 0 |
| PARAM_VALUE | 2 | info->mode | 0,2 |
| PARAM_VALUE | 3 | tun_on_same_port | 5550942094223056896 |
| PARAM_VALUE | 4 | tun_collect_md | 5963570029085102080 |
| BUF_SIZE | 2 | info | 96 |
| DATA_SOURCE | 0 | gn | r net_generic |
| DATA_SOURCE | 1 | cfg | $3 |
| PARAM_COMPARE | 1 | &cfg->info | == $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | cfg->port_max | 0-u16max |
| USER_DATA | 1 | cfg->port_min | 0-u16max |
| LOCK2 | global &rtnl_mutex | ||
| HALF_LOCKED2 | &net->xfrm.xfrm_cfg_mutex | ||
| HALF_LOCKED2 | &ops->srcu | ||
| HALF_LOCKED2 | global &audit_cmd_mutex.lock | ||
| HALF_LOCKED2 | global &cb_lock | ||
| HALF_LOCKED2 | global &crypto_cfg_mutex | ||
| HALF_LOCKED2 | global &hwsim_phys_lock | ||
| HALF_LOCKED2 | global &rx_queue_mutex |