X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/5a0e6ead0fbfbb912cd817abad695c078e82481c..8d9e85aaae867f39cdd610261e3a4181c25add2d:/l4/pkg/l4util/include/ARCH-arm/atomic_arch.h

diff --git a/l4/pkg/l4util/include/ARCH-arm/atomic_arch.h b/l4/pkg/l4util/include/ARCH-arm/atomic_arch.h
index 9f68d6ab9..9b0071963 100644
--- a/l4/pkg/l4util/include/ARCH-arm/atomic_arch.h
+++ b/l4/pkg/l4util/include/ARCH-arm/atomic_arch.h
@@ -15,7 +15,7 @@
 
 #ifdef __GNUC__
 
-#include <l4/sys/kdebug.h>
+#include <l4/sys/atomic.h>
 
 EXTERN_C_BEGIN