Delete x86 comment

This commit is contained in:
Frans Kaashoek 2019-07-17 05:53:34 -04:00
parent 2f22a3ed6a
commit ce53416f49

View file

@ -7,12 +7,6 @@
#include "syscall.h" #include "syscall.h"
#include "defs.h" #include "defs.h"
// User code makes a system call with INT T_SYSCALL.
// System call number in %eax.
// Arguments on the stack, from the user call to the C
// library system call function. The saved user %esp points
// to a saved program counter, and then the first argument.
// Fetch the int at addr from the current process. // Fetch the int at addr from the current process.
int int
fetchint(uint64 addr, int *ip) fetchint(uint64 addr, int *ip)