diff --git a/repos/base-hw/src/core/spec/x86/kernel/thread.cc b/repos/base-hw/src/core/spec/x86/kernel/thread.cc
index 02bd6e216..46a8d270b 100644
--- a/repos/base-hw/src/core/spec/x86/kernel/thread.cc
+++ b/repos/base-hw/src/core/spec/x86/kernel/thread.cc
@@ -15,13 +15,6 @@
 /* core includes */
 #include <kernel/thread.h>
 
-enum Cpu_exception {
-	PAGE_FAULT       = 0x0e,
-	SUPERVISOR_CALL  = 0x80,
-	INTERRUPTS_START = 0x20,
-	INTERRUPTS_END   = 0xff,
-};
-
 using namespace Kernel;
 
 Thread::Thread(unsigned const priority, unsigned const quota,
diff --git a/repos/base/include/x86_64/cpu/cpu_state.h b/repos/base/include/x86_64/cpu/cpu_state.h
index abe1da273..5f0925d3b 100644
--- a/repos/base/include/x86_64/cpu/cpu_state.h
+++ b/repos/base/include/x86_64/cpu/cpu_state.h
@@ -23,6 +23,13 @@ namespace Genode { struct Cpu_state; }
 
 struct Genode::Cpu_state
 {
+	enum Cpu_exception {
+		PAGE_FAULT       = 0x0e,
+		SUPERVISOR_CALL  = 0x80,
+		INTERRUPTS_START = 0x20,
+		INTERRUPTS_END   = 0xff,
+	};
+
 	addr_t ip      = 0;
 	addr_t sp      = 0;
 	addr_t r8      = 0;