On 21 October 2016 at 12:49, Andrew Jones <drjones@xxxxxxxxxx> wrote: > I also read the register before writing it and saw it was 3. I tried > writing 3 instead of 0 to see what would happen, but the failure > persisted. I did read back the register after writing it to confirm the > change took affect. So what does it read back as after you write 0? The GICv3 spec says it can't read back as zero... 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