X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fsocket-util.h;h=422cea9c35799d120a9247fadde8c0eb48e8124c;hb=fe13b0e71752a5eb30b21e7a09d2f9370bc02387;hp=0376006f3f7cf041c05825cd65d43221a7899c18;hpb=995337c4fc5f249965c52be52e852e5195ed2542;p=openvswitch

diff --git a/lib/socket-util.h b/lib/socket-util.h
index 0376006f..422cea9c 100644
--- a/lib/socket-util.h
+++ b/lib/socket-util.h
@@ -18,6 +18,8 @@
 #define SOCKET_UTIL_H 1
 
 #include <sys/types.h>
+#include <sys/socket.h>
+#include <sys/time.h>
 #include <netinet/in.h>
 #include <stdbool.h>
 #include "openvswitch/types.h"
@@ -31,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);