/* Called from the timer interrupt handler to charge one tick to the current process. user_tick is 1 if the tick is user time, 0 for system.  */
void update_process_times(int user_tick)
/* Called from the timer interrupt handler to charge one tick to the current process. user_tick is 1 if the tick is user time, 0 for system.  */
void update_process_times(int user_tick)
{
	struct task_struct *p = current;
	int cpu = smp_processor_id();
	account_process_tick(p, user_tick);
	run_local_timers();
	rcu_check_callbacks(cpu, user_tick);
	printk_tick();
	perf_event_do_pending();
	scheduler_tick();
	run_posix_cpu_timers(p);
}