getcpu.c: use printnum_int and printaddr
* getcpu.c (sys_getcpu): Use printnum_int and printaddr.
diff --git a/getcpu.c b/getcpu.c
index 47af795..5d0f52d 100644
--- a/getcpu.c
+++ b/getcpu.c
@@ -3,20 +3,11 @@
SYS_FUNC(getcpu)
{
if (exiting(tcp)) {
- unsigned u;
- if (tcp->u_arg[0] == 0)
- tprints("NULL, ");
- else if (umove(tcp, tcp->u_arg[0], &u) < 0)
- tprintf("%#lx, ", tcp->u_arg[0]);
- else
- tprintf("[%u], ", u);
- if (tcp->u_arg[1] == 0)
- tprints("NULL, ");
- else if (umove(tcp, tcp->u_arg[1], &u) < 0)
- tprintf("%#lx, ", tcp->u_arg[1]);
- else
- tprintf("[%u], ", u);
- tprintf("%#lx", tcp->u_arg[2]);
+ printnum_int(tcp, tcp->u_arg[0], "%u");
+ tprints(", ");
+ printnum_int(tcp, tcp->u_arg[1], "%u");
+ tprints(", ");
+ printaddr(tcp->u_arg[2]);
}
return 0;
}