diff --git a/repos/base/include/x86_64/cpu/cpu_state.h b/repos/base/include/x86_64/cpu/cpu_state.h
index 5f0925d3b1..a55ffe68e8 100644
--- a/repos/base/include/x86_64/cpu/cpu_state.h
+++ b/repos/base/include/x86_64/cpu/cpu_state.h
@@ -27,6 +27,7 @@ struct Genode::Cpu_state
 		PAGE_FAULT       = 0x0e,
 		SUPERVISOR_CALL  = 0x80,
 		INTERRUPTS_START = 0x20,
+		RESET            = 0xfe,
 		INTERRUPTS_END   = 0xff,
 	};
 
@@ -49,7 +50,7 @@ struct Genode::Cpu_state
 	addr_t rbp     = 0;
 	addr_t errcode = 0;
 	addr_t eflags  = 0;
-	addr_t trapno  = 0;
+	addr_t trapno  = RESET;
 	addr_t ss      = 0;
 };