Symbol: vxlan_t