diff options
| author | Christophe Leroy <christophe.leroy@c-s.fr> | 2018-05-29 16:19:14 +0000 |
|---|---|---|
| committer | Michael Ellerman <mpe@ellerman.id.au> | 2018-06-04 00:39:20 +1000 |
| commit | 60f1d2893ee6de65cdea609c84950b133e76a769 (patch) | |
| tree | 2df14a87991219868fe6b5f62276733ef707c3d7 /drivers | |
| parent | 1c38976334c0efce1b285369a6037f205e196299 (diff) | |
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>
Diffstat (limited to 'drivers')
0 files changed, 0 insertions, 0 deletions