diff options
| author | Marc Zyngier <marc.zyngier@arm.com> | 2012-08-01 09:46:41 -0400 |
|---|---|---|
| committer | Marc Zyngier <marc.zyngier@arm.com> | 2012-09-19 03:32:54 -0400 |
| commit | 8ec58be9f3ff2ad4a4d7bde8f48b4a4c406768e7 (patch) | |
| tree | 32cc5b0d73b522d13518891e9d24b8163d5f04e8 /kernel/sched/sched.h | |
| parent | 5b6728d4189d14c19f384d5ec6087276e7c196d8 (diff) | |
ARM: virt: arch_timers: enable access to physical timers
If booting in HYP mode, it makes sense to enable the use of the
physical timers, so the kernel can use them directly.
Signed-off-by: Marc Zyngier <marc.zyngier@arm.com>
Diffstat (limited to 'kernel/sched/sched.h')
0 files changed, 0 insertions, 0 deletions