2 files changed, 8 insertions, 20 deletions
diff --git a/src/include/kernel/cpuid.H b/src/include/kernel/cpuid.H
index 75287a66e..f2ee02442 100644
--- a/src/include/kernel/cpuid.H
+++ b/src/include/kernel/cpuid.H
@@ -3,27 +3,10 @@
 
 #include <stdint.h>
 #include <arch/ppc.H>
+#include <sys/misc.h>
 
 namespace CpuID
 {
-    /** @enum ProcessorCoreType
-     *  @brief Enumeration of the different supported processor cores.
-     */
-    enum ProcessorCoreType
-    {
-        /** Base Power7 */
-        POWER7,
-        /** Power7+ */
-        POWER7_PLUS,
-
-        /** Power8 "Salerno" (low-end) core */
-        POWER8_SALERNO,
-        /** Power8 "Venice" (high-end) core */
-        POWER8_VENICE,
-
-        UNKNOWN,
-    };
-
     /** @fn getCpuType()
      *  @brief Decode the processor type from the PVR register.
      *
diff --git a/src/include/kernel/syscalls.H b/src/include/kernel/syscalls.H
index 6473f12b6..5b5e31fc3 100644
--- a/src/include/kernel/syscalls.H
+++ b/src/include/kernel/syscalls.H
@@ -23,7 +23,7 @@ namespace Systemcalls
 	TASK_START,
             /** task_end() */
 	TASK_END,
-            
+
             /** msgq_create() */
 	MSGQ_CREATE,
             /** msgq_destroy() */
@@ -32,7 +32,7 @@ namespace Systemcalls
 	MSGQ_REGISTER_ROOT,
             /** VFS internal */
 	MSGQ_RESOLVE_ROOT,
-            
+
             /** msg_send() */
 	MSG_SEND,
             /** msg_sendrecv() */
@@ -59,6 +59,11 @@ namespace Systemcalls
             /** shutdown() */
         MISC_SHUTDOWN,
 
+            /** cpu_core_type() */
+        MISC_CPUCORETYPE,
+            /** cpu_dd_level() */
+        MISC_CPUDDLEVEL,
+
 	SYSCALL_MAX
     };