/* generated by userspace-header-gen.py */
#include <rtems/linkersets.h>
/* ping6.c */
RTEMS_LINKER_RWSET_CONTENT(bsd_prog_ping6, extern u_int options);