Re: [PATCH 11/16] ARM: KVM: vgic: rewrite irq injection validation

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 





On Thursday, December 6, 2012, Marc Zyngier wrote:
Turns out nobody can grok this _expression_, specially as it
doesn't really match the comment.

Move this to a separate function and write it as plainly as
possible.

And no, I'm not fun.

;)
 

Reported-by: Will Deacon <will.deacon@xxxxxxx>
Signed-off-by: Marc Zyngier <marc.zyngier@xxxxxxx>
---
 arch/arm/kvm/vgic.c | 26 ++++++++++++++++++--------
 1 file changed, 18 insertions(+), 8 deletions(-)

diff --git a/arch/arm/kvm/vgic.c b/arch/arm/kvm/vgic.c
index 780caf5..4a140da 100644
--- a/arch/arm/kvm/vgic.c
+++ b/arch/arm/kvm/vgic.c
@@ -1121,12 +1121,28 @@ static void vgic_kick_vcpus(struct kvm *kvm)
        }
 }

+static int vgic_validate_injection(struct kvm_vcpu *vcpu, int irq, int level)
+{
+       int is_edge = vgic_irq_is_edge(vcpu, irq);
+       int state = vgic_dist_irq_is_pending(vcpu, irq);
+
+       /*
+        * Only inject an interrupt if:
+        * - edge triggered and we have a rising edge
+        * - level triggered and we change level
+        */
+       if (is_edge)
+               return level > state;
+       else
+               return level != state;
+}
+

wow, this actually makes sense. nice!
 
 static bool vgic_update_irq_state(struct kvm *kvm, int cpuid,
                                  unsigned int irq_num, bool level)
 {
        struct vgic_dist *dist = &kvm->arch.vgic;
        struct kvm_vcpu *vcpu;
-       int is_edge, is_level, state;
+       int is_edge, is_level;
        int enabled;
        bool ret = true;

@@ -1135,14 +1151,8 @@ static bool vgic_update_irq_state(struct kvm *kvm, int cpuid,
        vcpu = kvm_get_vcpu(kvm, cpuid);
        is_edge = vgic_irq_is_edge(vcpu, irq_num);
        is_level = !is_edge;
-       state = vgic_dist_irq_is_pending(vcpu, irq_num);

-       /*
-        * Only inject an interrupt if:
-        * - level triggered and we change level
-        * - edge triggered and we have a rising edge
-        */
-       if ((is_level && !(state ^ level)) || (is_edge && (state || !level))) {
+       if (!vgic_validate_injection(vcpu, irq_num, level)) {
                ret = false;
                goto out;
        }
--
1.8.0.1



_______________________________________________
kvmarm mailing list
kvmarm@xxxxxxxxxxxxxxxxxxxxx
https://lists.cs.columbia.edu/cucslists/listinfo/kvmarm
_______________________________________________
kvmarm mailing list
kvmarm@xxxxxxxxxxxxxxxxxxxxx
https://lists.cs.columbia.edu/cucslists/listinfo/kvmarm

[Index of Archives]     [Linux KVM]     [Spice Development]     [Libvirt]     [Libvirt Users]     [Linux USB Devel]     [Linux Audio Users]     [Yosemite News]     [Linux Kernel]     [Linux SCSI]

  Powered by Linux