#include <stdarg.h>
#include <vppinfra/format.h>
#include <vppinfra/types.h>
#include <vppinfra/vec.h>
#include <cndp/cndp.h>
u8 *format_cndp_device_name (u8 *s, va_list *args)
{
u32 i = va_arg (*args, u32);
cndp_main_t *cmp = &cndp_main;
cndp_device_t *device = cmp->devices[i];
s = format (s, "%s", device->ifname);
return s;
}