diff options
Diffstat (limited to 'src/include/kernel/cpu.H')
| -rw-r--r-- | src/include/kernel/cpu.H | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/include/kernel/cpu.H b/src/include/kernel/cpu.H index 87e769743..0f36dd941 100644 --- a/src/include/kernel/cpu.H +++ b/src/include/kernel/cpu.H @@ -9,7 +9,7 @@ #include <kernel/types.h> #include <arch/ppc.H> #include <builtins.h> -#include <sys/mutex.h> +#include <sys/sync.h> // Thread ID support only, Power7 (4 threads). #define KERNEL_MAX_SUPPORTED_CPUS (4 * 8 * 4) // Sockets, cores, threads. @@ -36,7 +36,7 @@ struct cpu_t task_t* idle_task; /** XSCOM mutex to serialize access per CPU */ - mutex_t xscom_mutex; + mutex_t * xscom_mutex; }; /** @fn getCpuId |
