| PARAM_VALUE |
0 |
f |
4096-ptr_max |
| PARAM_VALUE |
0 |
f->fdb_node.pprev |
1-u64max |
| PARAM_VALUE |
1 |
vxlan |
4096-ptr_max |
| PARAM_VALUE |
1 |
vxlan->hash_lock.rlock.dep_map->name |
0-255 |
| PARAM_VALUE |
2 |
desc |
21738053724512256,548690096637829120,3809597157250846720 |
| PARAM_VALUE |
2 |
desc->dst_ip.sa.sa_family |
0 |
| PARAM_VALUE |
2 |
desc->dst_ip.sin.sin_addr.s_addr |
0 |
| PARAM_VALUE |
2 |
desc->flags |
0-249 |
| PARAM_VALUE |
2 |
desc->flags_mask |
0-255 |
| PARAM_VALUE |
2 |
desc->state |
0-254 |
| PARAM_VALUE |
2 |
desc->state_mask |
0-u16max |
| PARAM_VALUE |
3 |
p_destroy_fdb |
1691649109736796160 |
| PARAM_VALUE |
3 |
*p_destroy_fdb |
0 |
| CAPPED_DATA |
2 |
desc->flags |
1 |
| CAPPED_DATA |
2 |
desc->nhid |
1 |
| CAPPED_DATA |
2 |
desc->src_vni |
1 |
| CAPPED_DATA |
2 |
desc->state |
1 |
| DATA_SOURCE |
1 |
vxlan |
$0 |
| DATA_SOURCE |
2 |
desc |
$1 |
| PARAM_COMPARE |
2 |
desc->src_vni |
<= $0->key.vni |
| NOSPEC |
2 |
desc->flags |
|
| NOSPEC |
2 |
desc->state |
|
| PREEMPT_ADD |
|
|
<- disables preempt |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| USER_DATA |
2 |
desc->flags |
0-249[c] |
| USER_DATA |
2 |
desc->state |
0-254[c] |
| LOCK2 |
|
bh |
|
| LOCK2 |
|
rcu_read |
|
| LOCK2 |
1 |
&vxlan->hash_lock |
|
| HALF_LOCKED2 |
|
global &rtnl_mutex |
|
| TYPE_LOCK |
|
(struct vxlan_dev)->hash_lock |
|
