Index: kernel/arch/amd64/src/proc/thread.c
===================================================================
--- kernel/arch/amd64/src/proc/thread.c	(revision 2ddcc7b0c2ebbacaf67571285d726dc6b2a52966)
+++ kernel/arch/amd64/src/proc/thread.c	(revision a6ba0c9cb46c31fab5fccc5ab7ff90a3a8cacb82)
@@ -34,4 +34,5 @@
 
 #include <proc/thread.h>
+#include <arch/interrupt.h>
 
 /** Perform amd64 specific thread initialization.
@@ -49,5 +50,5 @@
 	 */
 	thread->arch.syscall_rsp[SYSCALL_KSTACK_RSP] =
-	    (uintptr_t) &thread->kstack[PAGE_SIZE - sizeof(uint64_t)];
+	    (uintptr_t) &thread->kstack[PAGE_SIZE - sizeof(istate_t)];
 }