update

[l4.git] / l4 / pkg / l4sys / include / ARCH-arm / __semaphore_impl.h

diff --git a/l4/pkg/l4sys/include/ARCH-arm/__semaphore_impl.h b/l4/pkg/l4sys/include/ARCH-arm/__semaphore_impl.h
index bcabf742d9230bc5c033d06edfa97a8b6d264c45..655da1c9e7535dab6b1f1123ac6843c40bb7806e 100644 (file)
--- a/l4/pkg/l4sys/include/ARCH-arm/__semaphore_impl.h
+++ b/l4/pkg/l4sys/include/ARCH-arm/__semaphore_impl.h
@@ -23,9 +23,7 @@
 #pragma once
 
 #include <l4/sys/utcb.h>
-// dumb, however atomic sequences are defined in kdebug.h
-#include <l4/sys/kdebug.h>
-
+#include <l4/sys/atomic.h>
 #include <l4/sys/compiler.h>
 #include <l4/sys/ipc.h>