account_user_time_scaled   56 include/linux/kernel_stat.h extern void account_user_time_scaled(struct task_struct *, cputime_t);
account_user_time_scaled  959 kernel/timer.c 		account_user_time_scaled(p, cputime_to_scaled(one_jiffy));