Symbol: vnirange
drivers/net/vxlan/vxlan_vnifilter.c
375
if (!dump_stats && vnirange(vend, v) == 1 &&
drivers/net/vxlan/vxlan_vnifilter.c
384
idx += vnirange(vbegin, vend) + 1;