+static_always_inline int
+ethernet_frame_is_any_tagged_x2 (u16 type0, u16 type1)
+{
+#ifdef CLIB_HAVE_VEC128
+ u16x8 r0 = (tagged_ethertypes == u16x8_splat (type0));
+ u16x8 r1 = (tagged_ethertypes == u16x8_splat (type1));
+ return !u16x8_is_all_zero (r0 | r1);
+#else
+ return ethernet_frame_is_tagged (type0) || ethernet_frame_is_tagged (type1);
+#endif
+}
+
+static_always_inline int
+ethernet_frame_is_any_tagged_x4 (u16 type0, u16 type1, u16 type2, u16 type3)
+{
+#ifdef CLIB_HAVE_VEC128
+ u16x8 r0 = (tagged_ethertypes == u16x8_splat (type0));
+ u16x8 r1 = (tagged_ethertypes == u16x8_splat (type1));
+ u16x8 r2 = (tagged_ethertypes == u16x8_splat (type2));
+ u16x8 r3 = (tagged_ethertypes == u16x8_splat (type3));
+ return !u16x8_is_all_zero (r0 | r1 | r2 | r3);
+#else
+ return ethernet_frame_is_tagged (type0) || ethernet_frame_is_tagged (type1)
+ || ethernet_frame_is_tagged (type2) || ethernet_frame_is_tagged (type3);
+#endif
+}
+