4 sys_getcpu(struct tcb *tcp)
8 if (tcp->u_arg[0] == 0)
10 else if (umove(tcp, tcp->u_arg[0], &u) < 0)
11 tprintf("%#lx, ", tcp->u_arg[0]);
14 if (tcp->u_arg[1] == 0)
16 else if (umove(tcp, tcp->u_arg[1], &u) < 0)
17 tprintf("%#lx, ", tcp->u_arg[1]);
20 tprintf("%#lx", tcp->u_arg[2]);