diff options
Diffstat (limited to 'src/include/kernel/cpu.H')
-rw-r--r-- | src/include/kernel/cpu.H | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/include/kernel/cpu.H b/src/include/kernel/cpu.H index 81b43a57c..2f012700c 100644 --- a/src/include/kernel/cpu.H +++ b/src/include/kernel/cpu.H @@ -2,7 +2,8 @@ #define __KERNEL_CPU_H #include <kernel/types.h> -#include <kernel/ppcarch.H> +#include <arch/ppc.H> +#include <builtins.h> // Thread ID support only, Power7 (4 threads). #define KERNEL_MAX_SUPPORTED_CPUS 4 @@ -18,10 +19,10 @@ struct cpu_t task_t* idle_task; }; -__attribute__((always_inline)) +ALWAYS_INLINE inline uint64_t getCpuId() { - return ppc_getPIR() & (KERNEL_MAX_SUPPORTED_CPUS - 1); + return getPIR() & (KERNEL_MAX_SUPPORTED_CPUS - 1); } #endif |