diff --git a/hypervisor/arch/x86/irq.c b/hypervisor/arch/x86/irq.c index 1585097d5..a0f38e89f 100644 --- a/hypervisor/arch/x86/irq.c +++ b/hypervisor/arch/x86/irq.c @@ -444,7 +444,7 @@ void partition_mode_dispatch_interrupt(struct intr_excp_ctx *ctx) * HV services are handled by HV using dispatch_interrupt. */ vcpu = per_cpu(vcpu, get_cpu_id()); - if (vr < VECTOR_FOR_PRI_START) { + if (vr < VECTOR_FIXED_START) { send_lapic_eoi(); vlapic_intr_edge(vcpu, vr); } else {