`
u64 syscall(u64 sys_no, u64 arg0, u64 arg1, u64 arg2, u64 arg3, u64 arg4,
u64 arg5, u64 arg6, u64 arg7, u64 arg8) {
u64 ret = 0;
/*
- Lab3: Your code here
- Use inline assembly to store arguments into x0 to x7, store syscall number
- to x8, And finally use svc to execute the system call. After syscall
- returned, don't forget to move return value from x0 to the ret variable of
- this function
*/
`
不是很明白,这里有10个参数,但注释说使用 x0-x8,一共9个寄存器?