Fixup of some headers.
[barrelfish] / include / arch / k1om / barrelfish_kpi / asm_inlines_arch.h
index efde426..0c1ef2c 100644 (file)
@@ -11,6 +11,8 @@
 #ifndef ARCH_K1OM_BARRELFISH_KPI_ASM_INLINES_H
 #define ARCH_K1OM_BARRELFISH_KPI_ASM_INLINES_H 1
 
+#include <machine/param.h>
+
 #ifndef __ASSEMBLER__
 
 #include <target/x86_64/barrelfish_kpi/registers_target.h>
@@ -192,8 +194,6 @@ clflush(void *line)
     __asm volatile("clflush %0" :: "m" (line));
 }
 
-#define CACHE_LINE_SIZE 64 /* bytes */
-
 #ifndef __cplusplus
 /* flush a range of memory from the cache */
 static inline void cache_flush_range(void *base, size_t len)