X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flib%2Fuser%2Fsyscall-stub.S;h=e71afd5b1b9544b619f33692d3d57828300443c6;hb=15bd5676b2d0ae5f2e96c33b3b7007dd24105141;hp=27e6b2048d4c61b33b5433117dcd57e5fff73024;hpb=f2f8875638593bd5365cfd6a5ba7c9578e52322f;p=pintos-anon

diff --git a/src/lib/user/syscall-stub.S b/src/lib/user/syscall-stub.S
index 27e6b20..e71afd5 100644
--- a/src/lib/user/syscall-stub.S
+++ b/src/lib/user/syscall-stub.S
@@ -1,4 +1,5 @@
 .globl syscall
 syscall:
+	popl %ecx
 	int $0x30
-	retl
+	jmpl *%ecx