kernel: Make CACHE_LINE_ALIGN visible in the whole kernel

headers/private/kernel/arch/cpu.h

@@ -55,4 +55,6 @@ void arch_cpu_memory_read_write_barrier(void);
 
 #include <arch_cpu.h>
 
+#define CACHE_LINE_ALIGN	 __attribute__((aligned(CACHE_LINE_SIZE)))
+
 #endif /* _KERNEL_ARCH_CPU_H */

headers/private/kernel/arch/x86/arch_cpu.h

@@ -26,6 +26,8 @@
 
 #define CPU_MAX_CACHE_LEVEL	8
 
+#define CACHE_LINE_SIZE		64
+
 
 // MSR registers (possibly Intel specific)
 #define IA32_MSR_TSC					0x10

headers/private/kernel/cpu.h

@@ -86,7 +86,7 @@ typedef struct cpu_ent {
 
 	// arch-specific stuff
 	arch_cpu_info 	arch;
-} cpu_ent __attribute__((aligned(64)));
+} cpu_ent CACHE_LINE_ALIGN;
 
 
 //extern cpu_ent gCPU[MAX_BOOT_CPUS];

src/system/kernel/scheduler/scheduler_common.h

@@ -18,9 +18,6 @@
 #include "RunQueue.h"
 
 
-#define CACHE_LINE_ALIGN	 __attribute__((aligned(64)))
-
-
 //#define TRACE_SCHEDULER
 #ifdef TRACE_SCHEDULER
 #	define TRACE(...) dprintf_no_syslog(__VA_ARGS__)