public inbox for kvmarm@lists.cs.columbia.edu
 help / color / mirror / Atom feed
* [PATCH v3 0/2] kvm: arm/arm64: Fix emulated physical timer IRQ injection
@ 2018-07-25  9:21 Andre Przywara
  2018-07-25  9:21 ` [PATCH v3 1/2] KVM: arm/arm64: Fix potential loss of ptimer interrupts Andre Przywara
  2018-07-25  9:21 ` [PATCH v3 2/2] KVM: arm/arm64: Fix lost IRQs from emulated physcial timer when blocked Andre Przywara
  0 siblings, 2 replies; 3+ messages in thread
From: Andre Przywara @ 2018-07-25  9:21 UTC (permalink / raw)
  To: Marc Zyngier, Christoffer Dall; +Cc: kvmarm, linux-arm-kernel

Hi,

those two patches fix the (physical EL1) arch timer emulation in KVM,
which missed to inject the timer IRQ if the vCPU was asleep when the
timer expired. This can be checked by a new kvm-unit-tests test [1].

I am now taking Christoffer's approach, which keeps phys_timer_emulate()
mostly as it is, and adds the explicit IRQ injection check in the caller.
This turned out to fit better into the upcoming arch timer rework.

Cheers,
Andre.

[1] https://lists.cs.columbia.edu/pipermail/kvmarm/2018-July/032220.html

Christoffer Dall (2):
  KVM: arm/arm64: Fix potential loss of ptimer interrupts
  KVM: arm/arm64: Fix lost IRQs from emulated physcial timer when
    blocked

 virt/kvm/arm/arch_timer.c | 15 ++++++++++-----
 1 file changed, 10 insertions(+), 5 deletions(-)

-- 
2.14.4

^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2018-07-25  9:21 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2018-07-25  9:21 [PATCH v3 0/2] kvm: arm/arm64: Fix emulated physical timer IRQ injection Andre Przywara
2018-07-25  9:21 ` [PATCH v3 1/2] KVM: arm/arm64: Fix potential loss of ptimer interrupts Andre Przywara
2018-07-25  9:21 ` [PATCH v3 2/2] KVM: arm/arm64: Fix lost IRQs from emulated physcial timer when blocked Andre Przywara

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox