getcpu.c: use printnum_int and printaddr

* getcpu.c (sys_getcpu): Use printnum_int and printaddr.

Author: ldv-alt

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;
 }