APIC_SPIV_DIRECTED_EOI
if (!(kvm_lapic_get_reg(apic, APIC_SPIV) & APIC_SPIV_DIRECTED_EOI))
mask |= APIC_SPIV_DIRECTED_EOI;