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

[pintos-anon] / src / lib / user / user.c