account_system_index_time
account_system_index_time(tsk, cputime_to_nsecs(acct->stime),
account_system_index_time(tsk, cputime_to_nsecs(acct->hardirq_time),
account_system_index_time(tsk, cputime_to_nsecs(acct->softirq_time),
account_system_index_time(p, cputime_to_nsecs(cputime), index);
extern void account_system_index_time(struct task_struct *, u64,
account_system_index_time(p, cputime, index);
account_system_index_time(p, cputime, CPUTIME_SOFTIRQ);
account_system_index_time(p, cputime, CPUTIME_SYSTEM);