void addupc_task(struct proc *p, user_addr_t pc, u_int ticks);
void calcru(struct proc *p, struct timeval *up, struct timeval *sp,
struct timeval *ip);
void ruadd(struct rusage *ru, struct rusage *ru2);
void addupc_task(struct proc *p, user_addr_t pc, u_int ticks);
void calcru(struct proc *p, struct timeval *up, struct timeval *sp,
struct timeval *ip);
void ruadd(struct rusage *ru, struct rusage *ru2);