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);