account_system_time   83 include/linux/kernel_stat.h extern void account_system_time(struct task_struct *, int, u64);
account_system_time  499 kernel/sched/cputime.c 		account_system_time(p, HARDIRQ_OFFSET, cputime);
account_system_time  719 kernel/sched/cputime.c 		account_system_time(tsk, irq_count(), vtime->stime);