diff --git a/cfg/posix.cfg b/cfg/posix.cfg
index 5cd1b10e2..b6f99508e 100644
--- a/cfg/posix.cfg
+++ b/cfg/posix.cfg
@@ -726,6 +726,44 @@ The obsolescent function 'usleep' is called. POSIX.1-2001 declares usleep() func
       <not-uninit/>
     </arg>
   </function>
+  <!-- int timerisset(struct timeval *tvp); -->
+  <function name="timerisset">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <use-retval/>
+    <returnValue type="int"/>
+    <arg nr="1" direction="in">
+      <not-uninit/>
+      <not-null/>
+    </arg>
+  </function>
+  <!-- void timerclear(struct timeval *tvp); -->
+  <function name="timerclear">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <returnValue type="void"/>
+    <arg nr="1" direction="inout">
+      <not-null/>
+    </arg>
+  </function>
+  <!-- void timeradd(struct timeval *a, struct timeval *b, struct timeval *res);-->
+  <!-- void timersub(struct timeval *a, struct timeval *b, struct timeval *res);-->
+  <function name="timeradd,timersub">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <returnValue type="void"/>
+    <arg nr="1" direction="in">
+      <not-uninit/>
+      <not-null/>
+    </arg>
+    <arg nr="2" direction="in">
+      <not-uninit/>
+      <not-null/>
+    </arg>
+    <arg nr="3" direction="out">
+      <not-null/>
+    </arg>
+  </function>
   <!-- int timercmp(struct timeval *a, struct timeval *b, CMP)-->
   <function name="timercmp">
     <noreturn>false</noreturn>