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 _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/mailman/listinfo/kvmarm