cputime_to_scaled 959 kernel/timer.c account_user_time_scaled(p, cputime_to_scaled(one_jiffy)); cputime_to_scaled 962 kernel/timer.c account_system_time_scaled(p, cputime_to_scaled(one_jiffy));