Index: kernel/arch/ia64/include/istate.h
===================================================================
--- kernel/arch/ia64/include/istate.h	(revision 1dbc43f1c037ded959f69e4b6346df8bf12e2431)
+++ kernel/arch/ia64/include/istate.h	(revision e4a14979ffc3c37b48afa97e8633a1ada35d2418)
@@ -106,4 +106,6 @@
 	uint64_t in5;
 	uint64_t in6;
+
+	uint64_t alignment;
 } istate_t;
 
Index: kernel/arch/ia64/src/ivt.S
===================================================================
--- kernel/arch/ia64/src/ivt.S	(revision 1dbc43f1c037ded959f69e4b6346df8bf12e2431)
+++ kernel/arch/ia64/src/ivt.S	(revision e4a14979ffc3c37b48afa97e8633a1ada35d2418)
@@ -35,5 +35,5 @@
 #define FRS_TO_SAVE 30
 #define STACK_ITEMS		(21 + FRS_TO_SAVE * 2)
-#define STACK_FRAME_SIZE	ALIGN_UP((STACK_ITEMS*STACK_ITEM_SIZE) + STACK_SCRATCH_AREA_SIZE, STACK_ALIGNMENT)
+#define STACK_FRAME_SIZE	ALIGN_UP((STACK_ITEMS * STACK_ITEM_SIZE) + STACK_SCRATCH_AREA_SIZE, STACK_ALIGNMENT)
 
 #if (STACK_ITEMS % 2 == 0)
Index: kernel/arch/ia64/src/proc/scheduler.c
===================================================================
--- kernel/arch/ia64/src/proc/scheduler.c	(revision 1dbc43f1c037ded959f69e4b6346df8bf12e2431)
+++ kernel/arch/ia64/src/proc/scheduler.c	(revision e4a14979ffc3c37b48afa97e8633a1ada35d2418)
@@ -90,5 +90,5 @@
 		:
 		: "r" (&THREAD->kstack[STACK_SIZE / 2]),
-		  "r" (&THREAD->kstack[STACK_SIZE / 2 - SP_DELTA])
+		  "r" (&THREAD->kstack[STACK_SIZE / 2])
 		);
 }