socket: make various socket/pipe options configurable

1 files changed, 12 insertions, 0 deletions

diff --git a/src/missing.h b/src/missing.h
index 7db7d7d2e8..75bc5117f8 100644
--- a/src/missing.h
+++ b/src/missing.h
@@ -31,6 +31,18 @@
 #define RLIMIT_RTTIME 15
 #endif
 
+#ifndef F_LINUX_SPECIFIC_BASE
+#define F_LINUX_SPECIFIC_BASE 1024
+#endif
+
+#ifndef F_SETPIPE_SZ
+#define F_SETPIPE_SZ (F_LINUX_SPECIFIC_BASE + 7)
+#endif
+
+#ifndef F_GETPIPE_SZ
+#define F_GETPIPE_SZ (F_LINUX_SPECIFIC_BASE + 8)
+#endif
+
 static inline int pivot_root(const char *new_root, const char *put_old) {
         return syscall(SYS_pivot_root, new_root, put_old);
 }