Syscall handler doesn't expect to see return address on stack,

[pintos-anon] / src / lib / user / syscall-stub.S

diff --git a/src/lib/user/syscall-stub.S b/src/lib/user/syscall-stub.S
index 27e6b2048d4c61b33b5433117dcd57e5fff73024..e71afd5b1b9544b619f33692d3d57828300443c6 100644 (file)
--- 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