1 #include "defs.h" 2 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