account_user_time   55 include/linux/kernel_stat.h extern void account_user_time(struct task_struct *, cputime_t);
account_user_time  958 kernel/timer.c 		account_user_time(p, one_jiffy);