Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/ipv4/udp_tunnel_nic.c __udp_tunnel_nic_add_port() -> udp_tunnel_nic_is_capable()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->udp_tunnel_nic_info | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->udp_tunnel_nic_info->flags | 4-u32max |
| PARAM_VALUE | 1 | utn | 1-u64max |
| PARAM_VALUE | 2 | ti | 1111202776771031040,2148752878077886464 |
| PARAM_VALUE | 2 | ti->type | 1-2,4 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 2 | ti | $1 |
| BIT_INFO | 0 | dev->features | 0x10000000000000,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING |
net/ipv4/udp_tunnel_nic.c __udp_tunnel_nic_del_port() -> udp_tunnel_nic_is_capable()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | utn | 1-u64max |
| PARAM_VALUE | 2 | ti | 8446853668579569664,8893996237038559232 |
| PARAM_VALUE | 2 | ti->type | 1-2,4 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 2 | ti | $1 |
| BIT_INFO | 0 | dev->features | 0x10000000000000,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING |