Andre Przywara ee7930490a clocksource/arm_arch_timer: Store physical timer IRQ number for KVM on VHE ... A host running in VHE mode gets the EL2 physical timer as its time source (accessed using the EL1 sysreg accessors, which get re-directed to the EL2 sysregs by VHE). The EL1 physical timer remains unused by the host kernel, allowing us to pass that on directly to a KVM guest and saves us from emulating this timer for the guest on VHE systems. Store the EL1 Physical Timer's IRQ number in struct arch_timer_kvm_info on VHE systems to allow KVM to use it. Acked-by: Daniel Lezcano <daniel.lezcano@linaro.org> Signed-off-by: Andre Przywara <andre.przywara@arm.com> Signed-off-by: Marc Zyngier <marc.zyngier@arm.com> Signed-off-by: Christoffer Dall <christoffer.dall@arm.com>		2019-02-19 21:05:22 +00:00
..
arm_arch_timer.h	clocksource/arm_arch_timer: Store physical timer IRQ number for KVM on VHE	2019-02-19 21:05:22 +00:00
pxa.h
samsung_pwm.h
timer-sp804.h	License cleanup: add SPDX GPL-2.0 license identifier to files with no license	2017-11-02 11:10:55 +01:00
timer-ti-dm.h	clocksource: timer-ti-dm: Make unexported functions static	2018-02-28 13:38:10 -08:00