diff options
Diffstat (limited to 'src/plugins/igmp/igmp_format.c')
| -rw-r--r-- | src/plugins/igmp/igmp_format.c | 10 |
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 * |