X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fsocket-util.h;h=a00b32e57b0a6c43274f49eab53ed1fe6f810a7b;hb=f8e4867eafd076e94bdb5bcf7c7dc69ca7a9c8ae;hp=bacb236f1c0209726214b490508181a99b728e9b;hpb=6b9c1eab52a924fa37b024236abfc499ad9fd6ef;p=openvswitch

diff --git a/lib/socket-util.h b/lib/socket-util.h
index bacb236f..a00b32e5 100644
--- a/lib/socket-util.h
+++ b/lib/socket-util.h
@@ -64,6 +64,7 @@ int fsync_parent_dir(const char *file_name);
 int get_mtime(const char *file_name, struct timespec *mtime);
 
 void xpipe(int fds[2]);
+void xpipe_nonblocking(int fds[2]);
 
 char *describe_fd(int fd);