account_system_time_scaled   58 include/linux/kernel_stat.h extern void account_system_time_scaled(struct task_struct *, cputime_t);
account_system_time_scaled  962 kernel/timer.c 		account_system_time_scaled(p, cputime_to_scaled(one_jiffy));