From 2540827b7929fe6460516e095d2c15d1c1bee92b Mon Sep 17 00:00:00 2001
From: Richard Braun <rbraun@sceen.net>
Date: Tue, 14 Nov 2017 09:04:14 +0100
Subject: Per-CPU variables, TCB and SSP support

---
 arch/arm/machine/cpu.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'arch/arm/machine/cpu.h')

diff --git a/arch/arm/machine/cpu.h b/arch/arm/machine/cpu.h
index c2124ad1..665ed632 100644
--- a/arch/arm/machine/cpu.h
+++ b/arch/arm/machine/cpu.h
@@ -21,6 +21,7 @@
 #include <limits.h>
 
 #include <machine/cpu_armv6.h>
+#include <machine/cpu_armv7.h>
 
 /*
  * L1 cache line size.
@@ -62,6 +63,7 @@
 #include <kern/init.h>
 
 struct cpu {
+    unsigned int id;
 };
 
 /*
@@ -118,8 +120,6 @@ cpu_intr_enabled(void)
 
 void cpu_halt_broadcast(void);
 
-#define cpu_local_ptr(var) (&(var))
-
 static inline struct cpu *
 cpu_current(void)
 {
-- 
cgit v1.2.3