arch_vtime_task_switch   18 arch/ia64/include/asm/cputime.h extern void arch_vtime_task_switch(struct task_struct *tsk);
arch_vtime_task_switch   70 include/linux/vtime.h extern void arch_vtime_task_switch(struct task_struct *tsk);
arch_vtime_task_switch  418 kernel/sched/cputime.c 	arch_vtime_task_switch(prev);