2 files changed, 10 insertions, 0 deletions
diff --git a/src/arch/armv7/include/arch/cpu.h b/src/arch/armv7/include/arch/cpu.h
index 20a12c929e..5621aeda55 100644
--- a/src/arch/armv7/include/arch/cpu.h
+++ b/src/arch/armv7/include/arch/cpu.h
@@ -30,9 +30,14 @@ struct cpu_driver {
 	struct cpu_device_id *id_table;
 };
 
+struct thread;
+
 struct cpu_info {
 	device_t cpu;
 	unsigned long index;
+#if CONFIG_COOP_MULTITASKING
+	struct thread *thread;
+#endif
 };
 
 struct cpuinfo_arm {
diff --git a/src/arch/x86/include/arch/cpu.h b/src/arch/x86/include/arch/cpu.h
index 890c77f4f1..1fe12e5230 100644
--- a/src/arch/x86/include/arch/cpu.h
+++ b/src/arch/x86/include/arch/cpu.h
@@ -159,9 +159,14 @@ struct cpu_driver {
 
 struct cpu_driver *find_cpu_driver(struct device *cpu);
 
+struct thread;
+
 struct cpu_info {
 	device_t cpu;
 	unsigned int index;
+#if CONFIG_COOP_MULTITASKING
+	struct thread *thread;
+#endif
 };
 
 static inline struct cpu_info *cpu_info(void)