Hello! > Sorry, but I don't really want to introduce another bug > in the VGIC code (we have too many already). And what you're suggesting > is to actually introduce a bug. Another, alternate idea... So far, we have a situation when empty LR, containing only LR_INT_EOI bit, is queued. Can we say that this is wrong? If you agree, may be do something else instead? May be we should cancel such "ghost" interrupts early, avoiding immediate and completely unnecessary maintenance interrupts upon guest entry? Kind regards, Pavel Fedin Expert Engineer Samsung Electronics Research center Russia -- To unsubscribe from this list: send the line "unsubscribe kvm" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html