X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flib%2Fuser%2Fsyscall-stub.S;h=73afc8df4fcf2866850543dbeb6400ee97881d36;hb=8a3f2e5c0ffdc3a7a33d0238056e728baa18cea6;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..73afc8d 100644
--- a/src/lib/user/syscall-stub.S
+++ b/src/lib/user/syscall-stub.S
@@ -1,4 +1,6 @@
-.globl syscall
+	.intel_syntax noprefix
+	.globl syscall
 syscall:
-	int $0x30
-	retl
+	pop ecx
+	int 0x30
+	jmp ecx