Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
#ifndef __ASSEMBLER__
-#include <machine/param.h>
-
/** \brief This code reads the cycle counter */
static inline uint64_t rdtsc(void)
{
__asm volatile("clflush %0" :: "m" (line));
}
-//#define CACHE_LINE_SIZE 64 /* bytes */
+#ifndef CACHE_LINE_SIZE
+#define CACHE_LINE_SIZE 64 /* bytes */
+#endif
#ifndef __cplusplus
/* flush a range of memory from the cache */
#include <arch/x86/start_aps.h>
#include <paging_kernel_arch.h>
#include <x86.h>
-#include <sys/param.h>
#include <dev/ia32_dev.h>
#include <dev/xapic_dev.h>