Searched refs:arch_vtime_task_switch (Results 1 – 3 of 3) sorted by relevance
26 extern void arch_vtime_task_switch(struct task_struct *tsk);
233 static inline void arch_vtime_task_switch(struct task_struct *tsk) { } in arch_vtime_task_switch() function
103 void arch_vtime_task_switch(struct task_struct *prev) in arch_vtime_task_switch() function