Re: [PATCH] clocksource/arm_arch_timer: Store physical timer IRQ number for KVM on VHE

On 24/01/2019 14:46, Christoffer Dall wrote: > From: Andre Przywara > > 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

[PATCH] clocksource/arm_arch_timer: Store physical timer IRQ number for KVM on VHE

From: Andre Przywara 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