diff --git a/cfg/posix.cfg b/cfg/posix.cfg
index 02048fbb2..1641dc0a3 100644
--- a/cfg/posix.cfg
+++ b/cfg/posix.cfg
@@ -957,6 +957,88 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- http://pubs.opengroup.org/onlinepubs/9699919799/basedefs/mqueue.h.html -->
+  <podtype name="mq_attr"/>
+  <podtype name="mqd_t"/>
+  <!-- int      mq_close(mqd_t); -->
+  <function name="mq_close">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+  </function>
+  <!-- int      mq_getattr(mqd_t, struct mq_attr *); -->
+  <function name="mq_getattr">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2"/>
+  </function>
+  <!-- int      mq_notify(mqd_t, const struct sigevent *); -->
+  <function name="mq_notify">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+      <not-null/>
+    </arg>
+    <arg nr="2"/>
+  </function>
+  <!-- mqd_t    mq_open(const char *, int, ...); -->
+  <function name="mq_open">
+    <noreturn>false</noreturn>
+  </function>
+  <!-- ssize_t  mq_receive(mqd_t, char *, size_t, unsigned *); -->
+  <function name="mq_receive">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="4"/>
+  </function>
+  <!-- int      mq_send(mqd_t, const char *, size_t, unsigned); -->
+  <function name="mq_send">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="4"/>
+  </function>
+  <!-- int      mq_setattr(mqd_t, const struct mq_attr *restrict,
+             struct mq_attr *restrict); -->
+  <function name="mq_setattr">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="3"/>
+  </function>
+  <!-- ssize_t  mq_timedreceive(mqd_t, char *restrict, size_t,
+             unsigned *restrict, const struct timespec *restrict); -->
+  <function name="mq_timedreceive">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="5"/>
+  </function>
+  <!-- int      mq_timedsend(mqd_t, const char *, size_t, unsigned,
+             const struct timespec *); -->
+  <function name="mq_timedsend">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="5"/>
+  </function>
+  <!-- int      mq_unlink(const char *); -->
+  <function name="mq_unlink">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+      <not-null/>
+    </arg>
+  </function>
   <!-- http://pubs.opengroup.org/onlinepubs/9699919799/basedefs/ndbm.h.html -->
   <podtype name="datum"/>
   <podtype name="DBM"/>
diff --git a/test/cfg/posix.c b/test/cfg/posix.c
index 571fbea45..dbe55a44e 100644
--- a/test/cfg/posix.c
+++ b/test/cfg/posix.c
@@ -13,7 +13,7 @@
 #include <sys/mman.h>
 #include <sys/socket.h>
 #include <fcntl.h>
-#include <ndbm.h>
+// unavailable on some linux systems #include <ndbm.h>
 #include <netdb.h>
 #include <regex.h>
 #include <time.h>