Index: uspace/lib/c/generic/async/server.c
===================================================================
--- uspace/lib/c/generic/async/server.c	(revision 1c9ae081d3be419212f0b575c110ed14002ff5f8)
+++ uspace/lib/c/generic/async/server.c	(revision 45c39ad9c752a8aa765ee9ba01ed1afe9196c0fe)
@@ -1847,5 +1847,5 @@
 }
 
-_Noreturn void async_manager(void)
+__noreturn void async_manager(void)
 {
 	futex_lock(&async_futex);
Index: uspace/lib/c/include/async.h
===================================================================
--- uspace/lib/c/include/async.h	(revision 1c9ae081d3be419212f0b575c110ed14002ff5f8)
+++ uspace/lib/c/include/async.h	(revision 45c39ad9c752a8aa765ee9ba01ed1afe9196c0fe)
@@ -51,4 +51,6 @@
 #include <abi/cap.h>
 
+#include <_bits/__noreturn.h>
+
 typedef sysarg_t aid_t;
 typedef sysarg_t port_id_t;
@@ -108,5 +110,5 @@
 typedef struct async_exch async_exch_t;
 
-extern _Noreturn void async_manager(void);
+extern __noreturn void async_manager(void);
 
 #define async_get_call(data) \
Index: uspace/lib/c/include/futex.h
===================================================================
--- uspace/lib/c/include/futex.h	(revision 1c9ae081d3be419212f0b575c110ed14002ff5f8)
+++ uspace/lib/c/include/futex.h	(revision 45c39ad9c752a8aa765ee9ba01ed1afe9196c0fe)
@@ -45,5 +45,5 @@
 	atomic_t val;
 #ifdef CONFIG_DEBUG_FUTEX
-	_Atomic void *owner;
+	void *owner;
 #endif
 } futex_t;
Index: uspace/lib/c/include/setjmp.h
===================================================================
--- uspace/lib/c/include/setjmp.h	(revision 1c9ae081d3be419212f0b575c110ed14002ff5f8)
+++ uspace/lib/c/include/setjmp.h	(revision 45c39ad9c752a8aa765ee9ba01ed1afe9196c0fe)
@@ -35,12 +35,13 @@
 
 #include <libarch/fibril_context.h>
+#include <_bits/__noreturn.h>
 
 typedef context_t jmp_buf[1];
 
 extern int __setjmp(jmp_buf) __attribute__((returns_twice));
-extern _Noreturn void __longjmp(jmp_buf, int);
+extern __noreturn void __longjmp(jmp_buf, int);
 
 #define setjmp __setjmp
-extern _Noreturn void longjmp(jmp_buf, int);
+extern __noreturn void longjmp(jmp_buf, int);
 
 #endif