Symbol: account_system_time
include/linux/kernel_stat.h
122
extern void account_system_time(struct task_struct *, int, u64);
kernel/sched/cputime.c
502
account_system_time(p, HARDIRQ_OFFSET, cputime);
kernel/sched/cputime.c
685
account_system_time(tsk, irq_count(), vtime->stime);