On 15 April 2016 at 14:58, Peter Maydell <peter.maydell@xxxxxxxxxx> wrote: > Nothing in here describes a mechanism for reading or writing the > current interrupt line_level state from the kernel (which doesn't > matter for edge triggered interrupts but does for level triggered > interrupts). Do we need accessors for these or does somebody > have a good rationale for why we don't need to migrate that data? > (Christoffer?) Relatedly, we should have a mechanism for directly reading and writing the pending-latch state in the KVM GIC, which for a level triggered interrupt is not the same as the behaviour of reading and writing the PENDING register. thanks -- PMM -- 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
