Symbol: FDB_AGE_INTERVAL
drivers/net/vxlan/vxlan_core.c
2855
unsigned long next_timer = jiffies + FDB_AGE_INTERVAL;
drivers/net/vxlan/vxlan_core.c
2979
mod_timer(&vxlan->age_timer, jiffies + FDB_AGE_INTERVAL);