Fix: Allow util.h to be included in assembly files

seL4 · May 29, 2017 · 1930cf2 · 1930cf2
1 parent 3230c90
commit 1930cf2
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/include/util.h b/include/util.h
@@ -87,7 +87,6 @@ int PURE strncmp(const char *s1, const char *s2, int n);
 long CONST char_to_long(char c);
 long PURE str_to_long(const char* str);
 
-#endif /* !__ASSEMBLER__ */
 
 int __builtin_clzl (unsigned long x);
 int __builtin_ctzl (unsigned long x);
@@ -133,4 +132,5 @@ CONST popcountl(unsigned long x)
 
 #define POPCOUNTL(x) __builtin_popcountl(x)
 
+#endif /* !__ASSEMBLER__ */
 #endif /* __UTIL_H */
diff --git a/src/arch/arm/32/traps.S b/src/arch/arm/32/traps.S
@@ -9,13 +9,12 @@
  */
 
 #include <config.h>
+#include <util.h>
 
 #ifndef CONFIG_ARM_HYPERVISOR_SUPPORT
 
 #include <machine/assembler.h>
 
-#define BIT(n) (1 << (n))
-
 .code 32
 .section .vectors, "ax"