/* Update rss highwater mark */ update_mem_hiwater(p); 
void account_system_time(struct task_struct *p, int hardirq_offset,			 cputime_t cputime){	struct cpu_usage_stat *cpustat = &kstat_this_cpu.cpustat;	runqueue_t *rq = this_rq();	cputime64_t tmp;	p->stime = cputime_add(p->stime, cputime);	/* Add system time to cpustat. */	tmp = cputime_to_cputime64(cputime);	if (hardirq_count() - hardirq_offset)		cpustat->irq = cputime64_add(cpustat->irq, tmp);	else if (softirq_count())		cpustat->softirq = cputime64_add(cpustat->softirq, tmp);	else if (p != rq->idle)		cpustat->system = cputime64_add(cpustat->system, tmp);	else if (atomic_read(&rq->nr_iowait) > 0)		cpustat->iowait = cputime64_add(cpustat->iowait, tmp);	else		cpustat->idle = cputime64_add(cpustat->idle, tmp);	/* Account for system time used */	acct_update_integrals(p);	/* Update rss highwater mark */	update_mem_hiwater(p);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/365e9c87a982c03d0af3886e29d877f581b59611/sched.c/buggy/kernel/sched.c