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 -- 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