vxlan_flush      2886 drivers/net/vxlan.c 	vxlan_flush(vxlan, false);
vxlan_flush      4035 drivers/net/vxlan.c 	vxlan_flush(vxlan, true);