Index: arch/ia32/src/interrupt.c
===================================================================
--- arch/ia32/src/interrupt.c	(revision 204674ee3e573dfb433faf3ebf3f3faf43f34ed7)
+++ arch/ia32/src/interrupt.c	(revision ae1058298b7bfb22f0f3cd39239ce8f4bc69fd06)
@@ -117,5 +117,5 @@
 	
 	if (stack[-2] < SYSCALL_END)
-		syscall_table[stack[-2]](stack[-5], stack[-3], stack[-4]);
+		stack[-2] = syscall_table[stack[-2]](stack[-5], stack[-3], stack[-4]);
 	else
 		panic("Undefined syscall %d", stack[-2]);