diff options
Diffstat (limited to 'arch/arm/machine/cpu.h')
-rw-r--r-- | arch/arm/machine/cpu.h | 4 |
1 files changed, 2 insertions, 2 deletions
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) { |