Hello! > Hmm, there is definitely an inconsistency in the vgic code by getting > here, but this is the wrong fix. I think you want something more along > the lines of the following (completely untested, not even compile > tested): Thank you very much. I also tried to propose an alternate solution like this, i will test it, and adjust if needed. My "bad codebase, broken HW and buggy userspace" appears to be particulary prone to finding these problems, i think it's going to be a nice testbed. :) Kind regards, Pavel Fedin Expert Engineer Samsung Electronics Research center Russia _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/mailman/listinfo/kvmarm