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 <[email protected]>
Signed-off-by: Andre Przywara <[email protected]>
Signed-off-by: Marc Zyngier <[email protected]>
Signed-off-by: Christoffer Dall <[email protected]>

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

ARM: sa11x0/pxa: acquire timer rate from the clock rate

2016-10-18 09:12:36 +02:00

samsung_pwm.h

pwm: Add new pwm-samsung driver

2013-08-12 21:53:22 +02:00

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