Change assembly from AT&T to Intel syntax.
[pintos-anon] / src / lib / user / syscall-stub.S
2005-01-02 Ben PfaffChange assembly from AT&T to Intel syntax.
2004-09-19 Ben PfaffSyscall handler doesn't expect to see return address...
2004-09-06 Ben PfaffRename printk() to printf().