account_system_time   57 include/linux/kernel_stat.h extern void account_system_time(struct task_struct *, int, cputime_t);
account_system_time  422 kernel/time/tick-sched.c 		account_system_time(current, HARDIRQ_OFFSET,
account_system_time  961 kernel/timer.c 		account_system_time(p, HARDIRQ_OFFSET, one_jiffy);