1 #include "defs.h"
2 
SYS_FUNC(getcpu)3 SYS_FUNC(getcpu)
4 {
5 	if (exiting(tcp)) {
6 		printnum_int(tcp, tcp->u_arg[0], "%u");
7 		tprints(", ");
8 		printnum_int(tcp, tcp->u_arg[1], "%u");
9 		tprints(", ");
10 		printaddr(tcp->u_arg[2]);
11 	}
12 	return 0;
13 }
14