dccp: clock_t
*** 18,27 **** --- 18,28 ---- #include <sys/int_types.h> #include <sys/netstack.h> #include <sys/socket.h> #include <sys/socket_proto.h> + #include <sys/clock_impl.h> #include <netinet/in.h> #include <netinet/ip6.h> #include <netinet/dccp.h>