diff --git a/cfg/gnu.cfg b/cfg/gnu.cfg
index d845d3de0..c2762a74a 100644
--- a/cfg/gnu.cfg
+++ b/cfg/gnu.cfg
@@ -66,8 +66,33 @@
       <not-bool/>
     </arg>
   </function>
-  <!-- int pipe(int fildes[2],int flags); -->
-  <function name="pipe">
+  <!-- ssize_t splice(int fd_in, loff_t *off_in, int fd_out, loff_t *off_out, size_t len, unsigned int flags); -->
+  <function name="splice">
+    <returnValue type="ssize_t"/>
+    <noreturn>false</noreturn>
+    <arg nr="1" direction="in">
+      <not-uninit/>
+      <not-bool/>
+      <valid>0:</valid>
+    </arg>
+    <arg nr="2" direction="inout"/>
+    <arg nr="3" direction="in">
+      <not-uninit/>
+      <not-bool/>
+      <valid>0:</valid>
+    </arg>
+    <arg nr="4" direction="inout"/>
+    <arg nr="5" direction="in">
+      <not-uninit/>
+      <not-bool/>
+      <valid>1:</valid>
+    </arg>
+    <arg nr="6" direction="in">
+      <not-uninit/>
+    </arg>
+  </function>
+  <!-- int pipe2(int pipefd[2],int flags); -->
+  <function name="pipe2">
     <returnValue type="int"/>
     <noreturn>false</noreturn>
     <arg nr="1" direction="out">
@@ -301,6 +326,7 @@
     <arg nr="3" direction="in">
       <not-uninit/>
       <not-bool/>
+      <valid>0:</valid>
     </arg>
   </function>
   <!-- char *qecvt(long double value, int ndigit, int * decpt, int * sign); -->
@@ -841,9 +867,20 @@
   <!-- see http://kernelnewbies.org/FAQ/LikelyUnlikely -->
   <define name="likely(X)" value="(X)"/>
   <define name="unlikely(X)" value="(X)"/>
-  <!-- int epoll_create(int size);
-       int epoll_create1(int flags); -->
-  <function name="epoll_create,epoll_create1">
+  <!-- int epoll_create(int size); -->
+  <function name="epoll_create">
+    <noreturn>false</noreturn>
+    <returnValue type="int"/>
+    <arg nr="1" direction="in">
+      <not-bool/>
+      <not-uninit/>
+      <!-- Since Linux 2.6.8, the size argument is ignored, but must be greater than zero in order to
+           ensure backward compatibility when new epoll applications are run on older kernels. -->
+      <valid>1:</valid>
+    </arg>
+  </function>
+  <!-- int epoll_create1(int flags); -->
+  <function name="epoll_create1">
     <noreturn>false</noreturn>
     <returnValue type="int"/>
     <arg nr="1" direction="in">
@@ -859,6 +896,7 @@
     <arg nr="1" direction="in">
       <not-bool/>
       <not-uninit/>
+      <valid>0:</valid>
     </arg>
     <arg nr="2" direction="in">
       <not-bool/>
@@ -867,6 +905,7 @@
     <arg nr="3" direction="in">
       <not-bool/>
       <not-uninit/>
+      <valid>0:</valid>
     </arg>
     <arg nr="4" direction="inout">
       <not-uninit/>
@@ -880,6 +919,7 @@
     <arg nr="1" direction="in">
       <not-bool/>
       <not-uninit/>
+      <valid>0:</valid>
     </arg>
     <arg nr="2" direction="out">
       <not-bool/>
@@ -902,6 +942,7 @@
     <arg nr="1" direction="in">
       <not-bool/>
       <not-uninit/>
+      <valid>0:</valid>
     </arg>
     <arg nr="2" direction="out">
       <not-bool/>