account_system_time
extern void account_system_time(struct task_struct *, int, u64);
account_system_time(p, HARDIRQ_OFFSET, cputime);
account_system_time(tsk, irq_count(), vtime->stime);