X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Flib%2Fuser%2Fsyscall-stub.S;h=73afc8df4fcf2866850543dbeb6400ee97881d36;hb=8a3f2e5c0ffdc3a7a33d0238056e728baa18cea6;hp=e71afd5b1b9544b619f33692d3d57828300443c6;hpb=63d1fcb70a9a277c64b7096336c887dafc903774;p=pintos-anon

diff --git a/src/lib/user/syscall-stub.S b/src/lib/user/syscall-stub.S
index e71afd5..73afc8d 100644
--- a/src/lib/user/syscall-stub.S
+++ b/src/lib/user/syscall-stub.S
@@ -1,5 +1,6 @@
-.globl syscall
+	.intel_syntax noprefix
+	.globl syscall
 syscall:
-	popl %ecx
-	int $0x30
-	jmpl *%ecx
+	pop ecx
+	int 0x30
+	jmp ecx