diff options
| -rw-r--r-- | xen/arch/x86/hvm/vpt.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/xen/arch/x86/hvm/vpt.c b/xen/arch/x86/hvm/vpt.c index 45c9350226..2879a66d55 100644 --- a/xen/arch/x86/hvm/vpt.c +++ b/xen/arch/x86/hvm/vpt.c @@ -53,8 +53,8 @@ static int pt_irq_masked(struct periodic_time *pt) if ( pt->source == PTSRC_lapic ) { struct vlapic *vlapic = vcpu_vlapic(v); - return (vlapic_enabled(vlapic) && - !(vlapic_get_reg(vlapic, APIC_LVTT) & APIC_LVT_MASKED)); + return (!vlapic_enabled(vlapic) || + (vlapic_get_reg(vlapic, APIC_LVTT) & APIC_LVT_MASKED)); } isa_irq = pt->irq; |