X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fsocket-util.h;h=422cea9c35799d120a9247fadde8c0eb48e8124c;hb=ca261b65354f522ba43c823221763ca6f4604e2d;hp=c00ade25a0a459dc04e903501a7d27fb7814a5a3;hpb=8e47be7756c593bfd13dcd513df1cf7a90378eeb;p=openvswitch

diff --git a/lib/socket-util.h b/lib/socket-util.h
index c00ade25..422cea9c 100644
--- a/lib/socket-util.h
+++ b/lib/socket-util.h
@@ -19,6 +19,7 @@
 
 #include <sys/types.h>
 #include <sys/socket.h>
+#include <sys/time.h>
 #include <netinet/in.h>
 #include <stdbool.h>
 #include "openvswitch/types.h"
@@ -32,6 +33,7 @@ int lookup_ipv6(const char *host_name, struct in6_addr *address);
 int lookup_hostname(const char *host_name, struct in_addr *);
 
 int get_socket_error(int sock);
+int get_socket_rcvbuf(int sock);
 int check_connection_completion(int fd);
 int drain_rcvbuf(int fd);
 void drain_fd(int fd, size_t n_packets);