On 22 February 2017 at 12:05, Peter Maydell <peter.mayd...@linaro.org> wrote: > I talked to Marc Z who agreed this is a KVM bug -- the kernel > should have these bits be RAO/WI like TCG. I think Marc > was going to write a patch...
...so given that, what we want on the QEMU side is: * in a migration preload function: /* if the sre_el1 subsection is not transferred this * means SRE_EL1 is 0x7 (which might not be the same as * our reset value). */ cs->icc_sre_el1 = 0x7; * the reg_needed function should be return cs->icc_sre_el1 != 0x7; and the rest of this patch is OK I think. thanks -- PMM