diff options
| author | Richard Braun <rbraun@sceen.net> | 2017-11-14 09:04:14 +0100 |
|---|---|---|
| committer | Richard Braun <rbraun@sceen.net> | 2017-11-14 09:04:14 +0100 |
| commit | 2540827b7929fe6460516e095d2c15d1c1bee92b (patch) | |
| tree | aa18a4dc7383c1dee9a8b33baa53d45493fc5413 /arch/arm/machine/cpu.h | |
| parent | 3aa27e426b61b92cdb0e5b5503dd12ece85b4d69 (diff) | |
Per-CPU variables, TCB and SSP supportarm_port_dev
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) { |