diff --git a/arch/x86/kernel/cpu.c b/arch/x86/kernel/cpu.c
index 42394a0a..82c59e93 100644
--- a/arch/x86/kernel/cpu.c
+++ b/arch/x86/kernel/cpu.c
@@ -52,8 +52,6 @@
 #endif
 
 
-struct x86_cpu_local_variables *get_x86_this_cpu_local(void);
-void *get_x86_this_cpu_kstack(void);
 void init_processors_local(int max_id);
 void assign_processor_id(void);
 void arch_delay(int);
diff --git a/arch/x86/kernel/include/cpulocal.h b/arch/x86/kernel/include/cpulocal.h
index a01bca10..47e808d5 100644
--- a/arch/x86/kernel/include/cpulocal.h
+++ b/arch/x86/kernel/include/cpulocal.h
@@ -46,6 +46,8 @@ struct x86_cpu_local_variables {
 } __attribute__((packed));
 
 struct x86_cpu_local_variables *get_x86_cpu_local_variable(int id);
+struct x86_cpu_local_variables *get_x86_this_cpu_local(void);
+void *get_x86_this_cpu_kstack(void);
 
 
 #endif