tree 0f976f6b44f4ded62834c26579d9265406531a8f
parent 7e16aa81f9f6a7cfe2287b788a7d62abc2880185
author Christoffer Dall <christoffer.dall@linaro.org> 1448378585 +0100
committer Christoffer Dall <christoffer.dall@linaro.org> 1448384860 +0100

KVM: arm/arm64: arch_timer: Preserve physical dist. active state on LR.active

We were incorrectly removing the active state from the physical
distributor on the timer interrupt when the timer output level was
deasserted.  We shouldn't be doing this without considering the virtual
interrupt's active state, because the architecture requires that when an
LR has the HW bit set and the pending or active bits set, then the
physical interrupt must also have the corresponding bits set.

This addresses an issue where we have been observing an inconsistency
between the LR state and the physical distributor state where the LR
state was active and the physical distributor was not active, which
shouldn't happen.

Reviewed-by: Marc Zyngier <marc.zyngier@arm.com>
Signed-off-by: Christoffer Dall <christoffer.dall@linaro.org>