On Mon, Dec 08 2014 at 12:37:44 PM, Andre Przywara <andre.przywara@xxxxxxx> wrote: > ICC_SRE_EL1 is a system register allowing msr/mrs accesses to the > GIC CPU interface for EL1 (guests). Currently we force it to 0, but > for proper GICv3 support we have to allow guests to use it (depending > on their selected virtual GIC model). > So add ICC_SRE_EL1 to the list of saved/restored registers on a > world switch, but actually disallow a guest to change it by only > restoring a fixed, once-initialized value. > This value depends on the GIC model userland has chosen for a guest. > > Signed-off-by: Andre Przywara <andre.przywara@xxxxxxx> > Reviewed-by: Christoffer Dall <christoffer.dall@xxxxxxxxxx> Acked-by: Marc Zyngier <marc.zyngier@xxxxxxx> M. -- Jazz is not dead. It just smells funny. _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/mailman/listinfo/kvmarm
