Fixup of some headers.
[barrelfish] / include / arch / x86 / barrelfish_kpi / asm_inlines_arch.h
index 36f6c9d..1c76b48 100644 (file)
@@ -15,6 +15,8 @@
 #ifndef ARCH_X86_BARRELFISH_KPI_X86_H
 #define ARCH_X86_BARRELFISH_KPI_X86_H
 
+#include <machine/param.h>
+
 #ifndef __ASSEMBLER__
 
 /** \brief This code reads the cycle counter */
@@ -74,10 +76,6 @@ static inline void clflush(void *line)
     __asm volatile("clflush %0" :: "m" (line));
 }
 
-#ifndef CACHE_LINE_SIZE
-#define CACHE_LINE_SIZE 64 /* bytes */
-#endif
-
 #ifndef __cplusplus
 /* flush a range of memory from the cache */
 static inline void cache_flush_range(void *base, size_t len)