Christophe Leroy 60f1d2893e powerpc/time: inline arch_vtime_task_switch()
arch_vtime_task_switch() is a small function which is called
only from vtime_common_task_switch(), so it is worth inlining

Signed-off-by: Christophe Leroy <christophe.leroy@c-s.fr>
Signed-off-by: Michael Ellerman <mpe@ellerman.id.au>
2018-06-04 00:39:20 +10:00
..
2018-06-03 21:19:40 +10:00
2018-04-01 00:47:50 +11:00
2018-06-04 00:39:14 +10:00
2016-08-07 23:50:09 -04:00
2016-08-07 23:50:09 -04:00
2018-04-07 12:08:19 -07:00
2018-02-02 10:01:04 -08:00
2018-03-31 09:09:36 +11:00
2017-12-11 13:03:35 +11:00
2018-02-06 09:59:40 -08:00
2018-03-31 09:09:36 +11:00
2015-04-07 17:15:13 +10:00
2018-05-25 12:04:46 +10:00