C 如何在xv6上将参数传递给系统调用？

我正在尝试在xv6上实现一个新的系统调用。 在传递论点时遇到了一些麻烦。 假设这是我的系统调用

sys_mySystemcall(int* x ,struct myStruct * y);

如何在sysproc.c中获取这两个指针？

---

谢谢，

帮助函数argint、argptr、argstr和argfd将第n个系统调用参数检索为整数、指针、字符串或文件描述符