aboutsummaryrefslogtreecommitdiffstats
path: root/src/plugins/igmp/igmp_format.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/plugins/igmp/igmp_format.c')
-rw-r--r--src/plugins/igmp/igmp_format.c10
1 files changed, 10 insertions, 0 deletions
diff --git a/src/plugins/igmp/igmp_format.c b/src/plugins/igmp/igmp_format.c
index 08b5f68a74d..7606fc5bf5d 100644
--- a/src/plugins/igmp/igmp_format.c
+++ b/src/plugins/igmp/igmp_format.c
@@ -209,6 +209,16 @@ format_igmp_key (u8 * s, va_list * args)
return (s);
}
+u8 *
+format_igmp_proxy_device_id (u8 * s, va_list * args)
+{
+ u32 id = va_arg (*args, u32);
+
+ s = (id == ~0) ? s : format (s, "proxy device: %u", id);
+
+ return (s);
+}
+
/*
* fd.io coding-style-patch-verification: ON
*